SampleData dataSample = new SampleData(null,null);
//dataSample.difference = new DifferenceToReferenceDiff(0, 0);
//dataSample.differenceForReferenceLearner = new DifferenceToReferenceDiff(0, 0);
long inconsistencyActual = MarkovClassifier.computeInconsistency(actualAutomaton, m, checker,false);
VertID rejectVertexID = null;
for(CmpVertex v:actualAutomaton.transitionMatrix.keySet())
if (!v.isAccept())
{
assert rejectVertexID == null : "multiple reject vertices in learnt automaton, such as "+rejectVertexID+" and "+v;
rejectVertexID = v;break;