apron

Class Texpr0DimNode

java.lang.Object

apron.Texpr0Node

apron.Texpr0DimNode

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public class Texpr0DimNode
extends Texpr0Node
implements java.lang.Cloneable, java.io.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:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
int	dim Dimension.

Fields inherited from class apron.Texpr0Node

RDIR_DOWN, RDIR_NEAREST, RDIR_RND, RDIR_UP, RDIR_ZERO, RTYPE_DOUBLE, RTYPE_EXTENDED, RTYPE_INT, RTYPE_QUAD, RTYPE_REAL, RTYPE_SINGLE

Constructor Summary

Constructors

Constructor and Description
Texpr0DimNode(int d) Creates a new dimension node, for dimension d.

Method Summary

Modifier and Type	Method and Description
void	addDimensions(Dimchange c) Adds some dimensions and shifts coefficients accordingly .
Texpr0Node	deepCopy() Deep copy.
boolean	equals(java.lang.Object x) Whether x is a Texpr0 tree and structurally equal to this.
protected void	fillDims(boolean[] ar) Used internally by getDims.
int	getDepth() Returns the depth of the expression tree.
int	getDimension()
int	getPrecedence() Precedence of the node, used when printing.
int	getSize() Returns the number of internal nodes in the tree.
boolean	hasDim(int var) Whether the dimension dim is present.
int	hashCode() Recursive hashing.
boolean	isEqual(Texpr0Node t) Structural (recursive) equality.
boolean	isIntervalCst() Whether the expression is constant.
boolean	isIntervalLinear() Whether the expression is linear with interval or scalar coefficients, and there is no rounding.
boolean	isIntervalPolyfrac() Whether the expression is a polynomial fraction, with interval or scalar coefficients, and there is no rounding.
boolean	isIntervalPolynomial() Whether the expression is polynomial, with interval or scalar coefficients, and there is no rounding.
boolean	isScalar() Whether all coefficients are scalar (non interval).
int	maxDim() Maximum occurring dimension + 1.
void	permuteDimensions(Dimperm p) Permutes some dimensions in the expression.
Texpr0Node	removeDimensions(Dimchange c) Removes some dimensions and shifts coefficients accordingly.
void	setDimension(int d)
Texpr0Node	shallowCopy() Shallow copy.
Texpr0Node	substitute(int d, Texpr0Node t) Substitutes all occurrences of the dimension dim with the expression tree t.
java.lang.String	toString(Var[] names) Converts the expression tree to a String.
Texpr1Node	toTexpr1Node(Environment e) Converts the level 0 tree to a level 1 tree in environment e.

Methods inherited from class apron.Texpr0Node

addDimensionsCopy, clone, fromLinexpr0, getDims, permuteDimensionsCopy, removeDimensionsCopy, substituteCopy, suffixRDir, suffixRType, toString, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

dim

public int dim

Dimension.

Constructor Detail

Texpr0DimNode

public Texpr0DimNode(int d)

Creates a new dimension node, for dimension d.

Method Detail

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 java.lang.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(java.lang.Object x)

Description copied from class: Texpr0Node

Whether x is a Texpr0 tree and structurally equal to this.

Specified by:

equals in class Texpr0Node