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()

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()
  
  NativeMinisatSolver
Method Details
- createState
  
  public SatSolverState createState()
  
  Specified by:
  
  createState in interface IncrementalSatSolver
  
  Returns:
  
  createState