| Branch: | Revision:

cool / src / lib @ 92102c11

Name Size
  GMLMIP-0.1 54.2 KB
ALCFormula.mli 3.3 KB 15.1 KB
ALCGraph.mli 160 Bytes 31.5 KB 66.9 KB
CoAlgFormula.mli 6.02 KB 3.58 KB
CoAlgLogicUtils.mli 285 Bytes 17.9 KB
CoAlgLogics.mli 204 Bytes 45.8 KB
CoAlgMisc.mli 12.3 KB 33.6 KB
CoAlgReasoner.mli 794 Bytes 1.91 KB
CoolUtils.mli 1.08 KB 6.72 KB
FunctorParsing.mli 576 Bytes 8.64 KB
HashConsing.mli 699 Bytes 13.1 KB
MiscSolver.mli 1.29 KB 9.45 KB
altGenlex.mli 416 Bytes 68.2 KB 6.94 KB
glpk.mli 7.13 KB
glpk_stub.c 10.7 KB 406 Bytes
gmlmip.mli 597 Bytes
gmlmip_stub.c 3.47 KB 1.06 KB
minisat.mli 455 Bytes
minisat_stub.c 3.33 KB

Latest revisions

# Date Author Comment
92102c11 04/10/2016 11:23 PM Christoph Egger

Don't assume Open means Sat when finished

Assumption doesn't hold true currently

3f073372 04/10/2016 11:12 PM Christoph Egger

Treat Sat states like finishing states

With Sat states only treated like other states in the second fixpoint
iteration, the outer fixpoint was not ncessarily monononously decreasing
causing wrong results when in the first round the same number of nodes
got removed as added due to sat states.

080482ac 04/09/2016 10:15 PM Christoph Egger

Consider expanable Cores (but not states)

Acceptance test for cores is ∃ which is safe to use when non or only
some child states are created tus far

9fb4b019 04/09/2016 10:15 PM Christoph Egger

Turn inner fixpoint inside-out

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

View revisions

Also available in: Atom