Examples of nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph$ILVertex

nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
Vertices of IncidenceListGraph. The inheritance from FNSNode works the magic by which a vertex is also a position in the global vertex list. The vertex keeps a circularly linked list of its incident edges. The edges themselves contain the links that implement the list (and since each edge has two endpoints, it must have two sets of links). The vertex starts out with a dummy edge in order to avoid special-casing on empty lists and ends of lists. @see IncidenceListGraph

   *  That is, a reset has just been done.
   */
  protected void startBuildGraph()
  {
    assert fsmState != null;
    fsmGraph = new IncidenceListGraph();
    fsmVertex = new HashMap<Object,Vertex>();
    fsmDone = new HashMap<Object,BitSet>();
    fsmTodo = new HashMap<Object,BitSet>();
    // set up the initial state
    Vertex initial = fsmGraph.insertVertex(fsmState);

View Full Code Here

  {
    super.setModel(model);
    clearDoneTodo();
    Object curr = model_.getCurrentState(); //the initial state
    // set up the initial state
    fsmGraph_ = new IncidenceListGraph();
    fsmVertex_ = new HashMap<Object,Vertex>();
    Vertex initial = fsmGraph_.insertVertex(curr);
    assert initial != null;
    printProgress(3, "buildgraph: start with vertex for initial state "+curr);
    fsmVertex_.put(curr, initial);

View Full Code Here

TOP

Related Classes of nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph$ILVertex

nz.ac.waikato.jdsl.core.ref.NodeSequence

nz.ac.waikato.modeljunit.GraphListener

nz.ac.waikato.modeljunit.ModelTestCase

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.