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

Class NativeMinisatSolver

java.lang.Object

org.tweetyproject.arg.adf.sat.solver.NativeMinisatSolver

All Implemented Interfaces:

IncrementalSatSolver

public final class NativeMinisatSolver
extends Object
implements IncrementalSatSolver

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
NativeMinisatSolver()

Method Summary

Modifier and Type	Method	Description
SatSolverState	createState()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

NativeMinisatSolver

public NativeMinisatSolver()

Method Details

createState

public SatSolverState createState()

Specified by:

createState in interface IncrementalSatSolver