Sample | |
1 (Type/Class) | Twee.Utils |
2 (Data Constructor) | Twee.Utils |
sample | Twee |
sampleValue | Twee.Utils |
score | Twee.CP |
semi | Twee.Pretty, Twee.Base |
sep | Twee.Pretty, Twee.Base |
shouldSimplifyQueue | Twee |
simpleLemma | Twee.Proof |
simpleRewrite | Twee.Rule |
simplerThan | Twee.Equation |
simplify | |
1 (Function) | Twee.Proof |
2 (Function) | Twee.Rule |
simplifyInnermost | Twee.Rule |
simplifyOutermost | Twee.Rule |
simplifyOverlap | Twee.CP |
simplifyPassive | Twee |
SimplifyQueue | Twee |
simplifyQueue | Twee |
simplifySample | Twee |
simplifyTerm | Twee |
singleton | |
1 (Function) | Twee.Term, Twee.Base |
2 (Function) | Twee.Index |
size | Twee.KBO |
Sized | Twee.KBO |
sizedText | Twee.Pretty, Twee.Base |
solutions | Twee |
solve | Twee.Constraints |
solved | Twee |
sortBy' | Twee.Utils |
space | Twee.Pretty, Twee.Base |
split | Twee.CP |
splitInterval | Twee.Utils |
splits | Twee.Utils |
stamp | Twee.Profile |
stampM | Twee.Profile |
stampWith | Twee.Profile |
State | |
1 (Type/Class) | Twee |
2 (Data Constructor) | Twee |
Status | Twee |
step1 | Twee.Join |
step2 | Twee.Join |
step3 | Twee.Join |
steps | Twee.Proof |
Str | Twee.Pretty, Twee.Base |
Strategy | Twee.Rule |
Strict | Twee.Constraints, Twee.Base |
Strictness | Twee.Constraints, Twee.Base |
Style | |
1 (Data Constructor) | Twee.Pretty, Twee.Base |
2 (Type/Class) | Twee.Pretty, Twee.Base |
style | Twee.Pretty, Twee.Base |
st_active_set | Twee |
st_complete | Twee |
st_considered | Twee |
st_cp_sample | Twee |
st_goals | Twee |
st_joinable | Twee |
st_messages_rev | Twee |
st_next_active | Twee |
st_not_complete | Twee |
st_queue | Twee |
st_rules | Twee |
st_simplified_at | Twee |
Subst | |
1 (Type/Class) | Twee.Term, Twee.Base |
2 (Data Constructor) | Twee.Term, Twee.Base |
subst | |
1 (Function) | Twee.Term |
2 (Function) | Twee.Base |
substCompatible | Twee.Term, Twee.Base |
substDomain | Twee.Term, Twee.Base |
SubstFun | Twee.Term, Twee.Base, Twee.Base |
Substitution | Twee.Term, Twee.Base |
substList | Twee.Term, Twee.Base |
SubstOf | Twee.Base |
substSize | Twee.Term, Twee.Base |
substToList | Twee.Term, Twee.Base |
substUnion | Twee.Term, Twee.Base |
subst_ | Twee.Base |
subsumed | Twee.Join |
subsumed1 | Twee.Join |
subterms | Twee.Term, Twee.Base |
subtermsList | Twee.Term, Twee.Base |
successors | Twee.Rule |
successorsAndNormalForms | Twee.Rule |
supply | Twee.Pretty, Twee.Base |
Symbolic | Twee.Base |
Symm | Twee.Proof |
symm | Twee.Proof |