Package org.svvrl.goal.core.io.dot
-
Class Summary Class Description Attribute<T> This class provides attributes available in DOT.Comment This class provides comments in Dot.DotCodec This class provides a codec that can encode automata and games to the Graphviz Dot format.Edge AnEdge
represents a directed edge in DOT.Element AnElement
object is an object that has a name and attributes.Graph This class provides graphs in DOT.Node ANode
represents a node of a directed graph in DOT.