Package net.sf.tweety.arg.adf.reasoner

Class SatReasonerContext

java.lang.Object

net.sf.tweety.arg.adf.reasoner.SatReasonerContext

public final class SatReasonerContext
extends Object

Encapsulates the necessary information needed by Sat based algorithms.

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
SatReasonerContext(SatEncodingContext encodingContext, IncrementalSatSolver solver, SatSolverState solverState)

Method Summary

Modifier and Type	Method	Description
SatEncodingContext	getEncodingContext()
IncrementalSatSolver	getSolver()
SatSolverState	getSolverState()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SatReasonerContext

public SatReasonerContext(SatEncodingContext encodingContext,
                          IncrementalSatSolver solver,
                          SatSolverState solverState)

Parameters:

encodingContext -

solver -

solverState -

Method Detail

getEncodingContext

public SatEncodingContext getEncodingContext()

Returns:

the encodingContext

getSolver

public IncrementalSatSolver getSolver()

Returns:

the solver

getSolverState

public SatSolverState getSolverState()

Returns:

the solverState