public final class Expr
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
Expr.Reduced
Class for holding a reduced expression that is represented by the formula:
constant + polynomial, where constant is a constant integer value and
polynomial is expression that cannot be reduced any further.
|
Constructor and Description |
---|
Expr(Expr other) |
Expr(ru.ispras.fortress.expression.Node node) |
Modifier and Type | Method and Description |
---|---|
java.math.BigInteger |
bigIntegerValue() |
boolean |
equals(java.lang.Object obj) |
ru.ispras.fortress.expression.Node |
getNode() |
NodeInfo |
getNodeInfo() |
int |
integerValue() |
boolean |
isConstant() |
boolean |
isInternalVariable() |
boolean |
isTypeOf(Type otherType) |
boolean |
isTypeOf(TypeId typeId) |
Expr.Reduced |
reduce()
Transforms the expression to the format: polynomial + constant, where polynomial is some
expression that could not be further simplified and constant is an integer constant value.
|
void |
setNodeInfo(NodeInfo nodeInfo) |
java.lang.String |
toString() |
public Expr(ru.ispras.fortress.expression.Node node)
public Expr(Expr other)
public boolean isConstant()
public boolean isInternalVariable()
public boolean isTypeOf(TypeId typeId)
public boolean isTypeOf(Type otherType)
public ru.ispras.fortress.expression.Node getNode()
public NodeInfo getNodeInfo()
public void setNodeInfo(NodeInfo nodeInfo)
public int integerValue()
public java.math.BigInteger bigIntegerValue()
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public Expr.Reduced reduce()
public java.lang.String toString()
toString
in class java.lang.Object