Project

General

Profile

« Previous | Next » 

Revision 46cd6856

ID46cd6856c9ccdd0dffe1a37f2ea79be5d259f142
Parent 07a36b24
Child 2fba43c0

Added by Christoph Egger over 3 years ago

Preliminarily mark States with no childs Sat in propagateSatMu

Should actually happen when the State changes from `Expandable` to
`Open` and trigger the propagateSatMu but for now just do it in
propagateSatMu so we can observe the algorithm working.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences