public class Texpr1VarNode extends Texpr1Node implements java.lang.Cloneable, java.io.Serializable
Texpr1Node level 1
expression trees.
A variable is represented as a Var name.
| Modifier and Type | Field and Description |
|---|---|
Var |
var
Variable name.
|
RDIR_DOWN, RDIR_NEAREST, RDIR_RND, RDIR_UP, RDIR_ZERO, RTYPE_DOUBLE, RTYPE_EXTENDED, RTYPE_INT, RTYPE_QUAD, RTYPE_REAL, RTYPE_SINGLE| Constructor and Description |
|---|
Texpr1VarNode(java.lang.String v)
Constructs a new variable leaf.
|
Texpr1VarNode(Var v) |
| 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.
|
int |
getPrecedence()
Precedence of the node, used when printing.
|
int |
getSize()
Returns the number of internal nodes in the tree.
|
Var |
getVariable() |
int |
hashCode()
Recursive hashing.
|
boolean |
hasVar(Var v)
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 |
setVariable(java.lang.String v) |
void |
setVariable(Var v) |
Texpr1Node |
shallowCopy()
Shallow copy.
|
Texpr1Node |
substitute(java.lang.String v,
Texpr1Node t) |
Texpr1Node |
substitute(Var v,
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.
|
clone, fromLinexpr1, getVars, hasVar, substituteCopy, substituteCopypublic Var var
public Texpr1VarNode(java.lang.String v)
public Texpr1VarNode(Var v)
public Texpr1Node shallowCopy()
Texpr1NodeshallowCopy in class Texpr1Nodepublic Texpr1Node deepCopy()
Texpr1NodedeepCopy in class Texpr1Nodepublic Texpr0Node toTexpr0Node(Environment e)
Texpr1NodetoTexpr0Node in class Texpr1Nodepublic java.lang.String toString()
Texpr1NodetoString in class Texpr1Nodepublic Var getVariable()
public void setVariable(java.lang.String v)
public void setVariable(Var v)
public int getDepth()
Texpr1NodegetDepth in class Texpr1Nodepublic int getSize()
Texpr1NodegetSize in class Texpr1Nodepublic boolean hasVar(Var v)
Texpr1NodehasVar in class Texpr1Nodeprotected void fillVars(java.util.HashSet<Var> set)
Texpr1NodefillVars in class Texpr1Nodepublic boolean isIntervalCst()
Texpr1NodeisIntervalCst in class Texpr1Nodepublic boolean isIntervalLinear()
Texpr1NodeisIntervalLinear in class Texpr1Nodepublic boolean isIntervalPolynomial()
Texpr1NodeisIntervalPolynomial in class Texpr1Nodepublic boolean isIntervalPolyfrac()
Texpr1NodeisIntervalPolyfrac in class Texpr1Nodepublic boolean isScalar()
Texpr1NodeisScalar in class Texpr1Nodepublic Texpr1Node substitute(java.lang.String v, Texpr1Node t)
substitute in class Texpr1Nodepublic Texpr1Node substitute(Var v, Texpr1Node t)
Texpr1Nodethis 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 in class Texpr1Nodepublic int hashCode()
Texpr1NodehashCode in class Texpr1Nodepublic boolean isEqual(Texpr1Node t)
Texpr1NodeisEqual in class Texpr1Nodepublic int getPrecedence()
Texpr1NodegetPrecedence in class Texpr1Nodepublic boolean equals(java.lang.Object x)
Texpr1Nodeequals in class Texpr1Node