Class AsynchronousCloseSatSolverState

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

public class AsynchronousCloseSatSolverState extends Object implements SatSolverState
The close() call is handled by the provided executor. This allows asynchronous cleanup.
Author:
Mathias Hofer