Package edu.uci.ics.jung.graph.impl

Examples of edu.uci.ics.jung.graph.impl.DirectedSparseGraph.addUserDatum()

1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
                            {
                              Configuration config = Configuration.getDefaultConfiguration().copy();
                              LearnerGraphND machine = new LearnerGraphND(config);Synapse.StatechumProcess.parseStatemachine(message.elementAt(2),machine,null,true);
                              DirectedSparseGraph fsmPicture = machine.pathroutines.getGraph();
                              if (!fsmPicture.containsUserDatumKey(JUConstants.LAYOUTOPTIONS))
                                fsmPicture.addUserDatum(JUConstants.LAYOUTOPTIONS,new LayoutOptions(), UserData.SHARED);
                              int windowNumber = setOptions(message,3,fsmPicture);
                              if (windowNumber >= 0)
                                Visualiser.updateFrameWithPos(fsmPicture,windowNumber);

                              outcome = new OtpErlangTuple(new OtpErlangObject[]{ref,msgOk});
View Full Code Here
1809
1810
1811
1812
1813
1814
1815
1816
1817
1818
1819
    Map<String,String> labelling = new TreeMap<String,String>();
    for(Entry<VertexID,VertexID> entry:oldVerticesToNew.entrySet())
      labelling.put(entry.getKey().toString(),entry.getValue().toString());
    DirectedSparseGraph gr = outcome.pathroutines.getGraph();
   
    gr.addUserDatum(JUConstants.VERTEX, labelling, UserData.SHARED);
    gr.addUserDatum(JUConstants.EDGE, transitionAnnotation, UserData.SHARED);
    return gr;
  }
} 
 
View Full Code Here
1810
1811
1812
1813
1814
1815
1816
1817
1818
1819
    for(Entry<VertexID,VertexID> entry:oldVerticesToNew.entrySet())
      labelling.put(entry.getKey().toString(),entry.getValue().toString());
    DirectedSparseGraph gr = outcome.pathroutines.getGraph();
   
    gr.addUserDatum(JUConstants.VERTEX, labelling, UserData.SHARED);
    gr.addUserDatum(JUConstants.EDGE, transitionAnnotation, UserData.SHARED);
    return gr;
  }
} 
 
View Full Code Here
1910
1911
1912
1913
1914
1915
1916
1917
1918
1919
1920
    Map<String,String> labelling = new TreeMap<String,String>();
    for(Entry<VertexID,VertexID> entry:oldVerticesToNew.entrySet())
      labelling.put(entry.getKey().toString(),entry.getValue().toString());
    DirectedSparseGraph gr = outcome.pathroutines.getGraph();
   
    gr.addUserDatum(JUConstants.VERTEX, labelling, UserData.SHARED);
    gr.addUserDatum(JUConstants.EDGE, transitionAnnotation, UserData.SHARED);
    return gr;
  }
} 
 
View Full Code Here
1911
1912
1913
1914
1915
1916
1917
1918
1919
1920
    for(Entry<VertexID,VertexID> entry:oldVerticesToNew.entrySet())
      labelling.put(entry.getKey().toString(),entry.getValue().toString());
    DirectedSparseGraph gr = outcome.pathroutines.getGraph();
   
    gr.addUserDatum(JUConstants.VERTEX, labelling, UserData.SHARED);
    gr.addUserDatum(JUConstants.EDGE, transitionAnnotation, UserData.SHARED);
    return gr;
  }
} 
 
View Full Code Here
269
270
271
272
273
274
275
276
277
278
279
      public void pairCompatibility(String stateA, PAIRCOMPATIBILITY pairRelation, String stateB) {
        PairCompatibility<Vertex> pairCompatibility = (PairCompatibility<Vertex>)g.getUserDatum(JUConstants.PAIR_COMPATIBILITY);
        if (pairCompatibility == null)
        {
          pairCompatibility = new PairCompatibility<Vertex>(config.getMaxStateNumber());
          g.addUserDatum(JUConstants.PAIR_COMPATIBILITY, pairCompatibility, UserData.SHARED);
        }
        if (!existingVertices.containsKey(stateA))
          throw new IllegalArgumentException("unknown vertex "+stateA);
        if (!existingVertices.containsKey(stateB))
          throw new IllegalArgumentException("unknown vertex "+stateB);
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
      vertexExtraLabel.put(vert.toString(), "\n"+counter+" seq");
    }
    //System.out.println(transitionsUsedInC+"\n###################\n"+vertexExtraLabel);
   
    DirectedSparseGraph gr = graph.pathroutines.getGraph();
    gr.addUserDatum(JUConstants.VERTEX, vertexExtraLabel, UserData.CLONE);
    gr.addUserDatum(JUConstants.EDGE, transitionsUsedInC, UserData.CLONE);
   
    GD gd = new GD();
    int counter = 0;
View Full Code Here
75
76
77
78
79
80
81
82
83
84
85
    }
    //System.out.println(transitionsUsedInC+"\n###################\n"+vertexExtraLabel);
   
    DirectedSparseGraph gr = graph.pathroutines.getGraph();
    gr.addUserDatum(JUConstants.VERTEX, vertexExtraLabel, UserData.CLONE);
    gr.addUserDatum(JUConstants.EDGE, transitionsUsedInC, UserData.CLONE);
   
    GD gd = new GD();
    int counter = 0;

    DirectedSparseGraph aGraph = gd.showGD(
View Full Code Here
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
                            {
                              Configuration config = Configuration.getDefaultConfiguration().copy();
                              LearnerGraphND machine = new LearnerGraphND(config);Synapse.StatechumProcess.parseStatemachine(message.elementAt(2),machine,null,true);
                              DirectedSparseGraph fsmPicture = machine.pathroutines.getGraph();
                              if (!fsmPicture.containsUserDatumKey(JUConstants.LAYOUTOPTIONS))
                                fsmPicture.addUserDatum(JUConstants.LAYOUTOPTIONS,new LayoutOptions(), UserData.SHARED);
                              int windowNumber = setOptions(message,3,fsmPicture);
                              if (windowNumber >= 0)
                                Visualiser.updateFrameWithPos(fsmPicture,windowNumber);

                              outcome = new OtpErlangTuple(new OtpErlangObject[]{ref,msgOk});
View Full Code Here
284
285
286
287
288
289
290
291
292
293
294
      updateAnnotationsWithColour(outcome, added, transitionAnnotation, Color.GREEN);
      updateAnnotationsWithColour(outcome, removed, transitionAnnotation, Color.RED);
      DeterministicDirectedSparseGraph.findInitial(outcome).removeUserDatum(JUConstants.INITIAL);
      DeterministicDirectedSparseGraph.findVertexNamed(added.getInit(),outcome).addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
      Visualiser.LayoutOptions options = new Visualiser.LayoutOptions();options.showDIFF=true;
      outcome.addUserDatum(JUConstants.LAYOUTOPTIONS,options, UserData.SHARED);
      return outcome;
    }


  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.