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

Class SatReasonerContext

java.lang.Object

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

public final class SatReasonerContext
extends java.lang.Object

Encapsulates the necessary information needed by Sat based algorithms.

Author:

Mathias Hofer

Field Summary

Fields

Modifier and Type	Field	Description
private SatEncodingContext	encodingContext
private IncrementalSatSolver	solver
private SatSolverState	solverState

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

Field Detail

encodingContext

private SatEncodingContext encodingContext

solver

private IncrementalSatSolver solver

solverState

private SatSolverState solverState

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