Class TermSubstitutionPair

java.lang.Object
es.ucm.maude.bindings.TermSubstitutionPair
public class TermSubstitutionPair extends Object

  • Constructor Details

    • TermSubstitutionPair

      public TermSubstitutionPair()

    • TermSubstitutionPair

      public TermSubstitutionPair(Term first, Substitution second)

    • TermSubstitutionPair

      public TermSubstitutionPair(TermSubstitutionPair other)

  • Method Details

    • delete

      public void delete()

    • setFirst

      public void setFirst(Term value)

    • getFirst

      public Term getFirst()

    • setSecond

      public void setSecond(Substitution value)

    • getSecond

      public Substitution getSecond()