Interface SelectionFunction

public interface SelectionFunction

Interface for the selection functions of SerialisedExtensionReasoner. This function takes the set of initial sets as input and returns a selected subset of that.

Author:

Lars Bengel

Field Summary

Fields

Modifier and Type	Field	Description
static final SelectionFunction	ADMISSIBLE	Admissible selection function
static final SelectionFunction	GROUNDED	Grounded selection function
static final SelectionFunction	UNCHALLENGED	Unchallenged selection function

Method Summary

Modifier and Type	Method	Description
Collection<Extension<DungTheory>>	execute(Set<Extension<DungTheory>> ua, Set<Extension<DungTheory>> uc, Set<Extension<DungTheory>> c)	Select a subset of the initial sets of the AF, i.e.

Field Details

GROUNDED

static final SelectionFunction GROUNDED

Grounded selection function

UNCHALLENGED

static final SelectionFunction UNCHALLENGED

Unchallenged selection function

ADMISSIBLE

static final SelectionFunction ADMISSIBLE

Admissible selection function

Method Details

execute

Collection<Extension<DungTheory>> execute(Set<Extension<DungTheory>> ua,
 Set<Extension<DungTheory>> uc,
 Set<Extension<DungTheory>> c)

Select a subset of the initial sets of the AF, i.e. the possible transitions

Parameters:

ua - the set of unattacked initial sets

uc - the set of unchallenged initial sets

c - the set of challenged initial sets

Returns:

a subset of the initial sets