Class SequentialExecution

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

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

    • SequentialExecution

      public SequentialExecution(Semantics semantics, IncrementalSatSolver satSolver)
      Parameters:
      semantics - semantics
      satSolver - satSolver
  • Method Details