Examples of addToCompatibility()

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.addToCompatibility()

1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
        A2=AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("A"),configNonFail), B2=AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("B"),configNonFail)
        ;
    grA.transitionMatrix.put(A1, grA.createNewRow());grA.transitionMatrix.put(B1, grA.createNewRow());
    grB.transitionMatrix.put(A2, grB.createNewRow());grB.transitionMatrix.put(B2, grB.createNewRow());
   
    grA.addToCompatibility(A1, B1, PAIRCOMPATIBILITY.THEN);// this is the key part of this test
   
    ChangesCounter<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData> counter = new ChangesCounter<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData>(grA,grB,null);
    ChangesDisplay recorder = new ChangesDisplay(counter);
    GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData> gd = new GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData>();
    gd.init(grA, grB, threadNumber,configNonFail);
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.addToCompatibility()

183
184
185
186
187
188
189
190
191
192
193
  @Test
  public final void testAddIncompatibles1()
  {
    LearnerGraph gr = buildLearnerGraph("T-a-#C\nQ-a->Q\nT-longpath->Q","testAddIncompatibles1a", Configuration.getDefaultConfiguration());
    LearnerGraph expected = buildLearnerGraph("T-a-#C\nQ-a->Q\nT-longpath->Q","testAddIncompatibles1b",Configuration.getDefaultConfiguration());
    expected.addToCompatibility(expected.findVertex("T"), expected.findVertex("Q"),JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    LearnerGraphMutator<CmpVertex,LearnerGraphCachedData> patcher = new LearnerGraphMutator<CmpVertex,LearnerGraphCachedData>(gr, cloneConfig,null);
    patcher.addToCompatibility(gr.findVertex("T"), gr.findVertex("Q"), JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    Assert.assertNull(WMethod.checkM_and_colours(expected, gr, VERTEX_COMPARISON_KIND.DEEP));
  }
 
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.addToCompatibility()

195
196
197
198
199
200
201
202
203
204
205
  @Test
  public final void testAddIncompatibles2()
  {
    LearnerGraph gr = buildLearnerGraph("T-a-#C\nQ-a->Q\nT-longpath->Q","testAddIncompatibles1a", Configuration.getDefaultConfiguration());
    LearnerGraph expected = buildLearnerGraph("T-a-#C\nQ-a->Q\nT-longpath->Q","testAddIncompatibles1b",Configuration.getDefaultConfiguration());
    expected.addToCompatibility(expected.findVertex("T"), expected.findVertex("Q"),JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    LearnerGraphMutator<CmpVertex,LearnerGraphCachedData> patcher = new LearnerGraphMutator<CmpVertex,LearnerGraphCachedData>(gr, cloneConfig,null);
    patcher.addToCompatibility(gr.findVertex("T"), gr.findVertex("C"), JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    patcher.addToCompatibility(gr.findVertex("T"), gr.findVertex("Q"), JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    patcher.removeFromCompatibility(gr.findVertex("C"), gr.findVertex("T"));
    Assert.assertNull(WMethod.checkM_and_colours(expected, gr, VERTEX_COMPARISON_KIND.DEEP));
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.addToCompatibility()

1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
        A2=AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("A"),configNonFail), B2=AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("B"),configNonFail)
        ;
    grA.transitionMatrix.put(A1, grA.createNewRow());grA.transitionMatrix.put(B1, grA.createNewRow());
    grB.transitionMatrix.put(A2, grB.createNewRow());grB.transitionMatrix.put(B2, grB.createNewRow());
   
    grA.addToCompatibility(A1, B1, PAIRCOMPATIBILITY.THEN);// this is the key part of this test
   
    ChangesCounter<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData> counter = new ChangesCounter<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData>(grA,grB,null);
    ChangesDisplay recorder = new ChangesDisplay(counter);
    GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData> gd = new GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData>();
    gd.init(grA, grB, threadNumber,configNonFail);
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.addToCompatibility()

1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
        A2=AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("A"),configNonFail), B2=AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("B"),configNonFail)
        ;
    grA.transitionMatrix.put(A1, grA.createNewRow());grA.transitionMatrix.put(B1, grA.createNewRow());
    grB.transitionMatrix.put(A2, grB.createNewRow());grB.transitionMatrix.put(B2, grB.createNewRow());
   
    grA.addToCompatibility(A1, B1, PAIRCOMPATIBILITY.THEN);// this is the key part of this test
    grB.addToCompatibility(A2, B2, PAIRCOMPATIBILITY.THEN);// this is the key part of this test
   
    ChangesCounter<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData> counter = new ChangesCounter<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData>(grA,grB,null);
    ChangesDisplay recorder = new ChangesDisplay(counter);
    GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData> gd = new GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData>();
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.addToCompatibility()

1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
        A2=AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("A"),configNonFail), B2=AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("B"),configNonFail)
        ;
    grA.transitionMatrix.put(A1, grA.createNewRow());grA.transitionMatrix.put(B1, grA.createNewRow());
    grB.transitionMatrix.put(A2, grB.createNewRow());grB.transitionMatrix.put(B2, grB.createNewRow());
   
    grA.addToCompatibility(A1, B1, PAIRCOMPATIBILITY.THEN);// this is the key part of this test
   
    ChangesCounter<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData> counter = new ChangesCounter<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData>(grA,grB,null);
    ChangesDisplay recorder = new ChangesDisplay(counter);
    GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData> gd = new GD<CmpVertex,CmpVertex,LearnerGraphCachedData,LearnerGraphCachedData>();
    gd.init(grA, grB, threadNumber,configNonFail);
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.addToCompatibility()

187
188
189
190
191
192
193
194
195
196
197
  @Test
  public final void testAddIncompatibles1()
  {
    LearnerGraph gr = buildLearnerGraph("T-a-#C\nQ-a->Q\nT-longpath->Q","testAddIncompatibles1a", Configuration.getDefaultConfiguration(),converter);
    LearnerGraph expected = buildLearnerGraph("T-a-#C\nQ-a->Q\nT-longpath->Q","testAddIncompatibles1b",Configuration.getDefaultConfiguration(),converter);
    expected.addToCompatibility(expected.findVertex("T"), expected.findVertex("Q"),JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    LearnerGraphMutator<CmpVertex,LearnerGraphCachedData> patcher = new LearnerGraphMutator<CmpVertex,LearnerGraphCachedData>(gr, cloneConfig,null);
    patcher.addToCompatibility(gr.findVertex("T"), gr.findVertex("Q"), JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    Assert.assertNull(WMethod.checkM_and_colours(expected, gr, VERTEX_COMPARISON_KIND.DEEP));
  }
 
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.addToCompatibility()

199
200
201
202
203
204
205
206
207
208
209
  @Test
  public final void testAddIncompatibles2()
  {
    LearnerGraph gr = buildLearnerGraph("T-a-#C\nQ-a->Q\nT-longpath->Q","testAddIncompatibles1a", Configuration.getDefaultConfiguration(),converter);
    LearnerGraph expected = buildLearnerGraph("T-a-#C\nQ-a->Q\nT-longpath->Q","testAddIncompatibles1b",Configuration.getDefaultConfiguration(),converter);
    expected.addToCompatibility(expected.findVertex("T"), expected.findVertex("Q"),JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    LearnerGraphMutator<CmpVertex,LearnerGraphCachedData> patcher = new LearnerGraphMutator<CmpVertex,LearnerGraphCachedData>(gr, cloneConfig,null);
    patcher.addToCompatibility(gr.findVertex("T"), gr.findVertex("C"), JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    patcher.addToCompatibility(gr.findVertex("T"), gr.findVertex("Q"), JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    patcher.removeFromCompatibility(gr.findVertex("C"), gr.findVertex("T"), null);// the last argument is ignored here
    Assert.assertNull(WMethod.checkM_and_colours(expected, gr, VERTEX_COMPARISON_KIND.DEEP));
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.addToCompatibility()

188
189
190
191
192
193
194
195
196
197
198
  @Test
  public final void testAddIncompatibles1()
  {
    LearnerGraph gr = buildLearnerGraph("T-a-#C\nQ-a->Q\nT-longpath->Q","testAddIncompatibles1a", Configuration.getDefaultConfiguration(),converter);
    LearnerGraph expected = buildLearnerGraph("T-a-#C\nQ-a->Q\nT-longpath->Q","testAddIncompatibles1b",Configuration.getDefaultConfiguration(),converter);
    expected.addToCompatibility(expected.findVertex("T"), expected.findVertex("Q"),JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    LearnerGraphMutator<CmpVertex,LearnerGraphCachedData> patcher = new LearnerGraphMutator<CmpVertex,LearnerGraphCachedData>(gr, cloneConfig,null);
    patcher.addToCompatibility(gr.findVertex("T"), gr.findVertex("Q"), JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    Assert.assertNull(WMethod.checkM_and_colours(expected, gr, VERTEX_COMPARISON_KIND.DEEP));
  }
 
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.addToCompatibility()

200
201
202
203
204
205
206
207
208
209
210
  @Test
  public final void testAddIncompatibles2()
  {
    LearnerGraph gr = buildLearnerGraph("T-a-#C\nQ-a->Q\nT-longpath->Q","testAddIncompatibles1a", Configuration.getDefaultConfiguration(),converter);
    LearnerGraph expected = buildLearnerGraph("T-a-#C\nQ-a->Q\nT-longpath->Q","testAddIncompatibles1b",Configuration.getDefaultConfiguration(),converter);
    expected.addToCompatibility(expected.findVertex("T"), expected.findVertex("Q"),JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    LearnerGraphMutator<CmpVertex,LearnerGraphCachedData> patcher = new LearnerGraphMutator<CmpVertex,LearnerGraphCachedData>(gr, cloneConfig,null);
    patcher.addToCompatibility(gr.findVertex("T"), gr.findVertex("C"), JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    patcher.addToCompatibility(gr.findVertex("T"), gr.findVertex("Q"), JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    patcher.removeFromCompatibility(gr.findVertex("C"), gr.findVertex("T"), null);// the last argument is ignored here
    Assert.assertNull(WMethod.checkM_and_colours(expected, gr, VERTEX_COMPARISON_KIND.DEEP));
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.