Package 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 Details

    • type

      int type
    • low

      double low
    • high

      double high
  • Constructor Details

    • ASTFloatTiExprTail

      public ASTFloatTiExprTail(int id)
    • ASTFloatTiExprTail

      public ASTFloatTiExprTail(Parser p, int id)
  • 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

      public String toString()
      Overrides:
      toString in class SimpleNode