T | |
1 (Data Constructor) | Data.Logic.ATP.Lit |
2 (Data Constructor) | Data.Logic.ATP.Prop |
3 (Data Constructor) | Data.Logic.ATP.Quantified, Data.Logic.ATP |
t | Data.Logic.ATP.ParserTests |
tab | Data.Logic.ATP.Tableaux, Data.Logic.ATP |
tautology | Data.Logic.ATP.Prop, Data.Logic.ATP |
Term | Data.Logic.ATP.Term, Data.Logic.ATP |
term | Data.Logic.ATP.Parser, Data.Logic.ATP |
TermOf | Data.Logic.ATP.Apply, Data.Logic.ATP |
termval | Data.Logic.ATP.FOL, Data.Logic.ATP |
Test | Data.Logic.ATP |
test | Data.Logic.ATP |
test01 | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
Testable | Data.Logic.ATP |
TestCase | Data.Logic.ATP |
testCaseCount | Data.Logic.ATP |
testCasePaths | Data.Logic.ATP |
testDefCNF | Data.Logic.ATP.DefCNF, Data.Logic.ATP |
testDP | Data.Logic.ATP.DP, Data.Logic.ATP |
testEqual | Data.Logic.ATP.Equal, Data.Logic.ATP |
testEquals | Data.Logic.ATP.Pretty, Data.Logic.ATP |
testFOL | Data.Logic.ATP.FOL, Data.Logic.ATP |
testHerbrand | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
TestLabel | Data.Logic.ATP |
testLib | Data.Logic.ATP.Lib, Data.Logic.ATP |
TestList | Data.Logic.ATP |
testMeson | Data.Logic.ATP.Meson, Data.Logic.ATP |
testParen | Data.Logic.ATP.Pretty, Data.Logic.ATP |
testParser | Data.Logic.ATP.ParserTests |
testProlog | Data.Logic.ATP.Prolog, Data.Logic.ATP |
testProp | Data.Logic.ATP.Prop, Data.Logic.ATP |
testPropExamples | Data.Logic.ATP.PropExamples, Data.Logic.ATP |
testResolution | Data.Logic.ATP.Resolution, Data.Logic.ATP |
testSkolem | Data.Logic.ATP.Skolem, Data.Logic.ATP |
testTableaux | Data.Logic.ATP.Tableaux, Data.Logic.ATP |
testTerm | Data.Logic.ATP.Term, Data.Logic.ATP |
testUnif | Data.Logic.ATP.Unif, Data.Logic.ATP |
text | Data.Logic.ATP.Pretty, Data.Logic.ATP |
TextDetails | Data.Logic.ATP |
time | Data.Logic.ATP.Lib, Data.Logic.ATP |
timeComputation | Data.Logic.ATP.Lib, Data.Logic.ATP |
timeMessage | Data.Logic.ATP.Lib, Data.Logic.ATP |
timeout | Data.Logic.ATP.Lib, Data.Logic.ATP |
Top | Data.Logic.ATP.Pretty, Data.Logic.ATP |
toSkolem | Data.Logic.ATP.Skolem, Data.Logic.ATP |
tried | Data.Logic.ATP |
trivial | Data.Logic.ATP.Prop, Data.Logic.ATP |
true | Data.Logic.ATP.Formulas, Data.Logic.ATP |
trueIds | Data.Logic.ATP.Parser, Data.Logic.ATP |
trueOps | Data.Logic.ATP.Parser, Data.Logic.ATP |
TruthTable | |
1 (Type/Class) | Data.Logic.ATP.Prop, Data.Logic.ATP |
2 (Data Constructor) | Data.Logic.ATP.Prop, Data.Logic.ATP |
truthTable | Data.Logic.ATP.Prop, Data.Logic.ATP |
tryApplyD | Data.Logic.ATP.Lib, Data.Logic.ATP |
tryfind | Data.Logic.ATP.Lib, Data.Logic.ATP |
tryfindM | Data.Logic.ATP.Lib, Data.Logic.ATP |
tsubst | Data.Logic.ATP.FOL, Data.Logic.ATP |
TVarOf | Data.Logic.ATP.Term, Data.Logic.ATP |