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();
}
Aggregations