edu.toronto.cs.proof
Interface DisjProofStrategy

All Superinterfaces:
ProofStrategy
All Known Implementing Classes:
GenericDisjStrategy, Simple2ValDisjStrategy

public interface DisjProofStrategy
extends ProofStrategy


Method Summary
 
Methods inherited from interface edu.toronto.cs.proof.ProofStrategy
choosePaths