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 |