Package org.jacop.fz
Class ASTIntTiExprTail
java.lang.Object
org.jacop.fz.SimpleNode
org.jacop.fz.ASTIntTiExprTail
- All Implemented Interfaces:
Node
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) int
(package private) int
(package private) int
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class org.jacop.fz.SimpleNode
dump, getId, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtGetValue, jjtOpen, jjtSetParent, jjtSetValue, removeChildren, toString
-
Field Details
-
type
int type -
low
int low -
high
int high
-
-
Constructor Details
-
ASTIntTiExprTail
public ASTIntTiExprTail(int id) -
ASTIntTiExprTail
-
-
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
- Overrides:
toString
in classSimpleNode
-