i1 | Term.Builtin.Convenience |
i2 | Term.Builtin.Convenience |
i3 | Term.Builtin.Convenience |
i4 | Term.Builtin.Convenience |
i5 | Term.Builtin.Convenience |
i6 | Term.Builtin.Convenience |
i7 | Term.Builtin.Convenience |
i8 | Term.Builtin.Convenience |
i9 | Term.Builtin.Convenience |
imageOf | Term.Substitution, Term.Unification |
imageOfVFresh | Term.Substitution, Term.Unification |
implicitFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
inv | Term.UnitTests |
invSymString | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
irreducibleFunSyms | Term.Maude.Signature, Term.Unification |
IsConst | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
isEMap | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
isFreshVar | Term.LTerm, Term.Substitution, Term.Unification |
isInverse | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
isMsgVar | Term.LTerm, Term.Substitution, Term.Unification |
isNormalInstance | Term.Narrowing.Variants.Check, Term.Narrowing.Variants |
isNullaryPublicFunction | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
isPair | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
isPrivateFunction | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
isProduct | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
isRenaming | Term.Substitution, Term.Unification |
isSimpleTerm | Term.LTerm, Term.Substitution, Term.Unification |
isUnion | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
IsVar | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
isVar | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |