Index
| CNF | |
| 1 (Type/Class) | Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF |
| 2 (Data Constructor) | Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF |
| 3 (Type/Class) | Data.Algebra.Boolean.CNF.List |
| 4 (Data Constructor) | Data.Algebra.Boolean.CNF.List |
| CoBoolean | Data.Algebra.Boolean.CoBoolean, Data.Algebra.Boolean.FreeBoolean, Data.Algebra.Boolean.NormalForm, Data.Algebra.Boolean.NNF.Set, Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.DNF.List, Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF, Data.Algebra.Boolean.NNF, Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF.List, Data.Algebra.Boolean.CNF |
| CoBoolean1 | Data.Algebra.Boolean.CoBoolean, Data.Algebra.Boolean.FreeBoolean, Data.Algebra.Boolean.NormalForm, Data.Algebra.Boolean.NNF.Set, Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.DNF.List, Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF, Data.Algebra.Boolean.NNF, Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF.List, Data.Algebra.Boolean.CNF |
| DNF | |
| 1 (Type/Class) | Data.Algebra.Boolean.DNF.List |
| 2 (Data Constructor) | Data.Algebra.Boolean.DNF.List |
| 3 (Type/Class) | Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF |
| 4 (Data Constructor) | Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF |
| FBAnd | Data.Algebra.Boolean.FreeBoolean |
| FBFalse | Data.Algebra.Boolean.FreeBoolean |
| FBNot | Data.Algebra.Boolean.FreeBoolean |
| FBOr | Data.Algebra.Boolean.FreeBoolean |
| FBTrue | Data.Algebra.Boolean.FreeBoolean |
| FBValue | Data.Algebra.Boolean.FreeBoolean |
| FreeBoolean | Data.Algebra.Boolean.FreeBoolean |
| fromDoubleList | |
| 1 (Function) | Data.Algebra.Boolean.DNF.List |
| 2 (Function) | Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF |
| 3 (Function) | Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF |
| 4 (Function) | Data.Algebra.Boolean.CNF.List |
| fromFreeBoolean | Data.Algebra.Boolean.NormalForm, Data.Algebra.Boolean.NNF.Set, Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.DNF.List, Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF, Data.Algebra.Boolean.NNF, Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF.List, Data.Algebra.Boolean.CNF |
| fromNNF | |
| 1 (Function) | Data.Algebra.Boolean.DNF.List |
| 2 (Function) | Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF |
| 3 (Function) | Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF |
| 4 (Function) | Data.Algebra.Boolean.CNF.List |
| Neg | |
| 1 (Type/Class) | Data.Algebra.Boolean.Negable |
| 2 (Data Constructor) | Data.Algebra.Boolean.Negable |
| Negable | Data.Algebra.Boolean.Negable |
| NFConstraint | Data.Algebra.Boolean.NormalForm, Data.Algebra.Boolean.NNF.Set, Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.DNF.List, Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF, Data.Algebra.Boolean.NNF, Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF.List, Data.Algebra.Boolean.CNF |
| NNF | |
| 1 (Type/Class) | Data.Algebra.Boolean.NNF.Set |
| 2 (Type/Class) | Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.NNF |
| NNFAnd | |
| 1 (Data Constructor) | Data.Algebra.Boolean.NNF.Set |
| 2 (Data Constructor) | Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.NNF |
| NNFFalse | |
| 1 (Data Constructor) | Data.Algebra.Boolean.NNF.Set |
| 2 (Data Constructor) | Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.NNF |
| NNFOr | |
| 1 (Data Constructor) | Data.Algebra.Boolean.NNF.Set |
| 2 (Data Constructor) | Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.NNF |
| NNFTrue | |
| 1 (Data Constructor) | Data.Algebra.Boolean.NNF.Set |
| 2 (Data Constructor) | Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.NNF |
| NNFValue | |
| 1 (Data Constructor) | Data.Algebra.Boolean.NNF.Set |
| 2 (Data Constructor) | Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.NNF |
| NormalForm | Data.Algebra.Boolean.NormalForm, Data.Algebra.Boolean.NNF.Set, Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.DNF.List, Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF, Data.Algebra.Boolean.NNF, Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF.List, Data.Algebra.Boolean.CNF |
| not | Data.Algebra.Boolean.Negable |
| Pos | Data.Algebra.Boolean.Negable |
| simplify | Data.Algebra.Boolean.NormalForm, Data.Algebra.Boolean.NNF.Set, Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.DNF.List, Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF, Data.Algebra.Boolean.NNF, Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF.List, Data.Algebra.Boolean.CNF |
| toBool | Data.Algebra.Boolean.CoBoolean, Data.Algebra.Boolean.FreeBoolean, Data.Algebra.Boolean.NormalForm, Data.Algebra.Boolean.NNF.Set, Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.DNF.List, Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF, Data.Algebra.Boolean.NNF, Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF.List, Data.Algebra.Boolean.CNF |
| toBoolean | Data.Algebra.Boolean.CoBoolean, Data.Algebra.Boolean.FreeBoolean, Data.Algebra.Boolean.NormalForm, Data.Algebra.Boolean.NNF.Set, Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.DNF.List, Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF, Data.Algebra.Boolean.NNF, Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF.List, Data.Algebra.Boolean.CNF |
| toBooleanWith | Data.Algebra.Boolean.CoBoolean, Data.Algebra.Boolean.FreeBoolean, Data.Algebra.Boolean.NormalForm, Data.Algebra.Boolean.NNF.Set, Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.DNF.List, Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF, Data.Algebra.Boolean.NNF, Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF.List, Data.Algebra.Boolean.CNF |
| toBoolWith | Data.Algebra.Boolean.CoBoolean, Data.Algebra.Boolean.FreeBoolean, Data.Algebra.Boolean.NormalForm, Data.Algebra.Boolean.NNF.Set, Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.DNF.List, Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF, Data.Algebra.Boolean.NNF, Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF.List, Data.Algebra.Boolean.CNF |
| toDoubleList | |
| 1 (Function) | Data.Algebra.Boolean.DNF.List |
| 2 (Function) | Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF |
| 3 (Function) | Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF |
| 4 (Function) | Data.Algebra.Boolean.CNF.List |
| toNormalForm | Data.Algebra.Boolean.NormalForm, Data.Algebra.Boolean.NNF.Set, Data.Algebra.Boolean.NNF.Tree, Data.Algebra.Boolean.DNF.List, Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF, Data.Algebra.Boolean.NNF, Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF.List, Data.Algebra.Boolean.CNF |
| unCNF | |
| 1 (Function) | Data.Algebra.Boolean.CNF.Set, Data.Algebra.Boolean.CNF |
| 2 (Function) | Data.Algebra.Boolean.CNF.List |
| unDNF | |
| 1 (Function) | Data.Algebra.Boolean.DNF.List |
| 2 (Function) | Data.Algebra.Boolean.DNF.Set, Data.Algebra.Boolean.DNF |