Package org.tweetyproject.arg.adf.sat.state

package org.tweetyproject.arg.adf.sat.state

Related Packages

Package	Description
org.tweetyproject.arg.adf.sat
org.tweetyproject.arg.adf.sat.solver

Classes

Class	Description
AsynchronousCloseSatSolverState	The AsynchronousCloseSatSolverState.close() call is handled by the provided executor.
SynchronizedSatSolverState	A synchronized wrapper of SatSolverState.