Package apron

Class Texpr0DimNode

java.lang.Object
apron.Texpr0Node
apron.Texpr0DimNode
All Implemented Interfaces:
Serializable, Cloneable
public class Texpr0DimNode extends Texpr0Node implements Cloneable, Serializable
Class of variable leaves in Texpr0Node level 0 expression trees.

A variable is represented as a dimension (i.e., integer starting from 0).

See Also:

  • Field Details

    • dim

      public int dim
      Dimension.

  • Constructor Details

    • Texpr0DimNode

      public Texpr0DimNode(int d)
      Creates a new dimension node, for dimension d.

  • Method Details

    • shallowCopy

      public Texpr0Node shallowCopy()
      Description copied from class: Texpr0Node
      Shallow copy.
      Specified by:
      shallowCopy in class Texpr0Node

    • deepCopy

      public Texpr0Node deepCopy()
      Description copied from class: Texpr0Node
      Deep copy.
      Specified by:
      deepCopy in class Texpr0Node

    • toTexpr1Node

      public Texpr1Node toTexpr1Node(Environment e)
      Description copied from class: Texpr0Node
      Converts the level 0 tree to a level 1 tree in environment e.

      All dimension leaves are replaced with variable leaves.

      Specified by:
      toTexpr1Node in class Texpr0Node

    • toString

      public String toString(Var[] names)
      Description copied from class: Texpr0Node
      Converts the expression tree to a String.

      Dimension i is denoted by names[i].

      Specified by:
      toString in class Texpr0Node

    • getDimension

      public int getDimension()

    • setDimension

      public void setDimension(int d)

    • getDepth

      public int getDepth()
      Description copied from class: Texpr0Node
      Returns the depth of the expression tree.
      Specified by:
      getDepth in class Texpr0Node

    • getSize

      public int getSize()
      Description copied from class: Texpr0Node
      Returns the number of internal nodes in the tree.
      Specified by:
      getSize in class Texpr0Node

    • maxDim

      public int maxDim()
      Description copied from class: Texpr0Node
      Maximum occurring dimension + 1.
      Specified by:
      maxDim in class Texpr0Node

    • hasDim

      public boolean hasDim(int var)
      Description copied from class: Texpr0Node
      Whether the dimension dim is present.
      Specified by:
      hasDim in class Texpr0Node

    • fillDims

      protected void fillDims(boolean[] ar)
      Description copied from class: Texpr0Node
      Used internally by getDims.
      Specified by:
      fillDims in class Texpr0Node

    • isIntervalCst

      public boolean isIntervalCst()
      Description copied from class: Texpr0Node
      Whether the expression is constant.
      Specified by:
      isIntervalCst in class Texpr0Node

    • isIntervalLinear

      public boolean isIntervalLinear()
      Description copied from class: Texpr0Node
      Whether the expression is linear with interval or scalar coefficients, and there is no rounding.
      Specified by:
      isIntervalLinear in class Texpr0Node

    • isIntervalPolynomial

      public boolean isIntervalPolynomial()
      Description copied from class: Texpr0Node
      Whether the expression is polynomial, with interval or scalar coefficients, and there is no rounding.
      Specified by:
      isIntervalPolynomial in class Texpr0Node

    • isIntervalPolyfrac

      public boolean isIntervalPolyfrac()
      Description copied from class: Texpr0Node
      Whether the expression is a polynomial fraction, with interval or scalar coefficients, and there is no rounding.
      Specified by:
      isIntervalPolyfrac in class Texpr0Node

    • isScalar

      public boolean isScalar()
      Description copied from class: Texpr0Node
      Whether all coefficients are scalar (non interval).
      Specified by:
      isScalar in class Texpr0Node

    • substitute

      public Texpr0Node substitute(int d, Texpr0Node t)
      Description copied from class: Texpr0Node
      Substitutes all occurrences of the dimension dim with the expression tree t.

      this is modified in-place.

      As some nodes can change their kind (a node for a dimension dim becomes the root of the tree t), a new root node is returned.

      Specified by:
      substitute in class Texpr0Node

    • addDimensions

      public void addDimensions(Dimchange c)
      Description copied from class: Texpr0Node
      Adds some dimensions and shifts coefficients accordingly .
      Specified by:
      addDimensions in class Texpr0Node

    • removeDimensions

      public Texpr0Node removeDimensions(Dimchange c)
      Removes some dimensions and shifts coefficients accordingly. Removed variables are replaced with [-oo,+oo] constants.
      Specified by:
      removeDimensions in class Texpr0Node

    • permuteDimensions

      public void permuteDimensions(Dimperm p)
      Description copied from class: Texpr0Node
      Permutes some dimensions in the expression.
      Specified by:
      permuteDimensions in class Texpr0Node

    • hashCode

      public int hashCode()
      Description copied from class: Texpr0Node
      Recursive hashing.
      Specified by:
      hashCode in class Texpr0Node

    • isEqual

      public boolean isEqual(Texpr0Node t)
      Description copied from class: Texpr0Node
      Structural (recursive) equality.
      Specified by:
      isEqual in class Texpr0Node

    • getPrecedence

      public int getPrecedence()
      Description copied from class: Texpr0Node
      Precedence of the node, used when printing.
      Specified by:
      getPrecedence in class Texpr0Node

    • equals

      public boolean equals(Object x)
      Description copied from class: Texpr0Node
      Whether x is a Texpr0 tree and structurally equal to this.
      Specified by:
      equals in class Texpr0Node