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

Class NativePicosatSolver

java.lang.Object

org.tweetyproject.arg.adf.sat.solver.NativePicosatSolver

All Implemented Interfaces:

IncrementalSatSolver

public final class NativePicosatSolver
extends Object
implements IncrementalSatSolver

NativePicosatSolver class

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
NativePicosatSolver()	NativePicosatSolver

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

NativePicosatSolver

public NativePicosatSolver()

NativePicosatSolver

Method Details

createState

public SatSolverState createState()

Description copied from interface: IncrementalSatSolver

Return createState

Specified by:

createState in interface IncrementalSatSolver

Returns:

createState