Class TermIntPair

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

  • Constructor Details

    • TermIntPair

      public TermIntPair()

    • TermIntPair

      public TermIntPair(Term first, int second)

    • TermIntPair

      public TermIntPair(TermIntPair other)

  • Method Details

    • delete

      public void delete()

    • setFirst

      public void setFirst(Term value)

    • getFirst

      public Term getFirst()

    • setSecond

      public void setSecond(int value)

    • getSecond

      public int getSecond()