Index - G
getLeftTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
getMaudeStats | Term.Maude.Process, Term.Unification |
getMsgVar | Term.LTerm, Term.Substitution, Term.Unification |
getNameId | Term.LTerm, Term.Substitution, Term.Unification |
getRightTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
getVar | Term.LTerm, Term.Substitution, Term.Unification |