Class PooledIncrementalSatSolver

java.lang.Object
org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver
All Implemented Interfaces:
IncrementalSatSolver

public final class PooledIncrementalSatSolver extends Object implements IncrementalSatSolver
A decorator which provides a pool of pre computed SatSolverState.
Author:
Mathias Hofer