apron

Class Texpr1CstNode

java.lang.Object

apron.Texpr1Node

apron.Texpr1CstNode

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public class Texpr1CstNode
extends Texpr1Node
implements java.lang.Cloneable, java.io.Serializable

Class of constant leaves in Texpr1Node level 1 expression trees.

A constant value is represented by a Coeff object.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
Coeff	cst Constant value.

Fields inherited from class apron.Texpr1Node

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
Texpr1CstNode() Create a zero constant node (DoubleScalar).
Texpr1CstNode(Coeff c) Creates a new constant node.

Method Summary

Modifier and Type	Method and Description
Texpr1Node	deepCopy() Deep copy.
boolean	equals(java.lang.Object x) Whether x is a Texpr1 tree and structurally equal to this.
protected void	fillVars(java.util.HashSet<Var> set) Used internally for getVars.
Coeff	getConstant()
int	getDepth() Returns the depth of the expression tree.
int	getPrecedence() Precedence of the node, used when printing.
int	getSize() Returns the number of internal nodes in the tree.
int	hashCode() Recursive hashing.
boolean	hasVar(Var var) Whether the variable var occurs in the tree.
boolean	isEqual(Texpr1Node 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).
void	setConstant(Coeff c)
Texpr1Node	shallowCopy() Shallow copy.
Texpr1Node	substitute(Var var, Texpr1Node t) Substitutes all occurrences of the variable var with the tree t.
java.lang.String	toString() Converts the expression tree to a String.
Texpr0Node	toTexpr0Node(Environment e) Converts the level 1 tree to a level 0 tree in the given environment.

Methods inherited from class apron.Texpr1Node

clone, fromLinexpr1, getVars, hasVar, substitute, substituteCopy, substituteCopy

Methods inherited from class java.lang.Object

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

Field Detail

cst

public Coeff cst

Constant value.

Constructor Detail

Texpr1CstNode

public Texpr1CstNode(Coeff c)

Creates a new constant node.

The coefficient is referenced, not copied.

Texpr1CstNode

public Texpr1CstNode()

Create a zero constant node (DoubleScalar).

Method Detail

shallowCopy

public Texpr1Node shallowCopy()

Description copied from class: Texpr1Node

Shallow copy.

Specified by:

shallowCopy in class Texpr1Node

deepCopy

public Texpr1Node deepCopy()

Description copied from class: Texpr1Node

Deep copy.

Specified by:

deepCopy in class Texpr1Node

toTexpr0Node

public Texpr0Node toTexpr0Node(Environment e)

Description copied from class: Texpr1Node

Converts the level 1 tree to a level 0 tree in the given environment.

Specified by:

toTexpr0Node in class Texpr1Node

toString

public java.lang.String toString()

Description copied from class: Texpr1Node

Converts the expression tree to a String.

Specified by:

toString in class Texpr1Node

getConstant

public Coeff getConstant()

setConstant

public void setConstant(Coeff c)

getDepth

public int getDepth()

Description copied from class: Texpr1Node

Returns the depth of the expression tree.

Specified by:

getDepth in class Texpr1Node

getSize

public int getSize()

Description copied from class: Texpr1Node

Returns the number of internal nodes in the tree.

Specified by:

getSize in class Texpr1Node

hasVar

public boolean hasVar(Var var)

Description copied from class: Texpr1Node

Whether the variable var occurs in the tree.

Specified by:

hasVar in class Texpr1Node

fillVars

protected void fillVars(java.util.HashSet<Var> set)

Description copied from class: Texpr1Node

Used internally for getVars.

Specified by:

fillVars in class Texpr1Node

isIntervalCst

public boolean isIntervalCst()

Description copied from class: Texpr1Node

Whether the expression is constant.

Specified by:

isIntervalCst in class Texpr1Node

isIntervalLinear

public boolean isIntervalLinear()

Description copied from class: Texpr1Node

Whether the expression is linear with interval or scalar coefficients, and there is no rounding.

Specified by:

isIntervalLinear in class Texpr1Node

isIntervalPolynomial

public boolean isIntervalPolynomial()

Description copied from class: Texpr1Node

Whether the expression is polynomial, with interval or scalar coefficients, and there is no rounding.

Specified by:

isIntervalPolynomial in class Texpr1Node

isIntervalPolyfrac

public boolean isIntervalPolyfrac()

Description copied from class: Texpr1Node

Whether the expression is a polynomial fraction, with interval or scalar coefficients, and there is no rounding.

Specified by:

isIntervalPolyfrac in class Texpr1Node

isScalar

public boolean isScalar()

Description copied from class: Texpr1Node

Whether all coefficients are scalar (non interval).

Specified by:

isScalar in class Texpr1Node

substitute

public Texpr1Node substitute(Var var,
                             Texpr1Node t)

Description copied from class: Texpr1Node

Substitutes all occurrences of the variable var with the tree t.

this is modified in-place.

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

Specified by:

substitute in class Texpr1Node

hashCode

public int hashCode()

Description copied from class: Texpr1Node

Recursive hashing.

Specified by:

hashCode in class Texpr1Node

isEqual

public boolean isEqual(Texpr1Node t)

Description copied from class: Texpr1Node

Structural (recursive) equality.

Specified by:

isEqual in class Texpr1Node

getPrecedence

public int getPrecedence()

Description copied from class: Texpr1Node

Precedence of the node, used when printing.

Specified by:

getPrecedence in class Texpr1Node

equals

public boolean equals(java.lang.Object x)

Description copied from class: Texpr1Node

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

Specified by:

equals in class Texpr1Node