Active | |
1 (Type/Class) | Twee |
2 (Data Constructor) | Twee |
activeRules | Twee |
active_cp | Twee |
active_id | Twee |
active_info | Twee |
active_model | Twee |
active_positions | Twee |
active_proof | Twee |
active_rule | Twee |
active_top | Twee |
addActive | Twee |
addActiveOnly | Twee |
addAxiom | Twee |
addCP | Twee |
addEquals | Twee.Constraints |
addGoal | Twee |
addJoinable | Twee |
addLess | Twee.Constraints |
addSample | Twee.Utils |
addTerm | Twee.Constraints |
allSteps | Twee.Join |
allSubst | Twee.Term, Twee.Base |
And | Twee.Constraints |
ANSICode | Twee.Pretty, Twee.Base |
anywhere | Twee.Rule |
anywhereInnermost | Twee.Rule |
anywhereOutermost | Twee.Rule |
App | Twee.Term, Twee.Base |
app | Twee.Term, Twee.Base |
argWeight | Twee.KBO |
assumeComplete | Twee |
asymmetricOverlaps | Twee.CP |
at | Twee.Term, Twee.Base |
Atom | Twee.Constraints |
atoms | Twee.Constraints |
autoSubst | Twee.Proof |
Axiom | |
1 (Type/Class) | Twee.Proof |
2 (Data Constructor) | Twee.Proof |
axiom | Twee.Proof |
axiom_eqn | Twee.Proof |
axiom_name | Twee.Proof |
axiom_number | Twee.Proof |