|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |