|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DisjProofStrategy | |
---|---|
edu.toronto.cs.proof | Provides classes for representing, manipulating, and constructing proofs for CTL formulas (OLD) |
Uses of DisjProofStrategy in edu.toronto.cs.proof |
---|
Classes in edu.toronto.cs.proof that implement DisjProofStrategy | |
---|---|
class |
GenericDisjStrategy
|
class |
Simple2ValDisjStrategy
|
Constructors in edu.toronto.cs.proof with parameters of type DisjProofStrategy | |
---|---|
DisjProofStep(AlgebraValue _v,
MvSet _state,
java.lang.String stateName,
CTLNode _consequent,
DisjProofStrategy _strategy)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |