Index
| <-> | Logic |
| Atom | Logic |
| canonical | Canonical |
| canonical' | Canonical |
| canonicalAux | Saturation |
| canonicalKB | Saturation |
| clause | Preprocessing |
| Conj | Logic |
| dimacs | Preprocessing |
| Disj | Logic |
| Equi | Logic |
| equivalent | Logic |
| equivalentKB | Logic |
| F | Logic |
| forgetVarKB | Saturation |
| forgetVarListKB | MainFunctions |
| forgetVarListKB' | MainFunctions |
| formulas | Preprocessing |
| FProp | Logic |
| frequency | Heuristics |
| Heuristics | Heuristics |
| Impl | Logic |
| Interpretation | Logic |
| interpretationsForm | Logic |
| interpretationsKB | Logic |
| isConsequence | Logic |
| isConsequenceKB | Logic |
| isConsistent | Logic |
| isInconsistent | Logic |
| isModelForm | Logic |
| isModelKB | Logic |
| isSatisfiable | Logic |
| isUnsatisfiable | Logic |
| isValid | Logic |
| KB | Logic |
| lit | Preprocessing |
| modelsForm | Logic |
| modelsKB | Logic |
| Neg | Logic |
| no | Logic |
| p | Logic |
| parseFProp | LogicParser |
| propSymbolsForm | Logic |
| propSymbolsKB | Logic |
| prop_equivalent | Logic |
| prop_isConsequence | Logic |
| prop_isValid | Logic |
| prop_simp | Simplification |
| q | Logic |
| r | Logic |
| revFreq | Heuristics |
| satCNF | MainFunctions |
| satFORMULAS | MainFunctions |
| saturateKB | Saturation |
| saturateKBSizeTrace | MainFunctions |
| saturateKBTrace | MainFunctions |
| signify | Logic |
| simplification | Simplification |
| simplification' | Simplification |
| substitute | Logic |
| T | Logic |
| VarProp | Logic |
| vars | Heuristics |
| varsKB | Heuristics |
| withTF | Simplification |
| → | Logic |
| ∧ | Logic |
| ∨ | Logic |