Uses of Class
edu.toronto.cs.tp.cvcl.Proof

Packages that use Proof
edu.toronto.cs.tp.cvcl   
 

Uses of Proof in edu.toronto.cs.tp.cvcl
 

Methods in edu.toronto.cs.tp.cvcl that return Proof
 Proof Theorem3.getProof()
           
 Proof ValidityChecker.getProof()
           
 Proof ValidityChecker.getProofClosure()
           
 Proof ValidityChecker.getProofTCC()
           
 

Methods in edu.toronto.cs.tp.cvcl with parameters of type Proof
protected static long Proof.getCPtr(Proof obj)