Search in sources :

Example 1 with NodFirstUnsatAnswerElement

use of org.batfish.datamodel.answers.NodFirstUnsatAnswerElement in project batfish by batfish.

the class Batfish method computeNodFirstUnsatOutput.

public <KeyT, ResultT> void computeNodFirstUnsatOutput(List<NodFirstUnsatJob<KeyT, ResultT>> jobs, Map<KeyT, ResultT> output) {
    _logger.info("\n*** EXECUTING NOD UNSAT JOBS ***\n");
    _logger.resetTimer();
    BatfishJobExecutor.runJobsInExecutor(_settings, _logger, jobs, output, new NodFirstUnsatAnswerElement(), true, "NOD First-UNSAT");
    _logger.printElapsedTime();
}
Also used : NodFirstUnsatAnswerElement(org.batfish.datamodel.answers.NodFirstUnsatAnswerElement)

Aggregations

NodFirstUnsatAnswerElement (org.batfish.datamodel.answers.NodFirstUnsatAnswerElement)1