« Previous | Next » 

Revision 188:71a9c16ef70e

ID71a9c16ef70e
Parent 187:5e99ab6182d8
Child 189:a3cebf5802f4

Added by Štolba Michal about 5 years ago

fix & when recomputing heuristics of received states, take the maximum of local and received

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences