Examples with NodSatAnswerElement org.batfish.datamodel.answers.NodSatAnswerElement used on opensource projects

Example 1 with NodSatAnswerElement

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

the class Batfish method computeNodSatOutput.

public <KeyT> void computeNodSatOutput(List<NodSatJob<KeyT>> jobs, Map<KeyT, Boolean> output) {
    _logger.info("\n*** EXECUTING NOD SAT JOBS ***\n");
    _logger.resetTimer();
    BatfishJobExecutor.runJobsInExecutor(_settings, _logger, jobs, output, new NodSatAnswerElement(), true, "NOD SAT");
    _logger.printElapsedTime();
}