Texpr1UnNode

java.lang.Object
- apron.Texpr1Node
- - apron.Texpr1UnNode

All Implemented Interfaces:

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

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type	Field and Description
`Texpr1Node`	`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 (`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
`Texpr1UnNode(int o, int rtyp, int rdi, Texpr1Node ar)` Creates a new unary operator node, with the specified operator, rounding type, rounding direction, and argument.
`Texpr1UnNode(int o, Texpr1Node ar)` Creates a new unary operator node, with the specified operator, and argument, 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.
`Texpr1Node`	`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.
`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`	`setArgument(Texpr1Node n)`
`void`	`setOperation(int o)`
`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_NEG, etc.).
  - rtype
```
public int rtype
```
    Rounding type (Texpr1Node.RTYPE_REAL, etc).
  - rdir
```
public int rdir
```
    Rounding direction (Texpr1Node.RDIR_NEAREST, etc.).
  - arg
```
public Texpr1Node 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
  - Texpr1UnNode
```
public Texpr1UnNode(int o,
                    int rtyp,
                    int rdi,
                    Texpr1Node ar)
```
    Creates a new unary operator node, with the specified operator, rounding type, rounding direction, and argument.
    The subtree argument is referenced, not copied.
  - Texpr1UnNode
```
public Texpr1UnNode(int o,
                    Texpr1Node 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
  - 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)
```
  - getArgument
```
public Texpr1Node getArgument()
```
  - setArgument
```
public void setArgument(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 Texpr1UnNode

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

arg

OP_NEG

OP_CAST

OP_SQRT

Constructor Detail

Texpr1UnNode

Texpr1UnNode

Method Detail

shallowCopy

deepCopy

toTexpr0Node

toString

getOperation

setOperation

getRoundingType

setRoundingType

getRoundingDirection

setRoundingDirection

getArgument

setArgument

getDepth

getSize

hasVar

fillVars

isIntervalCst

isIntervalLinear

isIntervalPolynomial

isIntervalPolyfrac

isScalar

substitute

hashCode

isEqual

getPrecedence

equals