Uses of Interface
edu.toronto.cs.proof.StateNameGenerator

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)