Uses of Class
edu.toronto.cs.grappa.GrappaGraph

Packages that use GrappaGraph
edu.toronto.cs.grappa An interface to Grappa graph drawing package 
edu.toronto.cs.proof Provides classes for representing, manipulating, and constructing proofs for CTL formulas (OLD) 
edu.toronto.cs.proof2 Provides classes for representing, manipulating, and constructing proofs for CTL formulas (NEW) 
 

Uses of GrappaGraph in edu.toronto.cs.grappa
 

Methods in edu.toronto.cs.grappa that return GrappaGraph
 GrappaGraph GrappaGraph.center(boolean v)
           
 GrappaGraph GrappaGraph.editable(boolean v)
           
 GrappaGraph GrappaGraph.errorWriter(java.io.OutputStream v)
           
 GrappaGraph GrappaGraph.errorWriter(java.io.PrintWriter w)
           
 GrappaGraph GrappaGraph.orientation(java.lang.String s)
          graph attributes
 GrappaGraph GrappaGraph.size(java.lang.String v)
           
 

Uses of GrappaGraph in edu.toronto.cs.proof
 

Methods in edu.toronto.cs.proof that return GrappaGraph
static GrappaGraph ProofToGrappa.toGrappa(ProofStep ps)
           
 

Uses of GrappaGraph in edu.toronto.cs.proof2
 

Methods in edu.toronto.cs.proof2 that return GrappaGraph
static GrappaGraph ProofToGrappa.toGrappa(ProofStep ps, MvSetModelChecker _mc)
           
static GrappaGraph ProofToGrappa.toGrappaState(ProofStep ps, MvSetModelChecker _mc)