Class ParallelExecution

java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.execution.ParallelExecution
All Implemented Interfaces:
AutoCloseable, Execution

public final class ParallelExecution extends Object implements Execution
Author:
Mathias Hofer
  • Constructor Details

    • ParallelExecution

      public ParallelExecution(Semantics semantics, IncrementalSatSolver satSolver, int parallelism)
      Parameters:
      semantics - Semantics
      satSolver - IncrementalSatSolver
      parallelism - int
  • Method Details