Texpr0UnNode

java.lang.Object
- apron.Texpr0Node
- - apron.Texpr0UnNode

All Implemented Interfaces:

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

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type	Field and Description
`Texpr0Node`	`arg` Argument.
`int`	`op` Operation (`OP_NEG`, etc.).
`static int`	`OP_CAST` Cast.
`static int`	`OP_NEG` Negation (no rounding).
`static int`	`OP_SQRT` Square root.
`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
`Texpr0UnNode(int o, int rtyp, int rdi, Texpr0Node ar)` Creates a new unary operator node, with the specified operator, rounding type, rounding direction, and argument.
`Texpr0UnNode(int o, Texpr0Node ar)` Creates a new unary operator node, with the specified operator, and argument, 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.
`Texpr0Node`	`getArgument()`
`int`	`getDepth()` Returns the depth of the expression tree.
`int`	`getOperation()`
`int`	`getPrecedence()` Precedence of the node, used when printing.
`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`	`setArgument(Texpr0Node n)`
`void`	`setOperation(int o)`
`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_NEG, etc.).
  - rtype
```
public int rtype
```
    Rounding type (Texpr0Node.RTYPE_REAL, etc).
  - rdir
```
public int rdir
```
    Rounding direction (Texpr0Node.RDIR_NEAREST, etc.).
  - arg
```
public Texpr0Node arg
```
    Argument.
  - OP_NEG
```
public static final int OP_NEG
```
    Negation (no rounding).
    
    See Also:
    
    Constant Field Values
  - OP_CAST
```
public static final int OP_CAST
```
    Cast.
    
    See Also:
    
    Constant Field Values
  - OP_SQRT
```
public static final int OP_SQRT
```
    Square root.
    
    See Also:
    
    Constant Field Values
- Constructor Detail
  - Texpr0UnNode
```
public Texpr0UnNode(int o,
                    int rtyp,
                    int rdi,
                    Texpr0Node ar)
```
    Creates a new unary operator node, with the specified operator, rounding type, rounding direction, and argument.
    The subtree argument is referenced, not copied.
  - Texpr0UnNode
```
public Texpr0UnNode(int o,
                    Texpr0Node ar)
```
    Creates a new unary operator node, with the specified operator, and argument, and no rounding.
    The subtree argument is 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)
```
  - getArgument
```
public Texpr0Node getArgument()
```
  - setArgument
```
public void setArgument(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 Texpr0UnNode

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

arg

OP_NEG

OP_CAST

OP_SQRT

Constructor Detail

Texpr0UnNode

Texpr0UnNode

Method Detail

opName

opPrecedence

shallowCopy

deepCopy

toTexpr1Node

toString

getOperation

setOperation

getRoundingType

setRoundingType

getRoundingDirection

setRoundingDirection

getArgument

setArgument

getDepth

getSize

maxDim

hasDim

fillDims

isIntervalCst

isIntervalLinear

isIntervalPolynomial

isIntervalPolyfrac

isScalar

substitute

addDimensions

removeDimensions

permuteDimensions

hashCode

isEqual

getPrecedence

equals