edu.toronto.cs.tp.cvcl
Class Proof

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

public class Proof
extends java.lang.Object


Field Summary
protected  boolean swigCMemOwn
           
 
Constructor Summary
protected Proof()
           
protected Proof(long cPtr, boolean cMemoryOwn)
           
 
Method Summary
 void delete()
           
protected static long getCPtr(Proof obj)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

swigCMemOwn

protected boolean swigCMemOwn
Constructor Detail

Proof

protected Proof(long cPtr,
                boolean cMemoryOwn)

Proof

protected Proof()
Method Detail

delete

public void delete()

getCPtr

protected static long getCPtr(Proof obj)

toString

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