Class TermPair

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

  • Constructor Details

    • TermPair

      public TermPair()

    • TermPair

      public TermPair(Term first, Term second)

    • TermPair

      public TermPair(TermPair other)

  • Method Details

    • delete

      public void delete()

    • setFirst

      public void setFirst(Term value)

    • getFirst

      public Term getFirst()

    • setSecond

      public void setSecond(Term value)

    • getSecond

      public Term getSecond()