edu.toronto.cs.tp.cvcl
Class Expr

java.lang.Object
  extended by edu.toronto.cs.tp.cvcl.Expr

public class Expr
extends java.lang.Object


Field Summary
protected  boolean swigCMemOwn
           
 
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)
           
 
Method Summary
static Expr andExpr(CVectorExpr children)
           
 Expr andExpr(Expr right)
           
 int arity()
           
 Expr assign(Expr e)
           
 int computeHashCode(Expr e)
           
 void delete()
           
 Expr eqExpr(Expr right)
           
 boolean equal(Expr e1, Expr e)
           
 boolean equals(java.lang.Object o)
           
 Expr get(int i)
           
protected static long getCPtr(Expr obj)
           
 java.math.BigInteger getIndex()
           
 int getKind()
           
 Expr getOp()
           
 Rational getRational()
           
 int hashCode()
           
 boolean hasOp()
           
 Expr iffExpr(Expr right)
           
 Expr impExpr(Expr right)
           
 boolean isAnd()
           
 boolean isApply()
           
 boolean isBoolConst()
           
 boolean isClosure()
           
 boolean isEq()
           
 boolean isExists()
           
 boolean isFalse()
           
 boolean isForall()
           
 int isGeneric()
           
 boolean isGeneric(int idx)
           
 boolean isIff()
           
 boolean isImpl()
           
 boolean isITE()
           
 boolean isLambda()
           
 boolean isNot()
           
 boolean isNull()
           
 boolean isOr()
           
 boolean isQuantifier()
           
 boolean isRational()
           
 boolean isRecord()
           
 boolean isRecordAccess()
           
 boolean isString()
           
 boolean isTrue()
           
 boolean isTupleAccess()
           
 boolean isVar()
           
 Expr iteExpr(Expr thenpart, Expr elsepart)
           
 Expr negate()
           
 Expr notExpr()
           
static Expr orExpr(CVectorExpr children)
           
 Expr orExpr(Expr right)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

swigCMemOwn

protected boolean swigCMemOwn
Constructor Detail

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)
Method Detail

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)