PooledIncrementalSatSolver

java.lang.Object

org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver

All Implemented Interfaces:: IncrementalSatSolver

public final class PooledIncrementalSatSolver extends Object implements IncrementalSatSolver

A decorator which provides a pool of pre computed SatSolverState.

Author:: Mathias Hofer

Nested Class Summary

Nested Classes

Modifier and Type

Class

Description

static class

PooledIncrementalSatSolver.Builder
Method Summary

Modifier and Type

Method

Description

static PooledIncrementalSatSolver.Builder

builder(IncrementalSatSolver satSolver)

void

close()

SatSolverState

createState()

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- builder
  
  public static PooledIncrementalSatSolver.Builder builder(IncrementalSatSolver satSolver)
- createState
  
  public SatSolverState createState()
  
  Specified by:
  
  createState in interface IncrementalSatSolver
- close
  
  public void close()