Package statechum.model.testset

Examples of statechum.model.testset.PTASequenceSet

323
324
325
326
327
328
329
330
   *
   * @param questions
   * @return a set of questions which are not prefixes of other questions.
   */
  protected Collection<List<Label>> trimSet(Collection<List<Label>> questions){
    PTASequenceSet collection = new PTASequenceSet();collection.addAll(questions);
    return collection.getData();
  }
View Full Code Here
140
141
142
143
144
145
146
147
148
149
150
    //l.setGeneralisationThreshold(1);
    //l.setCertaintyThreshold(5);
    testConfig.setLearnerIdMode(IDMode.POSITIVE_NEGATIVE);
    LearnerGraph learntStructureA = new LearnerGraph(l.learnMachine(buildSet(plus,config), buildSet(minus,config)),expected.config);
    // Now do the same with ptasets instead of real sets
    PTASequenceSet plusPTA = new PTASequenceSet();plusPTA.addAll(buildSet(plus,config));PTASequenceSet minusPTA = new PTASequenceSet();minusPTA.addAll(buildSet(minus,config));
    LearnerGraph learntStructureB = new LearnerGraph(l.learnMachine(plusPTA, minusPTA),expected.config);
    Assert.assertNull(WMethod.checkM(learntStructureA, learntStructureB));
    LearnerGraph learntMachineNoRejects = new LearnerGraph(expected.config);
    AbstractPathRoutines.removeRejectStates(learntStructureA,learntMachineNoRejects);
    Assert.assertNull(WMethod.checkM(learntMachineNoRejects, expected));
View Full Code Here
163
164
165
166
167
168
169
170
171
172
173
    //l.setGeneralisationThreshold(1);
    //l.setCertaintyThreshold(5);
    testConfig.setLearnerIdMode(IDMode.POSITIVE_NEGATIVE);
    LearnerGraph learntStructureA = new LearnerGraph(l.learnMachine(buildSet(plus,testConfig,getLabelConverter()), buildSet(minus,testConfig,getLabelConverter())),expected.config);
    // Now do the same with ptasets instead of real sets
    PTASequenceSet plusPTA = new PTASequenceSet();plusPTA.addAll(buildSet(plus,testConfig,getLabelConverter()));PTASequenceSet minusPTA = new PTASequenceSet();minusPTA.addAll(buildSet(minus,testConfig,getLabelConverter()));
    LearnerGraph learntStructureB = new LearnerGraph(l.learnMachine(plusPTA, minusPTA),expected.config);
    Assert.assertNull(WMethod.checkM(learntStructureA, learntStructureB));
    LearnerGraph learntMachineNoRejects = new LearnerGraph(expected.config);
    AbstractPathRoutines.removeRejectStates(learntStructureA,learntMachineNoRejects);
    Assert.assertNull(WMethod.checkM(learntMachineNoRejects, expected));
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
  final ConvertALabel converter = null;
 
  @Test
  public final void testPrefixRemovingCollection0()
  {
    PTASequenceSet c = new PTASequenceSet();
    Assert.assertEquals(0, c.size());
    Assert.assertFalse(c.getData().iterator().hasNext());
    Assert.assertTrue(c.getData().isEmpty());

    Assert.assertTrue(c.containsAll(c));

    Assert.assertTrue(c.contains(new LinkedList<Label>()));
    Assert.assertFalse(c.contains(labelList(new String[]{"a"})));
  }
View Full Code Here
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
  }
 
  @Test
  public final void testPrefixRemovingCollection1()
  {
    PTASequenceSet c = new PTASequenceSet();
    c.addSequence(new LinkedList<Label>());
    Set<List<Label>> expected = buildSet(new String[][]{
        new String[]{}
    },config,converter),actual = new HashSet<List<Label>>();actual.addAll(c.getData());
    Assert.assertEquals(1, c.getData().size());
    Assert.assertTrue(expected.equals(actual));
    Assert.assertFalse(c.getData().isEmpty());

    Assert.assertTrue(c.contains(new LinkedList<Label>()));
    Assert.assertFalse(c.contains(labelList(new String[]{"a"})));

    Assert.assertTrue(c.containsAll(expected));
    Assert.assertTrue(c.containsAll(c));
  }
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
  }
 
  @Test
  public final void testPrefixRemovingCollection2()
  {
    PTASequenceSet c = new PTASequenceSet();
    c.addSequence(new LinkedList<Label>());
    c.addSequence(new LinkedList<Label>());
    c.addSequence(new LinkedList<Label>());
    Set<List<Label>> expected = buildSet(new String[][]{
        new String[]{}
    },config,converter),actual = new HashSet<List<Label>>();actual.addAll(c.getData());
    Assert.assertEquals(1, c.getData().size());
    Assert.assertFalse(c.getData().isEmpty());
    Assert.assertTrue(expected.equals(actual));

    Assert.assertTrue(c.contains(new LinkedList<Label>()));
    Assert.assertFalse(c.contains(labelList(new String[]{"a"})));
   
    Assert.assertTrue(c.containsAll(expected));
    Assert.assertTrue(c.containsAll(c));
  }
View Full Code Here
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
  }
 
  @Test
  public final void testPrefixRemovingCollection3()
  {
    PTASequenceSet c = new PTASequenceSet();
    c.addSequence(new LinkedList<Label>());
    c.addSequence(labelList(new String[]{"a"}));
    Set<List<Label>> expected = buildSet(new String[][]{
        new String[]{"a"}
    },config,converter),actual = new HashSet<List<Label>>();actual.addAll(c.getData());
    Assert.assertEquals(1, c.getData().size());
    Assert.assertTrue(expected.equals(actual));
    Assert.assertFalse(c.getData().isEmpty());

    Assert.assertTrue(c.contains(new LinkedList<Label>()));
    Assert.assertTrue(c.contains(labelList(new String[]{"a"})));
    Assert.assertFalse(c.contains(labelList(new String[]{"a","a"})));
   
    Assert.assertTrue(c.containsAll(expected));
    Assert.assertTrue(c.containsAll(c));
  }
View Full Code Here
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
  }
 
  @Test
  public final void testPrefixRemovingCollection4()
  {
    PTASequenceSet c = new PTASequenceSet();
    c.addSequence(new LinkedList<Label>());
    c.addSequence(labelList(new String[]{"a"}));
    c.addSequence(labelList(new String[]{"a","a"}));
    Set<List<Label>> expected = buildSet(new String[][]{
        new String[]{"a","a"}
    },config,converter),actual = new HashSet<List<Label>>();actual.addAll(c.getData());
    Assert.assertEquals(1, c.getData().size());
    Assert.assertTrue(expected.equals(actual));
    Assert.assertFalse(c.getData().isEmpty());

    Assert.assertTrue(c.contains(new LinkedList<Label>()));
    Assert.assertTrue(c.contains(labelList(new String[]{"a"})));
    Assert.assertTrue(c.contains(labelList(new String[]{"a","a"})));
    Assert.assertFalse(c.contains(labelList(new String[]{"a","a","a"})));
   
    Assert.assertTrue(c.containsAll(expected));
    Assert.assertTrue(c.containsAll(c));
  }
View Full Code Here
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
  }
 
  @Test
  public final void testPrefixRemovingCollection5()
  {
    PTASequenceSet c = new PTASequenceSet();
    c.addSequence(new LinkedList<Label>());
    c.addSequence(labelList(new String[]{"a","a"}));
    c.addSequence(labelList(new String[]{"a"}));
    c.addSequence(labelList(new String[]{}));
    Set<List<Label>> expected = buildSet(new String[][]{
        new String[]{"a","a"}
    },config,converter),actual = new HashSet<List<Label>>();actual.addAll(c.getData());
    Assert.assertEquals(1, c.getData().size());
    Assert.assertTrue(expected.equals(actual));
    Assert.assertFalse(c.getData().isEmpty());

    Assert.assertTrue(c.contains(new LinkedList<Label>()));
    Assert.assertTrue(c.contains(labelList(new String[]{"a"})));
    Assert.assertTrue(c.contains(labelList(new String[]{"a","a"})));
    Assert.assertFalse(c.contains(labelList(new String[]{"a","a","a"})));
   
    Assert.assertTrue(c.containsAll(expected));
    Assert.assertTrue(c.containsAll(c));
  }
View Full Code Here
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
  }
 
  @Test
  public final void testPrefixRemovingCollection6()
  {
    PTASequenceSet c = new PTASequenceSet();
    c.addSequence(new LinkedList<Label>());
    c.addSequence(labelList(new String[]{"a"}));
    c.addSequence(labelList(new String[]{}));
    c.addSequence(labelList(new String[]{"a","a"}));
    c.addSequence(labelList(new String[]{"a"}));
    Set<List<Label>> expected = buildSet(new String[][]{
        new String[]{"a","a"}
    },config,converter),actual = new HashSet<List<Label>>();actual.addAll(c.getData());
    Assert.assertEquals(1, c.getData().size());
    Assert.assertTrue(expected.equals(actual));
    Assert.assertFalse(c.getData().isEmpty());

    Assert.assertTrue(c.contains(new LinkedList<Label>()));
    Assert.assertTrue(c.contains(labelList(new String[]{"a"})));
    Assert.assertTrue(c.contains(labelList(new String[]{"a","a"})));
    Assert.assertFalse(c.contains(labelList(new String[]{"a","a","a"})));
   
    Assert.assertTrue(c.containsAll(expected));
    Assert.assertTrue(c.containsAll(c));
  }
View Full Code Here
TOP

Related Classes of statechum.model.testset.PTASequenceSet

  • statechum.analysis.learning.RPNIBlueAmberFringeLearner
  • statechum.analysis.learning.RPNIBlueFringeLearnerTestComponentOpt
  • statechum.analysis.learning.rpnicore.RandomPathGenerator
  • statechum.analysis.learning.Test_Orig_RPNIBlueFringeLearner
  • statechum.analysis.learning.TestRpniLearner
  • statechum.model.testset.TestPrefixRemovingCollection
    • 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.