Texpr1Node

java.lang.Object
- apron.Texpr1Node

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

Direct Known Subclasses:

Texpr1BinNode, Texpr1CstNode, Texpr1UnNode, Texpr1VarNode
```
public abstract class Texpr1Node
extends java.lang.Object
implements java.lang.Cloneable, java.io.Serializable
```
Class of level 1 concrete expression trees.
A Texpr1Node represents an expression tree, which can be constructed and inspected in Java. Each node is actually a binary operator (Texpr1BinNode), a unary operator (Texpr1UnNode), a variable represented by name (Texpr1VarNode), or a constant (Texpr1CstNode).
An expression tree must be converted to and from a Texpr1Intern to be used in abstract domain transfer functions. Unlike other level 1 objects, level 1 concrete expression trees are not defined with respect to a given environment. The environment is specified during the conversion to an opaque level 1 expression tree.

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type	Field and Description
`static int`	`RDIR_DOWN` Rounds towards -oo.
`static int`	`RDIR_NEAREST` Rounds to nearest.
`static int`	`RDIR_RND` Non-deterministic rounding (all four modes considered).
`static int`	`RDIR_UP` Rounds towards +oo.
`static int`	`RDIR_ZERO` Rounds towards 0 (truncation).
`static int`	`RTYPE_DOUBLE` Double-precision rounding: 64-bit IEEE 754 (double).
`static int`	`RTYPE_EXTENDED` Extended-precision rounding: 80-bit (Intel's long double).
`static int`	`RTYPE_INT` Integer rounding.
`static int`	`RTYPE_QUAD` Quad-precision rounding: 128-bit (Motorola's long double).
`static int`	`RTYPE_REAL` Real (no rounding).
`static int`	`RTYPE_SINGLE` Single-precision rounding: 32-bit IEEE 754 (float).

Constructor Summary

Constructors
Modifier Constructor and Description

protected Texpr1Node()
No constructor: use constructors from a sub-class.

Constructors
Modifier	Constructor and Description
`protected`	`Texpr1Node()` No constructor: use constructors from a sub-class.

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method and Description
`Texpr1Node`	`clone()` Returns a deep copy of this.
`abstract Texpr1Node`	`deepCopy()` Deep copy.
`abstract boolean`	`equals(java.lang.Object x)` Whether x is a Texpr1 tree and structurally equal to this.
`protected abstract void`	`fillVars(java.util.HashSet<Var> set)` Used internally for getVars.
`static Texpr1Node`	`fromLinexpr1(Linexpr1 c)` Constructs an expression tree from a linear expression.
`abstract int`	`getDepth()` Returns the depth of the expression tree.
`abstract int`	`getPrecedence()` Precedence of the node, used when printing.
`abstract int`	`getSize()` Returns the number of internal nodes in the tree.
`Var[]`	`getVars()` Returns the list of all occurring variables.
`abstract int`	`hashCode()` Recursive hashing.
`boolean`	`hasVar(java.lang.String var)`
`abstract boolean`	`hasVar(Var var)` Whether the variable var occurs in the tree.
`abstract boolean`	`isEqual(Texpr1Node t)` Structural (recursive) equality.
`abstract boolean`	`isIntervalCst()` Whether the expression is constant.
`abstract boolean`	`isIntervalLinear()` Whether the expression is linear with interval or scalar coefficients, and there is no rounding.
`abstract boolean`	`isIntervalPolyfrac()` Whether the expression is a polynomial fraction, with interval or scalar coefficients, and there is no rounding.
`abstract boolean`	`isIntervalPolynomial()` Whether the expression is polynomial, with interval or scalar coefficients, and there is no rounding.
`abstract boolean`	`isScalar()` Whether all coefficients are scalar (non interval).
`abstract Texpr1Node`	`shallowCopy()` Shallow copy.
`Texpr1Node`	`substitute(java.lang.String var, Texpr1Node t)`
`abstract Texpr1Node`	`substitute(Var var, Texpr1Node t)` Substitutes all occurrences of the variable var with the tree t.
`Texpr1Node`	`substituteCopy(java.lang.String var, Texpr1Node t)`
`Texpr1Node`	`substituteCopy(Var var, Texpr1Node t)` Returns a copy of this where all occurrences of the variable var are substituted with the expression tree t.
`abstract java.lang.String`	`toString()` Converts the expression tree to a String.
`abstract Texpr0Node`	`toTexpr0Node(Environment e)` Converts the level 1 tree to a level 0 tree in the given environment.

Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait

- Field Detail
  - RTYPE_REAL
```
public static final int RTYPE_REAL
```
    Real (no rounding).
    
    See Also:
    
    Constant Field Values
  - RTYPE_INT
```
public static final int RTYPE_INT
```
    Integer rounding.
    
    See Also:
    
    Constant Field Values
  - RTYPE_SINGLE
```
public static final int RTYPE_SINGLE
```
    Single-precision rounding: 32-bit IEEE 754 (float).
    
    See Also:
    
    Constant Field Values
  - RTYPE_DOUBLE
```
public static final int RTYPE_DOUBLE
```
    Double-precision rounding: 64-bit IEEE 754 (double).
    
    See Also:
    
    Constant Field Values
  - RTYPE_EXTENDED
```
public static final int RTYPE_EXTENDED
```
    Extended-precision rounding: 80-bit (Intel's long double).
    
    See Also:
    
    Constant Field Values
  - RTYPE_QUAD
```
public static final int RTYPE_QUAD
```
    Quad-precision rounding: 128-bit (Motorola's long double).
    
    See Also:
    
    Constant Field Values
  - RDIR_NEAREST
```
public static final int RDIR_NEAREST
```
    Rounds to nearest.
    
    See Also:
    
    Constant Field Values
  - RDIR_ZERO
```
public static final int RDIR_ZERO
```
    Rounds towards 0 (truncation).
    
    See Also:
    
    Constant Field Values
  - RDIR_UP
```
public static final int RDIR_UP
```
    Rounds towards +oo.
    
    See Also:
    
    Constant Field Values
  - RDIR_DOWN
```
public static final int RDIR_DOWN
```
    Rounds towards -oo.
    
    See Also:
    
    Constant Field Values
  - RDIR_RND
```
public static final int RDIR_RND
```
    Non-deterministic rounding (all four modes considered).
    
    See Also:
    
    Constant Field Values
- Constructor Detail
  - Texpr1Node
```
protected Texpr1Node()
```
    No constructor: use constructors from a sub-class.
- Method Detail
  - shallowCopy
```
public abstract Texpr1Node shallowCopy()
```
    Shallow copy.
  - deepCopy
```
public abstract Texpr1Node deepCopy()
```
    Deep copy.
  - fromLinexpr1
```
public static Texpr1Node fromLinexpr1(Linexpr1 c)
```
    Constructs an expression tree from a linear expression.
    All coefficients are copied.
  - toTexpr0Node
```
public abstract Texpr0Node toTexpr0Node(Environment e)
```
    Converts the level 1 tree to a level 0 tree in the given environment.
  - toString
```
public abstract java.lang.String toString()
```
    Converts the expression tree to a String.
    
    Overrides:
    
    toString in class java.lang.Object
  - getDepth
```
public abstract int getDepth()
```
    Returns the depth of the expression tree.
  - getSize
```
public abstract int getSize()
```
    Returns the number of internal nodes in the tree.
  - hasVar
```
public abstract boolean hasVar(Var var)
```
    Whether the variable var occurs in the tree.
  - hasVar
```
public boolean hasVar(java.lang.String var)
```
  - fillVars
```
protected abstract void fillVars(java.util.HashSet<Var> set)
```
    Used internally for getVars.
  - getVars
```
public Var[] getVars()
```
    Returns the list of all occurring variables.
    The ordering is unspecified.
  - isIntervalCst
```
public abstract boolean isIntervalCst()
```
    Whether the expression is constant.
  - isIntervalLinear
```
public abstract boolean isIntervalLinear()
```
    Whether the expression is linear with interval or scalar coefficients, and there is no rounding.
  - isIntervalPolynomial
```
public abstract boolean isIntervalPolynomial()
```
    Whether the expression is polynomial, with interval or scalar coefficients, and there is no rounding.
  - isIntervalPolyfrac
```
public abstract boolean isIntervalPolyfrac()
```
    Whether the expression is a polynomial fraction, with interval or scalar coefficients, and there is no rounding.
  - isScalar
```
public abstract boolean isScalar()
```
    Whether all coefficients are scalar (non interval).
  - substitute
```
public abstract Texpr1Node substitute(Var var,
                                      Texpr1Node t)
```
    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.
  - substitute
```
public Texpr1Node substitute(java.lang.String var,
                             Texpr1Node t)
```
  - substituteCopy
```
public Texpr1Node substituteCopy(Var var,
                                 Texpr1Node t)
```
    Returns a copy of this where all occurrences of the variable var are substituted with the expression tree t.
  - substituteCopy
```
public Texpr1Node substituteCopy(java.lang.String var,
                                 Texpr1Node t)
```
  - hashCode
```
public abstract int hashCode()
```
    Recursive hashing.
    
    Overrides:
    
    hashCode in class java.lang.Object
  - isEqual
```
public abstract boolean isEqual(Texpr1Node t)
```
    Structural (recursive) equality.
  - getPrecedence
```
public abstract int getPrecedence()
```
    Precedence of the node, used when printing.
  - equals
```
public abstract boolean equals(java.lang.Object x)
```
    Whether x is a Texpr1 tree and structurally equal to this.
    
    Overrides:
    
    equals in class java.lang.Object
  - clone
```
public Texpr1Node clone()
```
    Returns a deep copy of this.
    
    Overrides:
    
    clone in class java.lang.Object

Class Texpr1Node

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

RTYPE_REAL

RTYPE_INT

RTYPE_SINGLE

RTYPE_DOUBLE

RTYPE_EXTENDED

RTYPE_QUAD

RDIR_NEAREST

RDIR_ZERO

RDIR_UP

RDIR_DOWN

RDIR_RND

Constructor Detail

Texpr1Node

Method Detail

shallowCopy

deepCopy

fromLinexpr1

toTexpr0Node

toString

getDepth

getSize

hasVar

hasVar

fillVars

getVars

isIntervalCst

isIntervalLinear

isIntervalPolynomial

isIntervalPolyfrac

isScalar

substitute

substitute

substituteCopy

substituteCopy

hashCode

isEqual

getPrecedence

equals

clone