Class PooledIncrementalSatSolver
java.lang.Object
org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver
- All Implemented Interfaces:
IncrementalSatSolver
A decorator which provides a pool of pre computed
SatSolverState
.- Author:
- Mathias Hofer
-
Nested Class Summary
-
Method Summary
-
Method Details
-
builder
-
createState
- Specified by:
createState
in interfaceIncrementalSatSolver
-
close
public void close()
-