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

Class NativeLingelingSolver

java.lang.Object

org.tweetyproject.arg.adf.sat.solver.NativeLingelingSolver

All Implemented Interfaces:

IncrementalSatSolver

public final class NativeLingelingSolver
extends Object
implements IncrementalSatSolver

Experimental lingeling binding

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
NativeLingelingSolver()	NativeLingelingSolver

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

NativeLingelingSolver

public NativeLingelingSolver()

NativeLingelingSolver

Method Details

createState

public SatSolverState createState()

Description copied from interface: IncrementalSatSolver

Return createState

Specified by:

createState in interface IncrementalSatSolver

Returns:

createState