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