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

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)