Interface TerminationFunction

public interface TerminationFunction

Interface for the termination function of SerialisedExtensionReasoner. This function takes an AF and a set E and returns true iff E is an extension of AF.

Author:

Lars Bengel

Field Summary

Fields

Modifier and Type	Field	Description
static final TerminationFunction	ADMISSIBLE	Admissible termination function
static final TerminationFunction	COMPLETE	Complete termination function
static final TerminationFunction	PREFERRED	Preferred termination function
static final TerminationFunction	STABLE	Stable termination function
static final TerminationFunction	UNCHALLENGED	Unchallenged termination function

Method Summary

Modifier and Type	Method	Description
boolean	execute(DungTheory theory, Extension<DungTheory> extension)	Determines whether the current state represents an extension wrt.

Field Details

ADMISSIBLE

static final TerminationFunction ADMISSIBLE

Admissible termination function

COMPLETE

static final TerminationFunction COMPLETE

Complete termination function

UNCHALLENGED

static final TerminationFunction UNCHALLENGED

Unchallenged termination function

PREFERRED

static final TerminationFunction PREFERRED

Preferred termination function

STABLE

static final TerminationFunction STABLE

Stable termination function

Method Details

execute

boolean execute(DungTheory theory,
 Extension<DungTheory> extension)

Determines whether the current state represents an extension wrt. the semantics or not.

Parameters:

theory - The current framework of the transition system

extension - The extension constructed so far

Returns:

true, if the state satisfies the termination condition of the semantics