Name | |
1 (Type/Class) | Term.LTerm, Term.Substitution, Term.Unification |
2 (Data Constructor) | Term.LTerm, Term.Substitution, Term.Unification |
NameId | |
1 (Type/Class) | Term.LTerm, Term.Substitution, Term.Unification |
2 (Data Constructor) | Term.LTerm, Term.Substitution, Term.Unification |
NameTag | Term.LTerm, Term.Substitution, Term.Unification |
neverContainsFreshPriv | Term.LTerm, Term.Substitution, Term.Unification |
nf' | Term.Rewriting.Norm |
nfSubstVFresh' | Term.Rewriting.Norm |
nId | Term.LTerm, Term.Substitution, Term.Unification |
niFactors | Term.LTerm, Term.Substitution, Term.Unification |
NodeId | Term.LTerm, Term.Substitution, Term.Unification |
NoEq | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
NoEqFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
noEqFunSyms | Term.Maude.Signature, Term.Unification |
NoEqSym | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
NoMatch | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
norm' | Term.Rewriting.Norm |
normBigTerm | Term.UnitTests |
normSubstVFresh' | Term.Rewriting.Norm |
normViaMaude | Term.Maude.Process |
nTag | Term.LTerm, Term.Substitution, Term.Unification |
NTerm | Term.LTerm, Term.Substitution, Term.Unification |