|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |