new String[] {"a","a","a","a","a","b","c"}, // +
new String[] {"a","b"}, // +
new String[] {"a","a","a","b","c"}, // +
},config));
PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
precComputer.crossWith(engine);
assertEquals("true negatives",0, precComputer.resultTN);assertEquals("true positives",3, precComputer.resultTP);
assertEquals("false negatives",0, precComputer.resultFN);assertEquals("false positives",0, precComputer.resultFP);
assertEquals("positives relevant",3, precComputer.pos_Rel);assertEquals("negatives relevant",0, precComputer.neg_Rel);
assertEquals("positives retrieved",3, precComputer.pos_Ret);assertEquals("negatives retrieved",0, precComputer.neg_Ret);
}