Package statechum.model.testset

Examples of statechum.model.testset.PTASequenceSet.containsAll()

319
320
321
322
323
324
325
326
327
328
329
          //CmpVertex Rnew = tempNew.getVertex(scoreComputer.wmethod.computeShortPathsToAllStates().get(pair.getR()));
          CmpVertex Rnew = tempNew.getStateLearnt();
          assert Rnew == tempNew.getVertex(scoreComputer.wmethod.computeShortPathsToAllStates().get(pair.getR()));
          Collection<List<String>> questionsOrigB = ComputeQuestions.computeQS_orig(new StatePair(Rnew,Rnew), scoreComputer,tempNew);
          PTASequenceSet newQuestions =new PTASequenceSet();newQuestions.addAll(questions);
          assert newQuestions.containsAll(questionsOrigA);
          assert newQuestions.containsAll(questionsOrigB);
        }
       
        if (questions.isEmpty())
          ++counterEmptyQuestions;
View Full Code Here
320
321
322
323
324
325
326
327
328
329
330
          CmpVertex Rnew = tempNew.getStateLearnt();
          assert Rnew == tempNew.getVertex(scoreComputer.wmethod.computeShortPathsToAllStates().get(pair.getR()));
          Collection<List<String>> questionsOrigB = ComputeQuestions.computeQS_orig(new StatePair(Rnew,Rnew), scoreComputer,tempNew);
          PTASequenceSet newQuestions =new PTASequenceSet();newQuestions.addAll(questions);
          assert newQuestions.containsAll(questionsOrigA);
          assert newQuestions.containsAll(questionsOrigB);
        }
       
        if (questions.isEmpty())
          ++counterEmptyQuestions;
View Full Code Here
101
102
103
104
105
106
107
108
109
110
111
      Collection<List<String>> questionsOrigA = ComputeQuestions.computeQS_orig(pair, scoreComputer,MergeStates.mergeAndDeterminize(scoreComputer, pair));
      CmpVertex Rnew = tempNew.getStateLearnt();
      assert Rnew == tempNew.getVertex(scoreComputer.wmethod.computeShortPathsToAllStates().get(pair.getR()));
      Collection<List<String>> questionsOrigB = ComputeQuestions.computeQS_orig(new StatePair(Rnew,Rnew), scoreComputer,tempNew);
      PTASequenceSet newQuestions =new PTASequenceSet();newQuestions.addAll(questions);
      assert newQuestions.containsAll(questionsOrigA);
      assert newQuestions.containsAll(questionsOrigB);
    }
   
    return questions;
  }
View Full Code Here
102
103
104
105
106
107
108
109
110
111
112
      CmpVertex Rnew = tempNew.getStateLearnt();
      assert Rnew == tempNew.getVertex(scoreComputer.wmethod.computeShortPathsToAllStates().get(pair.getR()));
      Collection<List<String>> questionsOrigB = ComputeQuestions.computeQS_orig(new StatePair(Rnew,Rnew), scoreComputer,tempNew);
      PTASequenceSet newQuestions =new PTASequenceSet();newQuestions.addAll(questions);
      assert newQuestions.containsAll(questionsOrigA);
      assert newQuestions.containsAll(questionsOrigB);
    }
   
    return questions;
  }
View Full Code Here
190
191
192
193
194
195
196
197
198
199
200
    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));
  }
 
  @Test
  public final void testPrefixRemovingCollection7a()
View Full Code Here
191
192
193
194
195
196
197
198
199
200
201
    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));
  }
 
  @Test
  public final void testPrefixRemovingCollection7a()
  {
View Full Code Here
216
217
218
219
220
221
222
223
224
225
226
    Assert.assertTrue(c.contains(new LinkedList<Label>()));
    Assert.assertTrue(c.contains(labelList(new String[]{"a"})));
    Assert.assertTrue(c.contains(labelList(new String[]{"a","b"})));
    Assert.assertFalse(c.contains(labelList(new String[]{"a","b","a"})));
   
    Assert.assertTrue(c.containsAll(expected));
    Assert.assertTrue(c.containsAll(c));
  }
 
  @Test
  public final void testPrefixRemovingCollection7b()
View Full Code Here
217
218
219
220
221
222
223
224
225
226
227
    Assert.assertTrue(c.contains(labelList(new String[]{"a"})));
    Assert.assertTrue(c.contains(labelList(new String[]{"a","b"})));
    Assert.assertFalse(c.contains(labelList(new String[]{"a","b","a"})));
   
    Assert.assertTrue(c.containsAll(expected));
    Assert.assertTrue(c.containsAll(c));
  }
 
  @Test
  public final void testPrefixRemovingCollection7b()
  {
View Full Code Here
242
243
244
245
246
247
248
249
250
251
252
    Assert.assertTrue(c.contains(new LinkedList<Label>()));
    Assert.assertTrue(c.contains(labelList(new String[]{"a"})));
    Assert.assertTrue(c.contains(labelList(new String[]{"a","b"})));
    Assert.assertFalse(c.contains(labelList(new String[]{"a","b","a"})));
   
    Assert.assertTrue(c.containsAll(expected));
    Assert.assertTrue(c.containsAll(c));
  }
 
  @Test
  public final void testPrefixRemovingCollection8()
View Full Code Here
243
244
245
246
247
248
249
250
251
252
253
    Assert.assertTrue(c.contains(labelList(new String[]{"a"})));
    Assert.assertTrue(c.contains(labelList(new String[]{"a","b"})));
    Assert.assertFalse(c.contains(labelList(new String[]{"a","b","a"})));
   
    Assert.assertTrue(c.containsAll(expected));
    Assert.assertTrue(c.containsAll(c));
  }
 
  @Test
  public final void testPrefixRemovingCollection8()
  {
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.