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
-
-
Constructor Summary
Constructors Constructor Description ASTIntTiExprTail(int id)
ASTIntTiExprTail(Parser p, int id)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
getHigh()
int
getLow()
int
getType()
void
setLowHigh(int l, int h)
void
setType(int t)
java.lang.String
toString()
-
Methods inherited from class org.jacop.fz.SimpleNode
dump, getId, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtGetValue, jjtOpen, jjtSetParent, jjtSetValue, removeChildren, toString
-
-
-
-
Constructor Detail
-
ASTIntTiExprTail
public ASTIntTiExprTail(int id)
-
ASTIntTiExprTail
public ASTIntTiExprTail(Parser p, int id)
-
-
Method Detail
-
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 java.lang.String toString()
- Overrides:
toString
in classSimpleNode
-
-