Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib @ e765822b

Name Size
ALCFormula.ml 54.3 KB
ALCFormula.mli 3.34 KB
ALCGraph.ml 15.1 KB
ALCGraph.mli 197 Bytes
ALCMisc.ml 31.5 KB
CoAlgFormula.ml 72.4 KB
CoAlgFormula.mli 6.51 KB
CoAlgLogicUtils.ml 3.62 KB
CoAlgLogicUtils.mli 322 Bytes
CoAlgLogics.ml 21.3 KB
CoAlgLogics.mli 589 Bytes
CoAlgMisc.ml 35.2 KB
CoAlgMisc.mli 8.7 KB
CoAlgReasoner.ml 28.8 KB
CoAlgReasoner.mli 1.18 KB
CoolGraph.ml 25.2 KB
CoolGraph.mli 6.69 KB
CoolUtils.ml 4.7 KB
CoolUtils.mli 2.71 KB
EAFormula.ml 2.12 KB
EAFormula.mli 695 Bytes
FocusTracking.ml 12.3 KB
FocusTracking.mli 773 Bytes
FunctorParsing.ml 6.76 KB
FunctorParsing.mli 613 Bytes
HashConsing.ml 8.89 KB
HashConsing.mli 736 Bytes
MiscSolver.ml 13.2 KB
MiscSolver.mli 1.33 KB
altGenlex.ml 9.48 KB
altGenlex.mli 453 Bytes
genAndComp.ml 68.2 KB
glpk.ml 7.28 KB
glpk.mli 7.47 KB
glpk_stub.c 11 KB
minisat.ml 1.22 KB
minisat.mli 492 Bytes
minisat_stub.c 3.33 KB

Latest revisions

# Date Author Comment
e765822b 10/17/2017 11:28 PM Daniel Hausmann

Implement own parity game solver

Instead of relying on pgsolver for this task.

b078517b 10/13/2017 10:14 PM Hans-Peter Deifel

Fix printing of modality of the identity functor

69962164 10/13/2017 05:11 PM Hans-Peter Deifel

CoAlgMisc: Store fixpoint variable name for every deferral

This is only useful for debugging and currently not used anywhere in
the code.

97d89f3f 10/11/2017 10:53 PM Hans-Peter Deifel

Remove unused code

9cab822e 10/10/2017 11:52 PM Hans-Peter Deifel

Fix apply for the partial permutation tracker

- Apply all indices in the map, not only the currently tracked ones.
- Apply Stars in the same way as regular formulas

3dc07cf8 10/10/2017 09:34 PM Hans-Peter Deifel

Fix bug in detClosure

7776135e 04/22/2017 12:52 AM Hans-Peter Deifel

Move verifyFormula after simplification

a60f4851 04/21/2017 11:16 PM Hans-Peter Deifel

Enforce aconjunctivity globally

In the future, we would need a switch for that

64adaa3d 04/21/2017 10:23 PM Hans-Peter Deifel

Disable debug output

2400280e 04/21/2017 10:23 PM Hans-Peter Deifel

Fix alternation level computation

View revisions

Also available in: Atom