Index - I
Id | |
1 (Type/Class) | Twee.PassiveQueue |
2 (Type/Class) | Twee.Base |
3 (Data Constructor) | Twee.Base |
idempotent | Twee.Term, Twee.Base |
idempotentOn | Twee.Term, Twee.Base |
implicitArguments | Twee.Pretty, Twee.Base |
Index | Twee.Index |
index_all | Twee.Rule.Index |
index_oriented | Twee.Rule.Index |
infixStyle | Twee.Pretty, Twee.Base |
initialState | Twee |
insert | |
1 (Function) | Twee.PassiveQueue |
2 (Function) | Twee.Index |
3 (Function) | Twee.Rule.Index |
int | Twee.Pretty, Twee.Base |
integer | Twee.Pretty, Twee.Base |
Interreduce | Twee |
interreduce | Twee |
interreduce1 | Twee |
intMax | Twee.Utils |
intMin | Twee.Utils |
invisible | Twee.Pretty, Twee.Base |
isApp | Twee.Term, Twee.Base |
isEmpty | Twee.Pretty, Twee.Base |
isEquals | Twee.Base |
isFalse | Twee.Base |
isGround | Twee.Base |
isInstanceOf | Twee.Term, Twee.Base |
isMinimal | Twee.Base |
isSorted | Twee.Utils |
isSortedBy | Twee.Utils |
isSubtermOf | Twee.Term, Twee.Base |
isSubtermOfList | Twee.Term, Twee.Base |
isTrue | Twee.Base |
isVar | Twee.Term, Twee.Base |
isVariantOf | Twee.Term, Twee.Base |