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

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

1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
  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,config));
    engine.containsSequence(new ArrayList<String>());
  }
View Full Code Here
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
  {
    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,config));
    engine.containsSequence(new ArrayList<String>());
  }
 
View Full Code Here
107
108
109
110
111
112
113
114
115
116
117
  static 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);
  }

  /** Used to check that equality checking is implemented correctly.
   * The first two arguments are supposed to be independently constructed and they
View Full Code Here
53
54
55
56
57
58
59
60
61
62
63
  static protected StatePair constructPair(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 StatePair(aV,bV);
  }

  static protected void checkLess(String a, String b, String c, String d)
  {
View Full Code Here
616
617
618
619
620
621
622
623
624
625
626
 
  @Test
  public void testGraphConstructionFail2()
  {
    DirectedSparseVertex v = new DirectedSparseVertex();
    v.addUserDatum(JUConstants.ACCEPTED, "true", UserData.SHARED);v.addUserDatum(JUConstants.LABEL, "B", UserData.SHARED);
    checkWithVertex(v, "multiple", "testGraphConstructionFail2");
  }
 
  @Test
  public void testGraphConstructionFail3()
View Full Code Here
616
617
618
619
620
621
622
623
624
625
626
 
  @Test
  public void testGraphConstructionFail2()
  {
    DirectedSparseVertex v = new DirectedSparseVertex();
    v.addUserDatum(JUConstants.ACCEPTED, "true", UserData.SHARED);v.addUserDatum(JUConstants.LABEL, "B", UserData.SHARED);
    checkWithVertex(v, "multiple", "testGraphConstructionFail2");
  }
 
  @Test
  public void testGraphConstructionFail3()
View Full Code Here
624
625
626
627
628
629
630
631
632
633
634
 
  @Test
  public void testGraphConstructionFail3()
  {
    DirectedSparseVertex v = new DirectedSparseVertex();
    v.addUserDatum(JUConstants.ACCEPTED, "true", UserData.SHARED);v.addUserDatum(JUConstants.LABEL, "CONFL", UserData.SHARED);
    checkWithVertex(v, "multiple", "testGraphConstructionFail3");
  }
 
  @Test
  public void testGraphConstructionFail4()
View Full Code Here
624
625
626
627
628
629
630
631
632
633
634
 
  @Test
  public void testGraphConstructionFail3()
  {
    DirectedSparseVertex v = new DirectedSparseVertex();
    v.addUserDatum(JUConstants.ACCEPTED, "true", UserData.SHARED);v.addUserDatum(JUConstants.LABEL, "CONFL", UserData.SHARED);
    checkWithVertex(v, "multiple", "testGraphConstructionFail3");
  }
 
  @Test
  public void testGraphConstructionFail4()
View Full Code Here
632
633
634
635
636
637
638
639
640
641
642
 
  @Test
  public void testGraphConstructionFail4()
  {
    DirectedSparseVertex v = new DirectedSparseVertex();
    v.addUserDatum(JUConstants.ACCEPTED, "true", UserData.SHARED);v.addUserDatum(JUConstants.LABEL, "Q", UserData.SHARED);v.addUserDatum(JUConstants.PROPERTY, JUConstants.INIT, UserData.SHARED);
    checkWithVertex(v, "duplicate", "testGraphConstructionFail4");
  }
 
  @Test
  public void testGraphConstructionFail5()
View Full Code Here
632
633
634
635
636
637
638
639
640
641
642
 
  @Test
  public void testGraphConstructionFail4()
  {
    DirectedSparseVertex v = new DirectedSparseVertex();
    v.addUserDatum(JUConstants.ACCEPTED, "true", UserData.SHARED);v.addUserDatum(JUConstants.LABEL, "Q", UserData.SHARED);v.addUserDatum(JUConstants.PROPERTY, JUConstants.INIT, UserData.SHARED);
    checkWithVertex(v, "duplicate", "testGraphConstructionFail4");
  }
 
  @Test
  public void testGraphConstructionFail5()
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.