Package org.jacop.fz
Class ASTFloatTiExprTail
java.lang.Object
org.jacop.fz.SimpleNode
org.jacop.fz.ASTFloatTiExprTail
- All Implemented Interfaces:
Node
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) double
(package private) double
(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
double low -
high
double high
-
-
Constructor Details
-
ASTFloatTiExprTail
public ASTFloatTiExprTail(int id) -
ASTFloatTiExprTail
-
-
Method Details
-
setType
public void setType(int t) -
getType
public int getType() -
setLowHigh
public void setLowHigh(double l, double h) -
getLow
public double getLow() -
getHigh
public double getHigh() -
toString
- Overrides:
toString
in classSimpleNode
-