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
    An Edge represents a directed edge in DOT.
    Element
    An Element object is an object that has a name and attributes.
    Graph
    This class provides graphs in DOT.
    Node
    A Node represents a node of a directed graph in DOT.