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

NativeMinisatSolver class

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
NativeMinisatSolver()	NativeMinisatSolver

Method Summary

Modifier and Type	Method	Description
SatSolverState	createState()	Return createState

Methods inherited from class java.lang.Object

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

Constructor Details

NativeMinisatSolver

public NativeMinisatSolver()

NativeMinisatSolver

Method Details

createState

public SatSolverState createState()

Description copied from interface: IncrementalSatSolver

Return createState

Specified by:

createState in interface IncrementalSatSolver

Returns:

createState