Uses of Interface
edu.toronto.cs.proof.ProofStrategy

Packages that use ProofStrategy
edu.toronto.cs.proof Provides classes for representing, manipulating, and constructing proofs for CTL formulas (OLD) 
 

Uses of ProofStrategy in edu.toronto.cs.proof
 

Subinterfaces of ProofStrategy in edu.toronto.cs.proof
 interface DisjProofStrategy
           
 

Classes in edu.toronto.cs.proof that implement ProofStrategy
 class GenericDisjStrategy
           
 class Simple2ValDisjStrategy
           
 

Methods in edu.toronto.cs.proof that return ProofStrategy
static ProofStrategy ProofStrategyCatalog.getStrategy(java.lang.String tag)