Class 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 final class	PooledIncrementalSatSolver.Builder	class Builder

Method Summary

Modifier and Type	Method	Description
static PooledIncrementalSatSolver.Builder	builder(IncrementalSatSolver satSolver)
void	close()	close
SatSolverState	createState()	Return 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)

Parameters:

satSolver - satSolver

Returns:

Builder builder

createState

public SatSolverState createState()

Description copied from interface: IncrementalSatSolver

Return createState

Specified by:

createState in interface IncrementalSatSolver

Returns:

createState

close

public void close()

close