380
379
private Tuple<QueryResult, Stats> parseQueryResult(String output, int totalTokens, int extraTokens, TAPNQuery query) {
381
380
VerifyTAPNOutputParser outputParser = new VerifyTAPNOutputParser(totalTokens, extraTokens, query);
386
384
public boolean supportsModel(TimedArcPetriNet model, VerificationOptions options) {