public static PosNegPrecisionRecall compare(LearnerGraph specfsm, LearnerGraph imp){
PTA_computePrecisionRecall precRec = new PTA_computePrecisionRecall(imp);
PTASequenceEngine engine = new PTA_FSMStructure(specfsm,null);
SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
partialPTA = partialPTA.cross(specfsm.wmethod.getFullTestSet(1));
precRec.crossWith(engine);return precRec.getPosNegPrecisionRecallNum();
}
public static PosNegPrecisionRecall compare(Collection<List<Label>> tests, LearnerGraph specfsm, LearnerGraph imp){
PTA_computePrecisionRecall precRec = new PTA_computePrecisionRecall(imp);
PTASequenceEngine engine = new PTA_FSMStructure(specfsm,null);