Skip to content
Snippets Groups Projects
Commit 3b407438 authored by Christoph's avatar Christoph
Browse files

Add MuF / NuF datatypes to reasoner

parent e156fbca
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
src/lib/CoAlgMisc.ml
+ 2
− 0
View file @ 3b407438
...@@ -165,6 +165,8 @@ type formulaType = ...@@ -165,6 +165,8 @@ type formulaType =
| NormnF (* negation normal form of default implication *) | NormnF (* negation normal form of default implication *)
| ChcF (* Choice *) | ChcF (* Choice *)
| FusF (* Fusion *) | FusF (* Fusion *)
| MuF
| NuF
type localFormula = int type localFormula = int
type bset = S.bitset type bset = S.bitset
......
src/lib/CoAlgMisc.mli
+ 2
− 0
View file @ 3b407438
...@@ -52,6 +52,8 @@ type formulaType = ...@@ -52,6 +52,8 @@ type formulaType =
| NormnF (* negation normal form of default implication *) | NormnF (* negation normal form of default implication *)
| ChcF | ChcF
| FusF | FusF
| MuF
| NuF
type localFormula type localFormula
type bset type bset
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment