edu.toronto.cs.proof
Interface ProofStrategy

All Known Subinterfaces:
DisjProofStrategy
All Known Implementing Classes:
GenericDisjStrategy, Simple2ValDisjStrategy

public interface ProofStrategy


Method Summary
 java.util.BitSet choosePaths(AlgebraValue[] vals, CTLNode[] props)
           
 

Method Detail

choosePaths

java.util.BitSet choosePaths(AlgebraValue[] vals,
                             CTLNode[] props)