Texpr0BinNode

java.lang.Object
- apron.Texpr0Node
- - apron.Texpr0BinNode

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable
```
public class Texpr0BinNode
extends Texpr0Node
implements java.lang.Cloneable, java.io.Serializable
```
Class of binary operator nodes in Texpr0Node level 0 expression trees.

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type	Field and Description
`Texpr0Node`	`lArg` Left argument.
`int`	`op` Operation (`OP_ADD`, etc.).
`static int`	`OP_ADD` Addition.
`static int`	`OP_DIV` Division.
`static int`	`OP_MOD` Modulo (for integers or reals).
`static int`	`OP_MUL` Multiplication.
`static int`	`OP_POW` Power.
`static int`	`OP_SUB` Subtraction.
`Texpr0Node`	`rArg` Right argument.
`int`	`rdir` Rounding direction (`Texpr0Node.RDIR_NEAREST`, etc.).
`int`	`rtype` Rounding type (`Texpr0Node.RTYPE_REAL`, etc).

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
`Texpr0BinNode(int o, int rtyp, int rdi, Texpr0Node lAr, Texpr0Node rAr)` Creates a new binary operator node, with the specified operator, rounding type, rounding direction, left and right arguments.
`Texpr0BinNode(int o, Texpr0Node lAr, Texpr0Node rAr)` Creates a new binary operator node, with the specified operator, and left and right arguments, and no rounding.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
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.
`Texpr0Node`	`getLeftArgument()`
`int`	`getOperation()`
`int`	`getPrecedence()` Precedence of the node, used when printing.
`Texpr0Node`	`getRightArgument()`
`int`	`getRoundingDirection()`
`int`	`getRoundingType()`
`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.
`static java.lang.String`	`opName(int op)` Returns a String representation of an operator.
`static int`	`opPrecedence(int op)` Returns the precedence of an operator, used for printing.
`void`	`permuteDimensions(Dimperm p)` Permutes some dimensions in the expression.
`Texpr0Node`	`removeDimensions(Dimchange c)` Removes some dimensions and shifts coefficients accordingly this is modified in-place.
`void`	`setLeftArgument(Texpr0Node n)`
`void`	`setOperation(int o)`
`void`	`setRightArgument(Texpr0Node n)`
`void`	`setRoundingDirection(int d)`
`void`	`setRoundingType(int t)`
`Texpr0Node`	`shallowCopy()` Shallow copy.
`Texpr0Node`	`substitute(int dim, 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
  - op
```
public int op
```
    Operation (OP_ADD, etc.).
  - rtype
```
public int rtype
```
    Rounding type (Texpr0Node.RTYPE_REAL, etc).
  - rdir
```
public int rdir
```
    Rounding direction (Texpr0Node.RDIR_NEAREST, etc.).
  - lArg
```
public Texpr0Node lArg
```
    Left argument.
  - rArg
```
public Texpr0Node rArg
```
    Right argument.
  - OP_ADD
```
public static final int OP_ADD
```
    Addition.
    
    See Also:
    
    Constant Field Values
  - OP_SUB
```
public static final int OP_SUB
```
    Subtraction.
    
    See Also:
    
    Constant Field Values
  - OP_MUL
```
public static final int OP_MUL
```
    Multiplication.
    
    See Also:
    
    Constant Field Values
  - OP_DIV
```
public static final int OP_DIV
```
    Division.
    
    See Also:
    
    Constant Field Values
  - OP_MOD
```
public static final int OP_MOD
```
    Modulo (for integers or reals).
    
    See Also:
    
    Constant Field Values
  - OP_POW
```
public static final int OP_POW
```
    Power.
    
    See Also:
    
    Constant Field Values
- Constructor Detail
  - Texpr0BinNode
```
public Texpr0BinNode(int o,
                     int rtyp,
                     int rdi,
                     Texpr0Node lAr,
                     Texpr0Node rAr)
```
    Creates a new binary operator node, with the specified operator, rounding type, rounding direction, left and right arguments.
    The subtree arguments are referenced, not copied.
  - Texpr0BinNode
```
public Texpr0BinNode(int o,
                     Texpr0Node lAr,
                     Texpr0Node rAr)
```
    Creates a new binary operator node, with the specified operator, and left and right arguments, and no rounding.
    The subtree arguments are referenced, not copied.
- Method Detail
  - opName
```
public static java.lang.String opName(int op)
```
    Returns a String representation of an operator.
  - opPrecedence
```
public static int opPrecedence(int op)
```
    Returns the precedence of an operator, used for printing.
  - 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
  - getOperation
```
public int getOperation()
```
  - setOperation
```
public void setOperation(int o)
```
  - getRoundingType
```
public int getRoundingType()
```
  - setRoundingType
```
public void setRoundingType(int t)
```
  - getRoundingDirection
```
public int getRoundingDirection()
```
  - setRoundingDirection
```
public void setRoundingDirection(int d)
```
  - getLeftArgument
```
public Texpr0Node getLeftArgument()
```
  - setLeftArgument
```
public void setLeftArgument(Texpr0Node n)
```
  - getRightArgument
```
public Texpr0Node getRightArgument()
```
  - setRightArgument
```
public void setRightArgument(Texpr0Node n)
```
  - 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 dim,
                             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)
```
    Description copied from class: Texpr0Node
    
    Removes some dimensions and shifts coefficients accordingly
    this is modified in-place.
    As some nodes can change their kind (removed dimensions become [-oo,+oo] constants), a new root node is returned.
    
    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

Class Texpr0BinNode

Field Summary

Fields inherited from class apron.Texpr0Node

Constructor Summary

Method Summary

Methods inherited from class apron.Texpr0Node

Methods inherited from class java.lang.Object

Field Detail

op

rtype

rdir

lArg

rArg

OP_ADD

OP_SUB

OP_MUL

OP_DIV

OP_MOD

OP_POW

Constructor Detail

Texpr0BinNode

Texpr0BinNode

Method Detail

opName

opPrecedence

shallowCopy

deepCopy

toTexpr1Node

toString

getOperation

setOperation

getRoundingType

setRoundingType

getRoundingDirection

setRoundingDirection

getLeftArgument

setLeftArgument

getRightArgument

setRightArgument

getDepth

getSize

maxDim

hasDim

fillDims

isIntervalCst

isIntervalLinear

isIntervalPolynomial

isIntervalPolyfrac

isScalar

substitute

addDimensions

removeDimensions

permuteDimensions

hashCode

isEqual

getPrecedence

equals