Project

General

Profile

Statistics
| Branch: | Revision:

cool / src @ f20718d2

Name Size
  coalg
  coalgcompare
  debugger
  lib
  ncurses
  owl
  repl-example
  testsuite
.dir-locals.el 35 Bytes

Latest revisions

# Date Author Comment
f20718d2 04/09/2016 03:18 AM Christoph Egger

Add header for function used in previous commit

fe81b988 04/09/2016 03:17 AM Christoph Egger

Make real empty set for deferral (not including True)

ef0e7121 04/09/2016 03:17 AM Christoph Egger

Actually use refocused deferral in modal step

215ad4d7 04/08/2016 08:09 PM Christoph Egger

Mark `True` only node as Sat

1e781c93 04/08/2016 08:08 PM Christoph Egger

For now, don't consider Expandable states

de84f40d 04/08/2016 08:08 PM Christoph Egger

Mark deferrals bold in graphviz export

0a6a3df5 04/08/2016 02:29 AM Christoph Egger

Fix inclusion condition for A_x

2fba43c0 04/08/2016 02:28 AM Christoph Egger

Make Sat children actually propagate their state to the parents

46cd6856 04/08/2016 02:26 AM Christoph Egger

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.

07a36b24 04/07/2016 05:35 PM Christoph Egger

Reorganize code, start from Sat nodes as well

Not only finishing cycles but also plain sat nodes may cause a node to
be satisfiable

View revisions

Also available in: Atom