Uses of Class
edu.toronto.cs.davinci.DaVinciGraph.FullNode

Packages that use DaVinciGraph.FullNode
edu.toronto.cs.davinci Provides interface to DaVinci graph layout program 
edu.toronto.cs.mdd A library for Multi-valued Decision Diagrams (MDDs). 
edu.toronto.cs.proof Provides classes for representing, manipulating, and constructing proofs for CTL formulas (OLD) 
 

Uses of DaVinciGraph.FullNode in edu.toronto.cs.davinci
 

Methods in edu.toronto.cs.davinci that return DaVinciGraph.FullNode
 DaVinciGraph.FullNode DaVinciGraph.FullNode.border(java.lang.String type)
           
 DaVinciGraph.FullNode DaVinciGraph.FullNode.box(java.lang.String type)
           
 DaVinciGraph.FullNode DaVinciGraph.FullNode.color(java.lang.String value)
           
 DaVinciGraph.FullNode DaVinciGraph.FullNode.fontFamily(java.lang.String family)
           
 DaVinciGraph.FullNode DaVinciGraph.FullNode.fontStyle(java.lang.String style)
           
 DaVinciGraph.FullNode DaVinciGraph.FullNode.hidden(boolean hide)
           
 DaVinciGraph.FullNode DaVinciGraph.FullNode.label(java.lang.String name)
           
 DaVinciGraph.FullNode DaVinciGraph.node()
           
 

Methods in edu.toronto.cs.davinci with parameters of type DaVinciGraph.FullNode
 DaVinciGraph.RefNode DaVinciGraph.ref(DaVinciGraph.FullNode node)
           
 

Constructors in edu.toronto.cs.davinci with parameters of type DaVinciGraph.FullNode
DaVinciGraph.RefNode(DaVinciGraph.FullNode _node)
           
 

Uses of DaVinciGraph.FullNode in edu.toronto.cs.mdd
 

Methods in edu.toronto.cs.mdd that return DaVinciGraph.FullNode
 DaVinciGraph.FullNode MDDToDaVinci.toDavinciRecur(MDDNode node)
           
 

Uses of DaVinciGraph.FullNode in edu.toronto.cs.proof
 

Fields in edu.toronto.cs.proof declared as DaVinciGraph.FullNode
 DaVinciGraph.FullNode NodePair.fst
           
 DaVinciGraph.FullNode NodePair.snd
           
 

Constructors in edu.toronto.cs.proof with parameters of type DaVinciGraph.FullNode
NodePair(DaVinciGraph.FullNode _fst, DaVinciGraph.FullNode _snd)