edu.toronto.cs.tp.cvcl
Class Theorem3
java.lang.Object
edu.toronto.cs.tp.cvcl.Theorem3
public class Theorem3
- extends java.lang.Object
Constructor Summary |
protected |
Theorem3()
|
protected |
Theorem3(long cPtr,
boolean cMemoryOwn)
|
Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
swigCMemOwn
protected boolean swigCMemOwn
Theorem3
protected Theorem3(long cPtr,
boolean cMemoryOwn)
Theorem3
protected Theorem3()
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()