Examples of ChangesCounter

Examples of statechum.analysis.learning.rpnicore.GD.ChangesCounter

207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
    LearnerGraph grB = new LearnerGraph(buildGraph(graphB,name+"B"),config);

    GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData> gd = new GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData>();
    ChangesRecorder rec1 =   new ChangesRecorder(null);
    ChangesDisplay  rec2 = new ChangesDisplay(rec1);
    ChangesCounter  rec3 = new ChangesCounter(grA,grB,rec2);
    ChangesRecorder rec4 =   new ChangesRecorder(rec3);
    ChangesDisplay  rec5 = new ChangesDisplay(rec4);
    ChangesCounter  rec6 = new ChangesCounter(grA,grB,rec5);
    ChangesRecorder rec7 =   new ChangesRecorder(rec6);
    ChangesDisplay  rec8 = new ChangesDisplay(rec7);
    ChangesCounter  rec9 = new ChangesCounter(grA,grB,rec8);
    {// compute GD and check that changes recorded by rec9 are correct.
      LearnerGraph graph1 = new LearnerGraph(buildGraph(graphA,name+"A"),config);
      ChangesRecorder.applyGD(graph1, gd.computeGDToXML(grA, grB, threadNumber, TestGD.createDoc(), rec9,Configuration.getDefaultConfiguration()));
      Assert.assertNull(WMethod.checkM(graph1, grB));Assert.assertEquals(grB.getStateNumber(),graph1.getStateNumber());
    }
    {// check that changes propagated to rec7 are correct.
      LearnerGraph graph2 = new LearnerGraph(buildGraph(graphA,name+"A"),config);
      ChangesRecorder.applyGD(graph2, rec7.writeGD(TestGD.createDoc()));
      Assert.assertNull(WMethod.checkM(graph2, grB));Assert.assertEquals(grB.getStateNumber(),graph2.getStateNumber());
    }
    {// check that changes propagated to rec4 are correct.
      LearnerGraph graph3 = new LearnerGraph(buildGraph(graphA,name+"A"),config);
      ChangesRecorder.applyGD(graph3, rec4.writeGD(TestGD.createDoc()));
      Assert.assertNull(WMethod.checkM(graph3, grB));Assert.assertEquals(grB.getStateNumber(),graph3.getStateNumber());
    }
    {// check that changes propagated to rec1 are correct.
      LearnerGraph graph4 = new LearnerGraph(buildGraph(graphA,name+"A"),config);
      ChangesRecorder.applyGD(graph4, rec1.writeGD(TestGD.createDoc()));
      Assert.assertNull(WMethod.checkM(graph4, grB));Assert.assertEquals(grB.getStateNumber(),graph4.getStateNumber());
    }
    String displayResult = rec8.toString();
    Assert.assertEquals(displayResult,rec5.toString());Assert.assertEquals(displayResult, rec2.toString());
   
    int added = rec9.getAdded(),removed = rec9.getRemoved();String result = rec9.toString();
    Assert.assertEquals(added,rec6.getAdded());Assert.assertEquals(removed,rec6.getRemoved());Assert.assertEquals(result,rec6.toString());
    Assert.assertEquals(added,rec3.getAdded());Assert.assertEquals(removed,rec3.getRemoved());Assert.assertEquals(result,rec3.toString());
  }
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.GD.ChangesCounter

332
333
334
335
336
337
338
339
340
341
342
343
  public final void testComputeGD5a()
  {
    Configuration config = Configuration.getDefaultConfiguration().copy();
    LearnerGraph grA = new LearnerGraph(buildGraph(A6,"testComputeGD5a"),config);
    LearnerGraph grB = convertToNumerical(new LearnerGraph(buildGraph(A6,"testComputeGD5a"),config));
    ChangesCounter counter = new ChangesCounter(grA,grB,null);
    //Visualiser.updateFrame(grA, grB);Visualiser.waitForKey();
    GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData> gd = new GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData>();
    gd.computeGD(grA, grB, threadNumber, counter,config);
    Assert.assertEquals(0,counter.getRemoved());
    Assert.assertEquals(0,counter.getAdded());
  }
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.GD.ChangesCounter

347
348
349
350
351
352
353
354
355
356
357
  public final void testComputeGD5b_AA()
  {
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setGdFailOnDuplicateNames(false);
    LearnerGraph grA = new LearnerGraph(config);
    LearnerGraph grB = convertToNumerical(new LearnerGraph(config));
    ChangesCounter counter = new ChangesCounter(grA,grB,null);
    GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData> gd = new GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData>();
    gd.computeGD(grA, grB, threadNumber, counter,config);
    Assert.assertEquals(0,counter.getRemoved());
    Assert.assertEquals(0,counter.getAdded());
  }
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.GD.ChangesCounter

407
408
409
410
411
412
413
414
415
416
417
  {
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setGdFailOnDuplicateNames(false);
    LearnerGraph grA = new LearnerGraph(config);
    LearnerGraph grB = convertToNumerical(new LearnerGraph(buildGraph(A6,"testComputeGD5b"),config));
    int transitionsCount = grB.countEdges();
    ChangesCounter counter = new ChangesCounter(grA,grB,null);
    GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData> gd = new GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData>();
    gd.computeGD(grA, grB, threadNumber, counter,config);
    Assert.assertEquals(0,counter.getRemoved());
    Assert.assertEquals(transitionsCount,counter.getAdded());
  }
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.GD.ChangesCounter

437
438
439
440
441
442
443
444
445
446
447
  {
    Configuration config = Configuration.getDefaultConfiguration().copy();
    LearnerGraph grA = new LearnerGraph(buildGraph(A6,"testComputeGD5b"),config);
    LearnerGraph grB = convertToNumerical(new LearnerGraph(config));
    int transitionsCount = grA.countEdges();
    ChangesCounter counter = new ChangesCounter(grA,grB,null);
    GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData> gd = new GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData>();
    gd.computeGD(grA, grB, threadNumber, counter,config);
    Assert.assertEquals(transitionsCount,counter.getRemoved());
    Assert.assertEquals(0,counter.getAdded());
  }
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.GD.ChangesCounter

999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
  public final void testCounter()
  {
    Configuration config = Configuration.getDefaultConfiguration();
    LearnerGraph grA = new LearnerGraph(buildGraph("A-a->B\nA-b->B","testCounterA"),config);
    LearnerGraph grB = new LearnerGraph(buildGraph("@A-a->@B\n@A-c->@B","testCounterB"),config);
    ChangesCounter counter = new ChangesCounter(grA,grB,null);
    GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData> gd = new GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData>();
    gd.computeGD(grA, grB, threadNumber, counter,config);
    Assert.assertEquals(1,counter.getRemoved());
    Assert.assertEquals(1,counter.getAdded());
    Assert.assertEquals("diff of testCounterB to testCounterA is 100% of testCounterB",counter.toString());
  }
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.GD.ChangesCounter

1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
  public final void testDisplay()
  {
    Configuration config = Configuration.getDefaultConfiguration();
    LearnerGraph grA = new LearnerGraph(buildGraph("A-a->B\nA-b->B","testCounterA"),config);
    LearnerGraph grB = new LearnerGraph(buildGraph("@A-a->@B\n@A-c->@B","testCounterB"),config);
    ChangesCounter counter = new ChangesCounter(grA,grB,null);
    ChangesDisplay recorder = new ChangesDisplay(counter);
    GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData> gd = new GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData>();
    gd.computeGD(grA, grB, threadNumber, recorder,config);
    Assert.assertEquals("removed: A - b -> B\n"+
        "added  : A - c -> B\nmapping: A - @A\nmapping: B - @B\ninitial : A\n",recorder.toString());
    Assert.assertEquals(1,counter.getAdded());Assert.assertEquals(1,counter.getRemoved());
  }
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.