Package edu.toronto.cs.proof

Provides classes for representing, manipulating, and constructing proofs for CTL formulas (OLD)

See:
          Description

Interface Summary
DisjProofStrategy  
ProofStrategy  
ProofVisitor  
StateNameGenerator  
 

Class Summary
AbstractProofVisitor  
ConjProofStep  
DisjProofStep  
EGProofStep  
EUiProofStep  
EUProofStep  
EXProofStep  
GenericDisjStrategy  
GrappaNodePair A tuple class -- don't we have one in util package? in any case, can't we just use arrays for that?
LinearWitnessVisitor  
NegProofStep  
NodePair A tuple class -- don't we have one in util package? in any case, can't we just use arrays for that?
Proof  
ProofStep  
ProofStepFactory Factory to generate proof steps All proof steps should be inner classes of the factory The factory should probably be non-static based on how it is used.
ProofStepListModel  
ProofStrategyCatalog  
ProofToDaVinci  
ProofToGrappa  
ProofTreeModel  
PropProofStep  
Simple2ValDisjStrategy  
SimpleNameGenerator  
 

Package edu.toronto.cs.proof Description

Provides classes for representing, manipulating, and constructing proofs for CTL formulas (OLD)