Texpr1BinNode

java.lang.Object
- apron.Texpr1Node
- - apron.Texpr1BinNode

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable
```
public class Texpr1BinNode
extends Texpr1Node
implements java.lang.Cloneable, java.io.Serializable
```
Class of binary operator nodes in Texpr1Node level 1 expression trees.

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type	Field and Description
`Texpr1Node`	`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.
`Texpr1Node`	`rArg` Right argument.
`int`	`rdir` Rounding direction (`Texpr1Node.RDIR_NEAREST`, etc.).
`int`	`rtype` Rounding type (`Texpr1Node.RTYPE_REAL`, etc).

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

Method Summary

All Methods Instance Methods Concrete Methods
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.
`int`	`getDepth()` Returns the depth of the expression tree.
`Texpr1Node`	`getLeftArgument()`
`int`	`getOperation()`
`int`	`getPrecedence()` Precedence of the node, used when printing.
`Texpr1Node`	`getRightArgument()`
`int`	`getRoundingDirection()`
`int`	`getRoundingType()`
`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`	`setLeftArgument(Texpr1Node n)`
`void`	`setOperation(int o)`
`void`	`setRightArgument(Texpr1Node n)`
`void`	`setRoundingDirection(int d)`
`void`	`setRoundingType(int t)`
`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
  - op
```
public int op
```
    Operation (OP_ADD, etc.).
  - rtype
```
public int rtype
```
    Rounding type (Texpr1Node.RTYPE_REAL, etc).
  - rdir
```
public int rdir
```
    Rounding direction (Texpr1Node.RDIR_NEAREST, etc.).
  - lArg
```
public Texpr1Node lArg
```
    Left argument.
  - rArg
```
public Texpr1Node 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
  - Texpr1BinNode
```
public Texpr1BinNode(int o,
                     int rtyp,
                     int rdi,
                     Texpr1Node lAr,
                     Texpr1Node 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.
  - Texpr1BinNode
```
public Texpr1BinNode(int o,
                     Texpr1Node lAr,
                     Texpr1Node 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
  - 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
  - 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 Texpr1Node getLeftArgument()
```
  - setLeftArgument
```
public void setLeftArgument(Texpr1Node n)
```
  - getRightArgument
```
public Texpr1Node getRightArgument()
```
  - setRightArgument
```
public void setRightArgument(Texpr1Node n)
```
  - 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

Class Texpr1BinNode

Field Summary

Fields inherited from class apron.Texpr1Node

Constructor Summary

Method Summary

Methods inherited from class apron.Texpr1Node

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

Texpr1BinNode

Texpr1BinNode

Method Detail

shallowCopy

deepCopy

toTexpr0Node

toString

getOperation

setOperation

getRoundingType

setRoundingType

getRoundingDirection

setRoundingDirection

getLeftArgument

setLeftArgument

getRightArgument

setRightArgument

getDepth

getSize

hasVar

fillVars

isIntervalCst

isIntervalLinear

isIntervalPolynomial

isIntervalPolyfrac

isScalar

substitute

hashCode

isEqual

getPrecedence

equals