edu.toronto.cs.tp.cvcl
Class Theorem3

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

public class Theorem3
extends java.lang.Object


Field Summary
protected  boolean swigCMemOwn
           
 
Constructor Summary
protected Theorem3()
           
protected Theorem3(long cPtr, boolean cMemoryOwn)
           
 
Method Summary
 void delete()
           
protected  void finalize()
           
protected static long getCPtr(Theorem3 obj)
           
 Expr getExpr()
           
 Expr getLHS()
           
 Proof getProof()
           
 Expr getRHS()
           
 int getScope()
           
 boolean isAxiom()
           
 boolean isLiteral()
           
 boolean isNull()
           
 boolean isRewrite()
           
 void print()
           
 void printx()
           
 java.lang.String toString()
           
 boolean withAssumptions()
           
 boolean withProof()
           
 
Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

swigCMemOwn

protected boolean swigCMemOwn
Constructor Detail

Theorem3

protected Theorem3(long cPtr,
                   boolean cMemoryOwn)

Theorem3

protected Theorem3()
Method Detail

finalize

protected void finalize()
Overrides:
finalize in class java.lang.Object

delete

public void delete()

getCPtr

protected static long getCPtr(Theorem3 obj)

isNull

public boolean isNull()

isRewrite

public boolean isRewrite()

isAxiom

public boolean isAxiom()

getExpr

public Expr getExpr()

getLHS

public Expr getLHS()

getRHS

public Expr getRHS()

getProof

public Proof getProof()

withProof

public boolean withProof()

withAssumptions

public boolean withAssumptions()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

printx

public void printx()

print

public void print()

isLiteral

public boolean isLiteral()

getScope

public int getScope()