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

Examples of edu.uci.ics.jung.graph.impl.DirectedSparseVertex

929
930
931
932
933
934
935
936
937
938
939
940
941
942
  @Test
  public final void testTestGeneration1a()
  {
    config.setAllowedToCloneNonCmpVertex(true);
    DirectedSparseGraph g = new DirectedSparseGraph();
    DirectedSparseVertex init = new DirectedSparseVertex();
    init.addUserDatum(JUConstants.LABEL, "A", UserData.SHARED);
    init.addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
    init.addUserDatum(JUConstants.ACCEPTED, true, UserData.SHARED);
    g.addVertex(init);
    checkTestGenerationResult(new LearnerGraph(g,config),0, new String[][] {
        new String[] {}
      });
  }
View Full Code Here
944
945
946
947
948
949
950
951
952
953
954
955
956
957
  @Test
  public final void testTestGeneration1b()
  {
    config.setAllowedToCloneNonCmpVertex(true);
    DirectedSparseGraph g = new DirectedSparseGraph();
    DirectedSparseVertex init = new DirectedSparseVertex();
    init.addUserDatum(JUConstants.LABEL, "A", UserData.SHARED);
    init.addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
    init.addUserDatum(JUConstants.ACCEPTED, true, UserData.SHARED);
    g.addVertex(init);
    checkTestGenerationResult(new LearnerGraph(g,config),2, new String[][] {
        new String[] {}
      });
  }
View Full Code Here
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
  private static final long serialVersionUID = -7258812066189916399L;
  private Map<String, DirectedSparseVertex> nodeMap;
  private DirectedSparseGraph graph;

  private DirectedSparseVertex getVertex(String node) {
    DirectedSparseVertex v = nodeMap.get(node);
    if (v == null) {
      v = new DirectedSparseVertex();
      v.addUserDatum(JUConstants.LABEL, node, UserData.CLONE);
      v.addUserDatum(JUConstants.COLOUR, JUConstants.BLUE, UserData.SHARED);
      graph.addVertex(v);
      nodeMap.put(node, v);
    }
    return v;
  }
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
        // load the module
        try {
          System.out.println("Loading " + f.getName());
          Configuration config = Configuration.getDefaultConfiguration().copy();ErlangModule.setupErlangConfiguration(config,f);
          ErlangModule mod = ErlangModule.loadModule(config);
          DirectedSparseVertex myVertex = getVertex(mod.name);
          myVertex.setUserDatum(JUConstants.COLOUR, JUConstants.RED, UserData.SHARED);

          for (String d : mod.behaviour.getDependencies()) {
            DirectedSparseVertex v = getVertex(d);
            DirectedSparseEdge e = new DirectedSparseEdge(myVertex, v);
            e.setUserDatum(JUConstants.LABEL, new HashSet<Label>(), UserData.CLONE);
            graph.addEdge(e);
          }
          System.out.println("\tDone.");
View Full Code Here
805
806
807
808
809
810
811
812
813
814
815
816
817
    queue.add(0,init);
    int i=0;
    int j= queue.size();
    Set<Vertex> done = new HashSet<Vertex>();
    while(i<j){
      DirectedSparseVertex v = (DirectedSparseVertex)queue.get(i);
      done.add(v);
      Iterator succIt = v.getSuccessors().iterator();
      while(succIt.hasNext()){
        Vertex succ = (Vertex)succIt.next();
        if(!done.contains(succ))
          queue.add(succ);
      }
View Full Code Here
137
138
139
140
141
142
143
144
145
146
147
148
149
150
 
  @Test
  public final void testGetData_Empty1()
  {
    DirectedSparseGraph g = new DirectedSparseGraph();
    DirectedSparseVertex init = new DirectedSparseVertex();
    init.addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
    init.addUserDatum(JUConstants.ACCEPTED, false, UserData.SHARED);
    init.addUserDatum(JUConstants.LABEL, "A", UserData.SHARED);
    g.addVertex(init);
    PTASequenceEngine enVerySmall = new PTA_FSMStructure(new LearnerGraph(g,mainConfiguration),null);
    vertifyPTA(enVerySmall, 1, new String[][] {
        new String[] {}
      });
View Full Code Here
152
153
154
155
156
157
158
159
160
161
162
163
164
165
  @Test
  public final void testGetData_Empty2()
  {
    DirectedSparseGraph g = new DirectedSparseGraph();
    DirectedSparseVertex init = new DirectedSparseVertex();
    init.addUserDatum(JUConstants.INITIAL, true,UserData.SHARED);
    init.addUserDatum(JUConstants.ACCEPTED, true, UserData.SHARED);
    init.addUserDatum(JUConstants.LABEL, "A", UserData.SHARED);
    g.addVertex(init);
    PTASequenceEngine enVerySmall = new PTA_FSMStructure(new LearnerGraph(g,mainConfiguration),null);
    vertifyPTA(enVerySmall, 1, new String[][] {
        new String[] {}
    });
View Full Code Here
975
976
977
978
979
980
981
982
983
984
985
986
987
988
   */
  @Test
  public final void test_sequenceSet_testing_shouldBeReturned4()
  {
    DirectedSparseGraph g = new DirectedSparseGraph();
    DirectedSparseVertex init = new DirectedSparseVertex();
    init.addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
    init.addUserDatum(JUConstants.ACCEPTED, false, UserData.SHARED);
    init.addUserDatum(JUConstants.LABEL, "A", UserData.SHARED);
    g.addVertex(init);
    final LearnerGraph machine = new LearnerGraph(g,mainConfiguration);
    en = new PTA_FSMStructure(machine,null) {
      {
        init(machine.new FSMImplementation(){
View Full Code Here
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
  /** Tests that we choke on an empty graph. */
  @Test(expected=IllegalArgumentException.class)
  public final void test_containsSequence1_fail()
  {
    DirectedSparseGraph g = new DirectedSparseGraph();
    DirectedSparseVertex init = new DirectedSparseVertex();
    init.addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
    init.addUserDatum(JUConstants.ACCEPTED, false, UserData.SHARED);
    init.addUserDatum(JUConstants.LABEL, "A", UserData.SHARED);
    g.addVertex(init);
    PTASequenceEngine engine = new PTA_FSMStructure(new LearnerGraph(g,mainConfiguration),null);
    engine.containsSequence(new ArrayList<Label>());
  }
View Full Code Here
117
118
119
120
121
122
123
124
125
126
  /** FSMs used in testing of cloning. */
  private LearnerGraph testGraphJung,testGraphString,testGraphSame;

  static final protected OrigStatePair constructOrigPair(String a,String b)
  {
    DirectedSparseVertex aV = new DirectedSparseVertex(), bV = new DirectedSparseVertex();
    aV.addUserDatum(JUConstants.LABEL, a, UserData.SHARED);
    bV.addUserDatum(JUConstants.LABEL, b, UserData.SHARED);
    return new OrigStatePair(aV,bV);
  }
View Full Code Here
TOP

Related Classes of edu.uci.ics.jung.graph.impl.DirectedSparseVertex

  • com.neptuny.xgrapher.cli.mapping.DefaultMapping
  • com.neptuny.xgrapher.cli.test.SimpleGraphDraw
  • net.gridshield.nexsm.mapper.Mapper
  • net.sf.sitstart.dao.impl.InMemorySiteGraphDAO
  • org.cishell.algorithm.convertergraph.ConverterGraphComputation
  • org.wymiwyg.knobot.visualization.TopicGraph
  • statechum.analysis.learning.RPNIBlueFringeLearnerOrig
  • statechum.analysis.learning.rpnicore.TestEqualityComparisonAndHashCode
  • statechum.analysis.learning.rpnicore.TestGraphConstruction
  • statechum.analysis.learning.rpnicore.TestGraphConstructionWithDifferentConf
    • Copyright © 2018 www.massapicom. 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.