Package org.jacop.fz

Class ASTIntTiExprTail

java.lang.Object
org.jacop.fz.SimpleNode
org.jacop.fz.ASTIntTiExprTail
All Implemented Interfaces:
Node

public class ASTIntTiExprTail extends SimpleNode
  • Field Details

    • type

      int type
    • low

      int low
    • high

      int high
  • Constructor Details

    • ASTIntTiExprTail

      public ASTIntTiExprTail(int id)
    • ASTIntTiExprTail

      public ASTIntTiExprTail(Parser p, int id)
  • Method Details

    • setType

      public void setType(int t)
    • getType

      public int getType()
    • setLowHigh

      public void setLowHigh(int l, int h)
    • getLow

      public int getLow()
    • getHigh

      public int getHigh()
    • toString

      public String toString()
      Overrides:
      toString in class SimpleNode