ai | Data.Logic.ATP.DefCNF, Data.Logic.ATP |
allIds | Data.Logic.ATP.Parser, Data.Logic.ATP |
allnonemptysubsets | Data.Logic.ATP.Lib, Data.Logic.ATP |
allOps | Data.Logic.ATP.Parser, Data.Logic.ATP |
allpairs | Data.Logic.ATP.Lib, Data.Logic.ATP |
allsatvaluations | Data.Logic.ATP.Prop, Data.Logic.ATP |
allsets | Data.Logic.ATP.Lib, Data.Logic.ATP |
allsubsets | Data.Logic.ATP.Lib, Data.Logic.ATP |
And | |
1 (Data Constructor) | Data.Logic.ATP.Prop |
2 (Data Constructor) | Data.Logic.ATP.Quantified, Data.Logic.ATP |
andOps | Data.Logic.ATP.Parser, Data.Logic.ATP |
andPrec | Data.Logic.ATP.Pretty, Data.Logic.ATP |
AP | Data.Logic.ATP.Apply, Data.Logic.ATP |
ApAtom | Data.Logic.ATP.Apply, Data.Logic.ATP |
ApFormula | Data.Logic.ATP.FOL, Data.Logic.ATP |
apply | Data.Logic.ATP.Lib, Data.Logic.ATP |
applyPredicate | Data.Logic.ATP.Apply, Data.Logic.ATP |
Arity | Data.Logic.ATP.Term, Data.Logic.ATP |
asBool | Data.Logic.ATP.Formulas, Data.Logic.ATP |
askolemize | Data.Logic.ATP.Skolem, Data.Logic.ATP |
assert | Data.Logic.ATP |
Assertable | Data.Logic.ATP |
assertBool | Data.Logic.ATP |
assertEqual | Data.Logic.ATP |
assertEqual' | Data.Logic.ATP.Pretty, Data.Logic.ATP |
assertFailure | Data.Logic.ATP |
Assertion | Data.Logic.ATP |
AssertionPredicable | Data.Logic.ATP |
AssertionPredicate | Data.Logic.ATP |
assertionPredicate | Data.Logic.ATP |
assertString | Data.Logic.ATP |
Associativity | Data.Logic.ATP.Pretty, Data.Logic.ATP |
associativity | Data.Logic.ATP.Pretty, Data.Logic.ATP |
associativityEquate | Data.Logic.ATP.Equate, Data.Logic.ATP |
associativityLiteral | Data.Logic.ATP.Lit, Data.Logic.ATP |
associativityPropositional | Data.Logic.ATP.Prop, Data.Logic.ATP |
associativityQuantified | Data.Logic.ATP.Quantified, Data.Logic.ATP |
associativityTerm | Data.Logic.ATP.Term, Data.Logic.ATP |
asubst | Data.Logic.ATP.FOL, Data.Logic.ATP |
Atom | |
1 (Data Constructor) | Data.Logic.ATP.Lit |
2 (Data Constructor) | Data.Logic.ATP.Prop |
3 (Type/Class) | Data.Logic.ATP.DefCNF, Data.Logic.ATP |
4 (Data Constructor) | Data.Logic.ATP.Quantified, Data.Logic.ATP |
atomFuncs | Data.Logic.ATP.Apply, Data.Logic.ATP |
atomic | Data.Logic.ATP.Formulas, Data.Logic.ATP |
AtomOf | Data.Logic.ATP.Formulas, Data.Logic.ATP |
atomPrec | Data.Logic.ATP.Pretty, Data.Logic.ATP |
atoms | Data.Logic.ATP.Prop, Data.Logic.ATP |
atom_union | Data.Logic.ATP.Formulas, Data.Logic.ATP |