org.jacop.fz

Class ASTFloatTiExprTail

java.lang.Object

org.jacop.fz.SimpleNode

org.jacop.fz.ASTFloatTiExprTail

All Implemented Interfaces:

Node

public class ASTFloatTiExprTail
extends SimpleNode

Field Summary

Fields inherited from class org.jacop.fz.SimpleNode

children, id, parent, parser, value

Constructor Summary

Constructors

Constructor and Description
ASTFloatTiExprTail(int id)
ASTFloatTiExprTail(Parser p, int id)

Method Summary

Modifier and Type	Method and Description
double	getHigh()
double	getLow()
int	getType()
void	setLowHigh(double l, double h)
void	setType(int t)
String	toString()

Methods inherited from class org.jacop.fz.SimpleNode

dump, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtGetValue, jjtOpen, jjtSetParent, jjtSetValue, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ASTFloatTiExprTail

public ASTFloatTiExprTail(int id)

ASTFloatTiExprTail

public ASTFloatTiExprTail(Parser p,
                          int id)

Method Detail

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

public String toString()

Overrides:

toString in class SimpleNode