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