|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use GrappaGraph.GrappaNode | |
---|---|
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.GrappaNode in edu.toronto.cs.grappa |
---|
Methods in edu.toronto.cs.grappa that return GrappaGraph.GrappaNode | |
---|---|
GrappaGraph.GrappaNode |
GrappaGraph.GrappaNode.border(java.lang.String type)
|
GrappaGraph.GrappaNode |
GrappaGraph.GrappaNode.color(java.awt.Color c)
|
GrappaGraph.GrappaNode |
GrappaGraph.GrappaNode.color(java.lang.String value)
|
GrappaGraph.GrappaNode |
GrappaGraph.GrappaNode.fontFamily(java.lang.String family)
|
GrappaGraph.GrappaNode |
GrappaGraph.GrappaNode.fontStyle(java.lang.String style)
|
GrappaGraph.GrappaNode |
GrappaGraph.GrappaNode.label(java.lang.String name)
|
GrappaGraph.GrappaNode |
GrappaGraph.node()
|
GrappaGraph.GrappaNode |
GrappaGraph.GrappaNode.shape(java.lang.String value)
|
GrappaGraph.GrappaNode |
GrappaGraph.GrappaNode.style(java.lang.String style)
|
Methods in edu.toronto.cs.grappa with parameters of type GrappaGraph.GrappaNode | |
---|---|
GrappaGraph.GrappaEdge |
GrappaGraph.GrappaNode.edge(GrappaGraph.GrappaNode tail)
|
Constructors in edu.toronto.cs.grappa with parameters of type GrappaGraph.GrappaNode | |
---|---|
GrappaGraph.GrappaEdge(GrappaGraph.GrappaNode head,
GrappaGraph.GrappaNode tail)
|
Uses of GrappaGraph.GrappaNode in edu.toronto.cs.proof |
---|
Fields in edu.toronto.cs.proof declared as GrappaGraph.GrappaNode | |
---|---|
GrappaGraph.GrappaNode |
GrappaNodePair.fst
|
GrappaGraph.GrappaNode |
GrappaNodePair.snd
|
Constructors in edu.toronto.cs.proof with parameters of type GrappaGraph.GrappaNode | |
---|---|
GrappaNodePair(GrappaGraph.GrappaNode _fst,
GrappaGraph.GrappaNode _snd)
|
Uses of GrappaGraph.GrappaNode in edu.toronto.cs.proof2 |
---|
Fields in edu.toronto.cs.proof2 declared as GrappaGraph.GrappaNode | |
---|---|
GrappaGraph.GrappaNode |
GrappaNodePair.fst
|
GrappaGraph.GrappaNode |
GrappaNodePair.snd
|
Constructors in edu.toronto.cs.proof2 with parameters of type GrappaGraph.GrappaNode | |
---|---|
GrappaNodePair(GrappaGraph.GrappaNode _fst,
GrappaGraph.GrappaNode _snd)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |