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(Supplier<SatSolverState> stateSupplier)
Decomposer	createDecomposer()
List<StateProcessor>	createStateProcessors()
Optional<InterpretationProcessor>	createUnverifiedProcessor(Supplier<SatSolverState> stateSupplier)	Is applied to interpretations before they are verified.
Optional<InterpretationProcessor>	createVerifiedProcessor(Supplier<SatSolverState> stateSupplier)	Is applied to interpretations after they are verified.
Optional<Verifier>	createVerifier(Supplier<SatSolverState> stateSupplier)	Creates a verifier, which acts as a filter.
static Semantics	ground(AbstractDialecticalFramework adf)
default boolean	hasStatefulVerifier()
static Semantics	model(AbstractDialecticalFramework adf)
static Semantics	naive(AbstractDialecticalFramework adf)
static Semantics	preferred(AbstractDialecticalFramework adf)
Semantics	restrict(Interpretation partial)
static Semantics	stable(AbstractDialecticalFramework adf)

Method Details

createDecomposer

Decomposer createDecomposer()

Returns:

createDecomposer

createCandidateGenerator

CandidateGenerator createCandidateGenerator(Supplier<SatSolverState> stateSupplier)

Parameters:

stateSupplier - Supplier

Returns:

CandidateGenerator

createStateProcessors

List<StateProcessor> createStateProcessors()

Returns:

List

createUnverifiedProcessor

Optional<InterpretationProcessor> createUnverifiedProcessor(Supplier<SatSolverState> stateSupplier)

Is applied to interpretations before they are verified.

Parameters:

stateSupplier - stateSupplier

Returns:

Optional

hasStatefulVerifier

default boolean hasStatefulVerifier()

Returns:

boolean hasStatefulVerifier()

createVerifier

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

Creates a verifier, which acts as a filter.

Parameters:

stateSupplier - stateSupplier

Returns:

Optional

createVerifiedProcessor

Optional<InterpretationProcessor> createVerifiedProcessor(Supplier<SatSolverState> stateSupplier)

Is applied to interpretations after they are verified.

Parameters:

stateSupplier - stateSupplier

Returns:

Optional

restrict

Semantics restrict(Interpretation partial)

Parameters:

partial - partial

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