Package org.tweetyproject.arg.adf.reasoner.sat.execution

Interface Semantics

public interface Semantics

Provides access to the computational building blocks of SAT based ADF semantics.

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
static Semantics	admissible(AbstractDialecticalFramework adf)
static Semantics	complete(AbstractDialecticalFramework adf)
static Semantics	conflictFree(AbstractDialecticalFramework adf)
CandidateGenerator	createCandidateGenerator()
List<InterpretationProcessor>	createCandidateProcessor(Supplier<SatSolverState> stateSupplier)
Decomposer	createDecomposer()
List<InterpretationProcessor>	createModelProcessors(Supplier<SatSolverState> stateSupplier)
List<StateProcessor>	createStateProcessors()
Optional<Verifier>	createVerifier(Supplier<SatSolverState> stateSupplier)
static Semantics	ground(AbstractDialecticalFramework adf)
static Semantics	model(AbstractDialecticalFramework adf)
static Semantics	naive(AbstractDialecticalFramework adf)
static Semantics	preferred(AbstractDialecticalFramework adf)
static Semantics	stable(AbstractDialecticalFramework adf)
Semantics	withPrefix(Interpretation prefix)

Method Details

createDecomposer

Decomposer createDecomposer()

Returns:

createDecomposer

createCandidateGenerator

CandidateGenerator createCandidateGenerator()

Returns:

createCandidateGenerator

createStateProcessors

List<StateProcessor> createStateProcessors()

Returns:

createStateProcessors

createCandidateProcessor

List<InterpretationProcessor> createCandidateProcessor(Supplier<SatSolverState> stateSupplier)

Parameters:

stateSupplier - stateSupplier

Returns:

createCandidateProcessor

createVerifier

Optional<Verifier> createVerifier(Supplier<SatSolverState> stateSupplier)

Parameters:

stateSupplier - stateSupplier

Returns:

createVerifier

createModelProcessors

List<InterpretationProcessor> createModelProcessors(Supplier<SatSolverState> stateSupplier)

Parameters:

stateSupplier - stateSupplier

Returns:

createModelProcessors

withPrefix

Semantics withPrefix(Interpretation prefix)

Parameters:

prefix - prefix

Returns:

a new Semantics instance

conflictFree

static Semantics conflictFree(AbstractDialecticalFramework adf)

Parameters:

adf - adf

Returns:

conflictFree

naive

static Semantics naive(AbstractDialecticalFramework adf)

Parameters:

adf - adf

Returns:

naive

admissible

static Semantics admissible(AbstractDialecticalFramework adf)

Parameters:

adf - adf

Returns:

admissible

preferred

static Semantics preferred(AbstractDialecticalFramework adf)

Parameters:

adf - adf

Returns:

preferred

stable

static Semantics stable(AbstractDialecticalFramework adf)

Parameters:

adf - adf

Returns:

stable

complete

static Semantics complete(AbstractDialecticalFramework adf)

Parameters:

adf - adf

Returns:

complete

model

static Semantics model(AbstractDialecticalFramework adf)

Parameters:

adf - adf

Returns:

model

ground

static Semantics ground(AbstractDialecticalFramework adf)

Parameters:

adf - adf

Returns:

ground