|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use StateNameGenerator | |
---|---|
edu.toronto.cs.proof | Provides classes for representing, manipulating, and constructing proofs for CTL formulas (OLD) |
Uses of StateNameGenerator in edu.toronto.cs.proof |
---|
Classes in edu.toronto.cs.proof that implement StateNameGenerator | |
---|---|
class |
SimpleNameGenerator
|
Methods in edu.toronto.cs.proof that return StateNameGenerator | |
---|---|
static StateNameGenerator |
ProofStepFactory.getSNG()
|
Methods in edu.toronto.cs.proof with parameters of type StateNameGenerator | |
---|---|
static void |
ProofStepFactory.setSNG(StateNameGenerator _sng)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |