Class SynchronizedSatSolverState

java.lang.Object
org.tweetyproject.arg.adf.sat.state.SynchronizedSatSolverState
All Implemented Interfaces:
AutoCloseable, SatSolverState

public final class SynchronizedSatSolverState extends Object implements SatSolverState
A synchronized wrapper of SatSolverState. May be too restrictive, since it does not know anything about implementation details.
Author:
Mathias