edu.toronto.cs.tp.cvcl
Class Expr
java.lang.Object
edu.toronto.cs.tp.cvcl.Expr
public class Expr
- extends java.lang.Object
Constructor Summary |
|
Expr()
|
|
Expr(Expr e)
|
|
Expr(ExprManager em,
int kind)
|
|
Expr(ExprManager em,
int kind,
CVectorExpr children)
|
|
Expr(ExprManager em,
int kind,
Expr child)
|
|
Expr(ExprManager em,
int kind,
Expr child0,
Expr child1)
|
|
Expr(ExprManager em,
int kind,
Expr child0,
Expr child1,
Expr child2)
|
|
Expr(ExprManager em,
Op op)
|
|
Expr(ExprManager em,
Op op,
CVectorExpr children)
|
|
Expr(ExprManager em,
Op op,
Expr child)
|
|
Expr(ExprManager em,
Op op,
Expr child0,
Expr child1)
|
|
Expr(ExprManager em,
Op op,
Expr child0,
Expr child1,
Expr child2)
|
protected |
Expr(long cPtr,
boolean cMemoryOwn)
|
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
swigCMemOwn
protected boolean swigCMemOwn
Expr
protected Expr(long cPtr,
boolean cMemoryOwn)
Expr
public Expr()
Expr
public Expr(Expr e)
Expr
public Expr(ExprManager em,
Op op)
Expr
public Expr(ExprManager em,
Op op,
Expr child)
Expr
public Expr(ExprManager em,
Op op,
Expr child0,
Expr child1)
Expr
public Expr(ExprManager em,
Op op,
Expr child0,
Expr child1,
Expr child2)
Expr
public Expr(ExprManager em,
Op op,
CVectorExpr children)
Expr
public Expr(ExprManager em,
int kind)
Expr
public Expr(ExprManager em,
int kind,
Expr child)
Expr
public Expr(ExprManager em,
int kind,
Expr child0,
Expr child1)
Expr
public Expr(ExprManager em,
int kind,
Expr child0,
Expr child1,
Expr child2)
Expr
public Expr(ExprManager em,
int kind,
CVectorExpr children)
delete
public void delete()
getCPtr
protected static long getCPtr(Expr obj)
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in class java.lang.Object
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object
getIndex
public java.math.BigInteger getIndex()
getRational
public Rational getRational()
arity
public int arity()
getKind
public int getKind()
hasOp
public boolean hasOp()
getOp
public Expr getOp()
isFalse
public boolean isFalse()
isTrue
public boolean isTrue()
isBoolConst
public boolean isBoolConst()
isVar
public boolean isVar()
isString
public boolean isString()
isClosure
public boolean isClosure()
isQuantifier
public boolean isQuantifier()
isLambda
public boolean isLambda()
isApply
public boolean isApply()
isRecord
public boolean isRecord()
isRecordAccess
public boolean isRecordAccess()
isTupleAccess
public boolean isTupleAccess()
isGeneric
public int isGeneric()
isGeneric
public boolean isGeneric(int idx)
isEq
public boolean isEq()
isNot
public boolean isNot()
isAnd
public boolean isAnd()
isOr
public boolean isOr()
isITE
public boolean isITE()
isIff
public boolean isIff()
isImpl
public boolean isImpl()
isForall
public boolean isForall()
isExists
public boolean isExists()
isRational
public boolean isRational()
isNull
public boolean isNull()
eqExpr
public Expr eqExpr(Expr right)
notExpr
public Expr notExpr()
negate
public Expr negate()
andExpr
public Expr andExpr(Expr right)
andExpr
public static Expr andExpr(CVectorExpr children)
orExpr
public Expr orExpr(Expr right)
orExpr
public static Expr orExpr(CVectorExpr children)
iteExpr
public Expr iteExpr(Expr thenpart,
Expr elsepart)
iffExpr
public Expr iffExpr(Expr right)
impExpr
public Expr impExpr(Expr right)
assign
public Expr assign(Expr e)
get
public Expr get(int i)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
equal
public boolean equal(Expr e1,
Expr e)
computeHashCode
public int computeHashCode(Expr e)