Uses of Class
org.tweetyproject.arg.dung.semantics.Extension

Packages that use Extension

Package	Description
org.tweetyproject.agents.dialogues
org.tweetyproject.agents.dialogues.oppmodels
org.tweetyproject.arg.bipolar.syntax
org.tweetyproject.arg.dung.divisions
org.tweetyproject.arg.dung.ldo.semantics
org.tweetyproject.arg.dung.learning
org.tweetyproject.arg.dung.learning.syntax
org.tweetyproject.arg.dung.parser
org.tweetyproject.arg.dung.principles
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.arg.dung.reasoner.serialisable
org.tweetyproject.arg.dung.semantics
org.tweetyproject.arg.dung.serialisability.semantics
org.tweetyproject.arg.dung.syntax
org.tweetyproject.arg.extended.reasoner
org.tweetyproject.arg.extended.syntax
org.tweetyproject.arg.prob.lotteries
org.tweetyproject.arg.prob.reasoner
org.tweetyproject.arg.prob.semantics
org.tweetyproject.arg.rankings.reasoner
org.tweetyproject.arg.setaf.reasoners
org.tweetyproject.arg.setaf.syntax
org.tweetyproject.arg.weighted.reasoner
org.tweetyproject.arg.weighted.syntax
org.tweetyproject.web.services.dung

Uses of Extension in org.tweetyproject.agents.dialogues

Subclasses of Extension in org.tweetyproject.agents.dialogues

Modifier and Type	Class	Description
class	ExecutableExtension	This class packs an extension into an executable object.

Methods in org.tweetyproject.agents.dialogues that return types with arguments of type Extension

Modifier and Type	Method	Description
DialogueTrace<Argument,Extension<DungTheory>>	ArgumentationEnvironment.getDialogueTrace()	Returns the current dialogue trace.

Methods in org.tweetyproject.agents.dialogues with parameters of type Extension

Modifier and Type	Method	Description
DungTheory	ArgumentationEnvironment.getPerceivedDungTheory(Extension<DungTheory> arguments)	Returns the view of the universal Dung theory restricted to the given set of arguments.
DungTheory	LotteryArgumentationEnvironment.getPerceivedDungTheory(Extension<?> arguments)	Returns the view of the universal Dung theory restricted to the given set of arguments.

Uses of Extension in org.tweetyproject.agents.dialogues.oppmodels

Method parameters in org.tweetyproject.agents.dialogues.oppmodels with type arguments of type Extension

Modifier and Type	Method	Description
Pair<Double,Set<ExecutableExtension>>	T1BeliefState.doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension<DungTheory>> trace)
double	GroundedGameUtilityFunction.getUtility(DialogueTrace<Argument,Extension<DungTheory>> trace)
double	GroundedGameUtilityFunction.getUtility(DialogueTrace<Argument,Extension<DungTheory>> trace, Set<Argument> additionalArguments, Set<Attack> additionalAttacks)
abstract void	BeliefState.update(DialogueTrace<Argument,Extension<DungTheory>> trace)	Updates the current belief state accordingly to the given dialogue trace.
void	T1BeliefState.update(DialogueTrace<Argument,Extension<DungTheory>> trace)
void	T2BeliefState.update(DialogueTrace<Argument,Extension<DungTheory>> trace)
void	T3BeliefState.update(DialogueTrace<Argument,Extension<DungTheory>> trace)

Constructors in org.tweetyproject.agents.dialogues.oppmodels with parameters of type Extension

Modifier	Constructor	Description
	BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument,Extension<DungTheory>> utilityFunction)	Creates a new belief-state with the given parameters.
	T1BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument,Extension<DungTheory>> utilityFunction)	Creates a new T1-belief-state with the given parameters and without nesting.
	T1BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument,Extension<DungTheory>> utilityFunction, T1BeliefState oppModel)	Creates a new T1-belief-state with the given parameters.
	T2BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument,Extension<DungTheory>> utilityFunction)	Creates a new T2-belief-state with the given parameters and without nesting.
	T2BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument,Extension<DungTheory>> utilityFunction, ProbabilityFunction<T2BeliefState> prob)	Creates a new T2-belief-state with the given parameters.
	T3BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument,Extension<DungTheory>> utilityFunction, Set<Argument> virtualArguments, Set<Attack> virtualAttacks, RecognitionFunction rec, ProbabilityFunction<T3BeliefState> prob)	Creates a new T3-belief-state with the given parameters.

Constructor parameters in org.tweetyproject.agents.dialogues.oppmodels with type arguments of type Extension

Modifier	Constructor	Description
	BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument,Extension<DungTheory>> utilityFunction)	Creates a new belief-state with the given parameters.
	T1BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument,Extension<DungTheory>> utilityFunction)	Creates a new T1-belief-state with the given parameters and without nesting.
	T1BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument,Extension<DungTheory>> utilityFunction, T1BeliefState oppModel)	Creates a new T1-belief-state with the given parameters.
	T2BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument,Extension<DungTheory>> utilityFunction)	Creates a new T2-belief-state with the given parameters and without nesting.
	T2BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument,Extension<DungTheory>> utilityFunction, ProbabilityFunction<T2BeliefState> prob)	Creates a new T2-belief-state with the given parameters.
	T3BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument,Extension<DungTheory>> utilityFunction, Set<Argument> virtualArguments, Set<Attack> virtualAttacks, RecognitionFunction rec, ProbabilityFunction<T3BeliefState> prob)	Creates a new T3-belief-state with the given parameters.

Uses of Extension in org.tweetyproject.arg.bipolar.syntax

Constructors in org.tweetyproject.arg.bipolar.syntax with parameters of type Extension

Modifier	Constructor	Description
	ArgumentSet(Extension<DungTheory> ext)	Constructs an ArgumentSet and initializes it with the arguments from a given Extension<DungTheory>.

Uses of Extension in org.tweetyproject.arg.dung.divisions

Methods in org.tweetyproject.arg.dung.divisions with parameters of type Extension

Modifier and Type	Method	Description
static Collection<Division>	Division.getDivisions(Extension<DungTheory> ext, DungTheory aaf)	Returns all divisions of aaf that arise from the given extension.
boolean	Division.isValid(Extension<DungTheory> ext)	Checks whether this division is valid wrt.

Method parameters in org.tweetyproject.arg.dung.divisions with type arguments of type Extension

Modifier and Type	Method	Description
static Collection<Division>	Division.getDivisions(Collection<Extension<DungTheory>> exts, DungTheory aaf)	Returns all divisions of all given extensions and the given aaf.
boolean	Division.isValid(Collection<Extension<DungTheory>> exts)	Checks whether this division is valid wrt.

Constructors in org.tweetyproject.arg.dung.divisions with parameters of type Extension

Modifier	Constructor	Description
	Division(Extension<DungTheory> p, Extension<DungTheory> v)	Creates a new division for the given parameters.

Uses of Extension in org.tweetyproject.arg.dung.ldo.semantics

Constructors in org.tweetyproject.arg.dung.ldo.semantics with parameters of type Extension

Modifier	Constructor	Description
	LdoInterpretation(DungTheory theory, Extension ext, Semantics semantics)	Creates a new interpretation

Uses of Extension in org.tweetyproject.arg.dung.learning

Methods in org.tweetyproject.arg.dung.learning that return types with arguments of type Extension

Modifier and Type	Method	Description
Map<Collection<Extension<DungTheory>>,Map<Collection<Extension<DungTheory>>,Collection<DungTheory>>>	ExampleFinder.getExamples(int minArgs, int maxArgs)	compute a tree like structure of examples.
Map<Collection<Extension<DungTheory>>,Map<Collection<Extension<DungTheory>>,Collection<DungTheory>>>	ExampleFinder.getExamples(int minArgs, int maxArgs)	compute a tree like structure of examples.
Map<Collection<Extension<DungTheory>>,Map<Collection<Extension<DungTheory>>,Map<Collection<Extension<DungTheory>>,Collection<DungTheory>>>>	ExtendedExampleFinder.getExamples(int minArgs, int maxArgs)	compute a tree like structure of examples.
Map<Collection<Extension<DungTheory>>,Map<Collection<Extension<DungTheory>>,Map<Collection<Extension<DungTheory>>,Collection<DungTheory>>>>	ExtendedExampleFinder.getExamples(int minArgs, int maxArgs)	compute a tree like structure of examples.
Map<Collection<Extension<DungTheory>>,Map<Collection<Extension<DungTheory>>,Map<Collection<Extension<DungTheory>>,Collection<DungTheory>>>>	ExtendedExampleFinder.getExamples(int minArgs, int maxArgs)	compute a tree like structure of examples.

Method parameters in org.tweetyproject.arg.dung.learning with type arguments of type Extension

Modifier and Type	Method	Description
DungTheory	NiskanenTheorySynthesizer.learnExamples(Map<Extension<DungTheory>,Integer> positiveExamples, Map<Extension<DungTheory>,Integer> negativeExamples)	learns an argumentation framework fulfilling as many positive examples as possible while trying to not fulfill any negative examples
void	ExampleFinder.showExamples(Collection<Extension<DungTheory>> extensions)	prints a theory for each set of extensions (of the second semantics) that can occur, given the set of extensions for the first semantics
void	ExtendedExampleFinder.showExamples(Collection<Extension<DungTheory>> extensions1, Collection<Extension<DungTheory>> extensions2)	prints a theory for each set of extensions (of the third semantics) that can occur, given the set of extensions for the first and second semantics

Uses of Extension in org.tweetyproject.arg.dung.learning.syntax

Constructors in org.tweetyproject.arg.dung.learning.syntax with parameters of type Extension

Modifier	Constructor	Description
	Input(DungTheory theory, Extension extension, Semantics semantics)	initialize input labeling from the given extension

Uses of Extension in org.tweetyproject.arg.dung.parser

Methods in org.tweetyproject.arg.dung.parser that return Extension

Modifier and Type	Method	Description
static Extension	AbstractDungParser.parseArgumentList(String s)	Returns a collection view of the given set of arguments

Uses of Extension in org.tweetyproject.arg.dung.principles

Methods in org.tweetyproject.arg.dung.principles that return types with arguments of type Extension

Modifier and Type	Method	Description
Collection<Extension<DungTheory>>	NonInterferencePrinciple.getIsolatedSets(DungTheory theory)	Method for calculating isolated sets in a given theory A set E is isolated in a theory AF iff there exists no argument a in {AF \ E}, with a attacks E and there exists no argument b in E, with b attacks {AF \ E}.
Collection<Extension<DungTheory>>	DirectionalityPrinciple.getUnattackedSets(DungTheory theory)	utility method for calculating unattacked sets in a given theory a set E is unattacked in theory iff there exists no argument a in theory \ E, with a attacks E

Uses of Extension in org.tweetyproject.arg.dung.reasoner

Methods in org.tweetyproject.arg.dung.reasoner that return Extension

Modifier and Type	Method	Description
Extension<DungTheory>	ExtensionRankingReasoner.getConflicts(Extension<DungTheory> ext, DungTheory theory)	computes the set of conflicts occurring inside ext
Extension<DungTheory>	ExtensionRankingReasoner.getDefendedNotIn(Extension<DungTheory> ext, DungTheory theory)	computes the set of arguments outside of ext, which are defended by ext
Extension<DungTheory>	AbstractSatExtensionReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	ProboI23Reasoner.getModel(DungTheory bbase)
Extension<DungTheory>	ProboReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	QualifiedReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SccCF2Reasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SCF2Reasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SCOOCNaiveReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SemiQualifiedReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SimpleAdmissibleReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SimpleCompleteReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SimpleConflictFreeReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SimpleEagerReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SimpleGroundedReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SimpleIdealReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SimpleInitialReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SimpleNaiveReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SimplePreferredReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SimpleResolutionBasedReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SimpleSccCompleteReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SimpleSccRecursiveReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SimpleSemiStableReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SimpleStableReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SimpleStageReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	SolidAdmissibleReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	Stage2Reasoner.getModel(DungTheory bbase)
Extension<DungTheory>	StronglyAdmissibleReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	VacuousReductReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	WeaklyAdmissibleReasoner.getModel(DungTheory bbase)	returns one weakly admissible set of bbase
Extension<DungTheory>	WeaklyCompleteReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	WeaklyGroundedReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	WeaklyPreferredReasoner.getModel(DungTheory bbase)
Extension<DungTheory>	ExtensionRankingReasoner.getUnattacked(Extension<DungTheory> ext, DungTheory theory)	computes the set of arguments outside of ext, which are not attacked by ext
Extension<DungTheory>	ExtensionRankingReasoner.getUndefended(Extension<DungTheory> ext, DungTheory theory)	computes the set of arguments in ext, which are not defended by ext against outside attackers

Methods in org.tweetyproject.arg.dung.reasoner that return types with arguments of type Extension

Modifier and Type	Method	Description
Collection<Collection<Extension<DungTheory>>>	IncompleteReasoner.getAllModels(IncompleteTheory theory)
Collection<Extension<DungTheory>>	SimpleNaiveReasoner.getMaximalConflictFreeSets(DungTheory bbase, Collection<Argument> candidates)	computes all maximal conflict-free sets of bbase
List<Extension<DungTheory>>	ExtensionRankingReasoner.getModel(DungTheory theory)	returns the lowest rank of the "getModels" method
Collection<Extension<DungTheory>>	AbstractSatExtensionReasoner.getModels(DungTheory bbase)
List<List<Extension<DungTheory>>>	ExtensionRankingReasoner.getModels(DungTheory theory)	compute the ordering over all subsets of theory wrt.
Collection<Extension<DungTheory>>	ProboI23Reasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	ProboReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	QualifiedReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SccCF2Reasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SCF2Reasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SCOOCNaiveReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SemiQualifiedReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SimpleAdmissibleReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SimpleCompleteReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SimpleConflictFreeReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SimpleEagerReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SimpleGroundedReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SimpleIdealReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SimpleInitialReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SimpleNaiveReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SimplePreferredReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SimpleResolutionBasedReasoner.getModels(DungTheory bbase)	compute the extension with the base semantics of this.semantic
Collection<Extension<DungTheory>>	SimpleSccCompleteReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SimpleSccRecursiveReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SimpleSemiStableReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SimpleStableReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SimpleStageReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SolidAdmissibleReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	Stage2Reasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	StronglyAdmissibleReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	VacuousReductReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	WeaklyAdmissibleReasoner.getModels(DungTheory bbase)	computes all weakly admissible sets of bbase.
Collection<Extension<DungTheory>>	WeaklyCompleteReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	WeaklyGroundedReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	WeaklyPreferredReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	IncompleteReasoner.getNecessaryModels(IncompleteTheory theory)	Computes the set of necessary extensions
Collection<Extension<DungTheory>>	IncompleteReasoner.getPossibleModels(IncompleteTheory theory)	Computes the set of possible extensions
static Map<SimpleInitialReasoner.Initial,Collection<Extension<DungTheory>>>	SimpleInitialReasoner.partitionInitialSets(DungTheory theory)	Helper function that computed the initial sets of F and labels them in three categories
Pair<Boolean,Extension<DungTheory>>	ProboI23Reasoner.queryW(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)

Methods in org.tweetyproject.arg.dung.reasoner with parameters of type Extension

Modifier and Type	Method	Description
Extension<DungTheory>	ExtensionRankingReasoner.getConflicts(Extension<DungTheory> ext, DungTheory theory)	computes the set of conflicts occurring inside ext
Extension<DungTheory>	ExtensionRankingReasoner.getDefendedNotIn(Extension<DungTheory> ext, DungTheory theory)	computes the set of arguments outside of ext, which are defended by ext
Collection<Argument>	SolidAdmissibleReasoner.getSolidlyDefended(Extension<DungTheory> ext, DungTheory theory)
Extension<DungTheory>	ExtensionRankingReasoner.getUnattacked(Extension<DungTheory> ext, DungTheory theory)	computes the set of arguments outside of ext, which are not attacked by ext
Extension<DungTheory>	ExtensionRankingReasoner.getUndefended(Extension<DungTheory> ext, DungTheory theory)	computes the set of arguments in ext, which are not defended by ext against outside attackers
boolean	SimpleInitialReasoner.isChallenged(Extension<DungTheory> ext, DungTheory theory)	An initial set S is called challenged in F iff there is some other initial set of F which attacks S
boolean	SolidAdmissibleReasoner.isSolidlyDefendedBy(Argument arg, Extension<DungTheory> ext, DungTheory theory)
boolean	SimpleInitialReasoner.isUnattacked(Extension<DungTheory> ext, DungTheory theory)	A set S is called unattacked if there is no attacker of S in F
boolean	SimpleInitialReasoner.isUnchallenged(Extension<DungTheory> ext, DungTheory theory)	An initial set S is called unchallenged in F iff there is no other initial set of F which attacks S

Uses of Extension in org.tweetyproject.arg.dung.reasoner.serialisable

Methods in org.tweetyproject.arg.dung.reasoner.serialisable that return Extension

Modifier and Type	Method	Description
Extension<DungTheory>	SerialisableExtensionReasoner.getModel(DungTheory bbase)

Methods in org.tweetyproject.arg.dung.reasoner.serialisable that return types with arguments of type Extension

Modifier and Type	Method	Description
Collection<Extension<DungTheory>>	SerialisableExtensionReasoner.getModels(DungTheory bbase)
Collection<Extension<DungTheory>>	SerialisedAdmissibleReasoner.selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged)	Select a subset of the initial sets of the AF, i.e.
Collection<Extension<DungTheory>>	SerialisedGroundedReasoner.selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged)	Select a subset of the initial sets of the AF, i.e.
Collection<Extension<DungTheory>>	SerialisedStronglyAdmissibleReasoner.selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged)	Select a subset of the initial sets of the AF, i.e.
Collection<Extension<DungTheory>>	SerialisedUnchallengedReasoner.selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged)	Select a subset of the initial sets of the AF, i.e.

Methods in org.tweetyproject.arg.dung.reasoner.serialisable with parameters of type Extension

Modifier and Type	Method	Description
abstract boolean	SerialisableExtensionReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension)	Determines whether the current state represents an extension wrt.
boolean	SerialisedAdmissibleReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension)	Determines whether the current state represents an extension wrt.
boolean	SerialisedCompleteReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension)	Determines whether the current state represents an extension wrt.
boolean	SerialisedPreferredReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension)	Determines whether the current state represents an extension wrt.
boolean	SerialisedStableReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension)	Determines whether the current state represents an extension wrt.
boolean	SerialisedUnchallengedReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension)	Determines whether the current state represents an extension wrt.

Method parameters in org.tweetyproject.arg.dung.reasoner.serialisable with type arguments of type Extension

Modifier and Type	Method	Description
Collection<Extension<DungTheory>>	SerialisedAdmissibleReasoner.selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged)	Select a subset of the initial sets of the AF, i.e.
Collection<Extension<DungTheory>>	SerialisedGroundedReasoner.selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged)	Select a subset of the initial sets of the AF, i.e.
Collection<Extension<DungTheory>>	SerialisedStronglyAdmissibleReasoner.selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged)	Select a subset of the initial sets of the AF, i.e.
Collection<Extension<DungTheory>>	SerialisedUnchallengedReasoner.selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged)	Select a subset of the initial sets of the AF, i.e.

Uses of Extension in org.tweetyproject.arg.dung.semantics

Methods in org.tweetyproject.arg.dung.semantics that return Extension

Modifier and Type	Method	Description
abstract Extension	AbstractArgumentationInterpretation.getArgumentsOfStatus(ArgumentStatus status)	Returns all arguments that have the given status in this interpretation.
Extension<T>	Extension.getArgumentsOfStatus(ArgumentStatus status)
Extension<? extends ArgumentationFramework<Argument>>	Labeling.getArgumentsOfStatus(ArgumentStatus status)

Methods in org.tweetyproject.arg.dung.semantics with parameters of type Extension

Modifier and Type	Method	Description
int	Extension.compareTo(Extension<T> arg0)

Constructors in org.tweetyproject.arg.dung.semantics with parameters of type Extension

Modifier	Constructor	Description
	Labeling(ArgumentationFramework<Argument> theory, Extension<? extends ArgumentationFramework<Argument>> ext)	Creates a new labeling from the given extension wrt.
	MinMaxNumbering(ArgumentationFramework<Argument> theory, Extension<? extends ArgumentationFramework<Argument>> extension)	Initializes a new Min-Max Numbering for the given theory and extension

Uses of Extension in org.tweetyproject.arg.dung.serialisability.semantics

Methods in org.tweetyproject.arg.dung.serialisability.semantics that return Extension

Modifier and Type	Method	Description
Extension<DungTheory>	SerialisationSequence.getArgumentsOfStatus(ArgumentStatus status)
Extension<DungTheory>	SerialisationNode.getExtension()	Return the extension corresponding to this state
Extension<DungTheory>	SerialisationSequence.getExtension()	Computes the corresponding extension as the union of all the sets in the sequence

Methods in org.tweetyproject.arg.dung.serialisability.semantics that return types with arguments of type Extension

Modifier and Type	Method	Description
Collection<Extension<DungTheory>>	SerialisationGraph.getExtensions()	Return the extension that the represented serialisation sequences correspond to

Methods in org.tweetyproject.arg.dung.serialisability.semantics with parameters of type Extension

Modifier and Type	Method	Description
SerialisationNode	SerialisationGraph.getNodeForExtension(Extension<DungTheory> extension)	Return the node of this graph that corresponds to the given extension

Constructors in org.tweetyproject.arg.dung.serialisability.semantics with parameters of type Extension

Modifier	Constructor	Description
	SerialisationNode(DungTheory theory, Extension<DungTheory> extension)	Initializes a serialisation state for the given theory and extension with terminal set to false
	SerialisationNode(DungTheory theory, Extension<DungTheory> extension, boolean terminal)	Initializes a new serialisation state for the given theory and extension and terminal value

Uses of Extension in org.tweetyproject.arg.dung.syntax

Methods in org.tweetyproject.arg.dung.syntax that return Extension

Modifier and Type	Method	Description
Extension<DungTheory>	DungTheory.faf(Extension<DungTheory> extension)	The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.

Methods in org.tweetyproject.arg.dung.syntax with parameters of type Extension

Modifier and Type	Method	Description
ClaimSet	ClaimBasedTheory.defeats(Extension ext)
Extension<DungTheory>	DungTheory.faf(Extension<DungTheory> extension)	The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.
Set<Claim>	ClaimBasedTheory.getClaims(Extension<DungTheory> ext)	get all claims of a given extension
boolean	DungTheory.isAcceptable(Argument argument, Extension<DungTheory> ext)	returns true if every attacker on argument is attacked by some accepted argument wrt.
boolean	DungTheory.isAdmissible(Extension<DungTheory> ext)	returns true if every accepted argument of this is defended by some accepted argument wrt.
boolean	ArgumentationFramework.isAttacked(Arg a, Extension<? extends ArgumentationFramework<?>> ext)	Determines whether a given argument is attacked by any arguments in the specified extension.
boolean	DungTheory.isAttacked(Extension<DungTheory> ext1, Extension<DungTheory> ext2)	returns true if some argument of ext2 attacks some argument in ext1
boolean	DungTheory.isAttacked(Argument argument, Extension<? extends ArgumentationFramework<?>> ext)	returns true if some argument of ext attacks argument.
boolean	DungTheory.isAttackingAllOtherArguments(Extension<? extends ArgumentationFramework<Argument>> ext)	returns true if arguments attack all other arguments in the theory
boolean	DungTheory.isComplete(Extension<DungTheory> e)	Checks whether the given extension is complete wrt.
boolean	DungTheory.isConflictFree(Extension<DungTheory> ext)	returns true if no accepted argument attacks another accepted one in this interpretation wrt.
boolean	DungTheory.isStable(Extension<DungTheory> e)	Checks whether the given extension is stable wrt.

Uses of Extension in org.tweetyproject.arg.extended.reasoner

Methods in org.tweetyproject.arg.extended.reasoner that return Extension

Modifier and Type	Method	Description
Extension<ExtendedTheory>	FlattenBasedExtendedExtensionReasoner.getModel(ExtendedTheory bbase)
Extension<ExtendedTheory>	SimpleExtendedAdmissibleReasoner.getModel(ExtendedTheory bbase)	Returns one admissible extension of the given extended theory.
Extension<ExtendedTheory>	SimpleExtendedCompleteReasoner.getModel(ExtendedTheory bbase)	Returns one complete extension of the given extended theory.
Extension<ExtendedTheory>	SimpleExtendedConflictFreeReasoner.getModel(ExtendedTheory bbase)	Returns one conflict-free extension of the given extended theory.

Methods in org.tweetyproject.arg.extended.reasoner that return types with arguments of type Extension

Modifier and Type	Method	Description
Collection<Extension<ExtendedTheory>>	FlattenBasedExtendedExtensionReasoner.getModels(ExtendedTheory bbase)
Collection<Extension<ExtendedTheory>>	SimpleExtendedAdmissibleReasoner.getModels(ExtendedTheory bbase)	Returns the collection of admissible extensions of the given extended theory.
Collection<Extension<ExtendedTheory>>	SimpleExtendedCompleteReasoner.getModels(ExtendedTheory bbase)	Returns the collection of complete extensions of the given extended theory.
Collection<Extension<ExtendedTheory>>	SimpleExtendedConflictFreeReasoner.getModels(ExtendedTheory bbase)	Returns the collection of conflict-free extensions of the given extended theory.

Uses of Extension in org.tweetyproject.arg.extended.syntax

Methods in org.tweetyproject.arg.extended.syntax with parameters of type Extension

Modifier and Type	Method	Description
boolean	ExtendedTheory.isAttacked(Argument a, Extension<? extends ArgumentationFramework<?>> ext)
boolean	RecursiveExtendedTheory.isAttacked(Argument a, Extension<? extends ArgumentationFramework<?>> ext)

Uses of Extension in org.tweetyproject.arg.prob.lotteries

Methods in org.tweetyproject.arg.prob.lotteries with parameters of type Extension

Modifier and Type	Method	Description
Probability	SubgraphProbabilityFunction.getAcceptanceProbability(Extension ext, Semantics semantics)	Returns the probability of the given set of arguments being acceptable wrt.
SubgraphProbabilityFunction	SubgraphProbabilityFunction.naiveUpdate(Extension e)	Updates this probability function with the given extension, i.e.

Uses of Extension in org.tweetyproject.arg.prob.reasoner

Methods in org.tweetyproject.arg.prob.reasoner with parameters of type Extension

Modifier and Type	Method	Description
abstract Double	AbstractPafReasoner.query(ProbabilisticArgumentationFramework paf, Extension ext)	Estimates the probability that the given set of arguments is an extension
Double	MonteCarloPafReasoner.query(ProbabilisticArgumentationFramework paf, Extension ext)
Double	SimplePafReasoner.query(ProbabilisticArgumentationFramework paf, Extension ext)	Estimates the probability that the given set of arguments is an extension

Uses of Extension in org.tweetyproject.arg.prob.semantics

Methods in org.tweetyproject.arg.prob.semantics that return Extension

Modifier and Type	Method	Description
Extension<DungTheory>	ProbabilisticExtension.geLowerCut(DungTheory theory, double delta)	Returns the lower cut of this probabilistic extension wrt.
Extension<DungTheory>	ProbabilisticExtension.getAllArguments()	Returns the set of all arguments appearing.
Extension<DungTheory>	ProbabilisticExtension.getUpperCut(DungTheory theory, double delta)	Returns the upper cut of this probabilistic extension wrt.

Uses of Extension in org.tweetyproject.arg.rankings.reasoner

Methods in org.tweetyproject.arg.rankings.reasoner that return types with arguments of type Extension

Modifier and Type	Method	Description
Collection<Extension<DungTheory>>	IteratedGradedDefenseReasoner.getAllMNCompleteExtensions(DungTheory theory, int m, int n)	Returns all mn-complete extensions.
Collection<Extension<DungTheory>>	IteratedGradedDefenseReasoner.getAllMNGroundedExtensions(DungTheory theory, int m, int n)	Returns all mn-grounded extensions.
Collection<Extension<DungTheory>>	IteratedGradedDefenseReasoner.getAllMNPreferredExtensions(DungTheory theory, int m, int n)	Returns all mn-preferred extensions.
Collection<Extension<DungTheory>>	IteratedGradedDefenseReasoner.getAllMStableExtensions(DungTheory theory, int m)	Returns all m-stable extensions.

Uses of Extension in org.tweetyproject.arg.setaf.reasoners

Methods in org.tweetyproject.arg.setaf.reasoners that return Extension

Modifier and Type	Method	Description
Extension<SetAf>	SimpleAdmissibleSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleCompleteSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleConflictFreeSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleEagerSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleGroundedSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleIdealSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimplePreferredSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleSemiStableSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleStableSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleStageSetAfReasoner.getModel(SetAf bbase)

Methods in org.tweetyproject.arg.setaf.reasoners that return types with arguments of type Extension

Modifier and Type	Method	Description
Collection<Extension<SetAf>>	SimpleAdmissibleSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleCompleteSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleConflictFreeSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleEagerSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleGroundedSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleIdealSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimplePreferredSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleSemiStableSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleStableSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleStageSetAfReasoner.getModels(SetAf bbase)

Uses of Extension in org.tweetyproject.arg.setaf.syntax

Methods in org.tweetyproject.arg.setaf.syntax that return Extension

Modifier and Type	Method	Description
Extension<SetAf>	SetAf.faf(Extension<SetAf> extension)	The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.

Methods in org.tweetyproject.arg.setaf.syntax with parameters of type Extension

Modifier and Type	Method	Description
Extension<SetAf>	SetAf.faf(Extension<SetAf> extension)	The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.
boolean	SetAf.isAcceptable(Argument argument, Extension<SetAf> ext)	returns true if every attacker on argument is attacked by some accepted argument wrt.
boolean	SetAf.isAdmissible(Extension<SetAf> ext)	returns true if every accepted argument of this is defended by some accepted argument wrt.
boolean	SetAf.isAttacked(Argument argument, Extension<? extends ArgumentationFramework<?>> ext)	returns true if some argument of ext attacks argument.
boolean	SetAf.isAttackingAllOtherArguments(Extension<SetAf> ext)	returns true if arguments attack all other arguments in the theory
boolean	SetAf.isConflictFree(Extension<SetAf> arguments)	returns true if one arguments in arguments attacks another within this attack relation.
boolean	SetAf.isStable(Extension<SetAf> ext)	Checks whether the given extension is stable wrt.

Uses of Extension in org.tweetyproject.arg.weighted.reasoner

Methods in org.tweetyproject.arg.weighted.reasoner that return Extension

Modifier and Type	Method	Description
Extension<DungTheory>	SimpleWeightedAdmissibleReasoner.getModel(DungTheory bbase, T alpha, T gamma)	Returns the empty set as it is always admissible.
Extension<DungTheory>	SimpleWeightedCompleteReasoner.getModel(WeightedArgumentationFramework<T> bbase, T alpha, T gamma)	Returns an alpha-gamma-complete extension for the given weighted argumentation framework.
Extension<DungTheory>	SimpleWeightedConflictFreeReasoner.getModel(WeightedArgumentationFramework<T> bbase, T alpha)	Returns the empty set as it is always conflict-free.
Extension<DungTheory>	SimpleWeightedGroundedReasoner.getModel(WeightedArgumentationFramework<T> bbase, T alpha, T gamma)	Computes and returns the unique alpha-gamma-grounded extension for the given weighted argumentation framework.
Extension<DungTheory>	SimpleWeightedPreferredReasoner.getModel(WeightedArgumentationFramework<T> bbase, T alpha, T gamma)	Computes and returns a single alpha-gamma-preferred extension for the given weighted argumentation framework.
Extension<DungTheory>	SimpleWeightedStableReasoner.getModel(WeightedArgumentationFramework<T> bbase, T alpha, T gamma)	Computes and returns a single alpha-gamma-stable extension for the given weighted argumentation framework.

Methods in org.tweetyproject.arg.weighted.reasoner that return types with arguments of type Extension

Modifier and Type	Method	Description
Collection<Extension<DungTheory>>	SimpleWeightedAdmissibleReasoner.getModels(WeightedArgumentationFramework<T> bbase, T alpha, T gamma)	Computes all alpha-gamma-admissible extensions for the given weighted argumentation framework.
Collection<Extension<DungTheory>>	SimpleWeightedCompleteReasoner.getModels(WeightedArgumentationFramework<T> bbase, T alpha, T gamma)	Computes all alpha-gamma-complete extensions for the given weighted argumentation framework.
Collection<Extension<DungTheory>>	SimpleWeightedConflictFreeReasoner.getModels(WeightedArgumentationFramework<T> bbase, T alpha)	Computes all alpha-conflict-free extensions for the given weighted argumentation framework.
Collection<Extension<DungTheory>>	SimpleWeightedGroundedReasoner.getModels(WeightedArgumentationFramework<T> bbase, T alpha, T gamma)	Computes and returns a collection containing the unique alpha-gamma-grounded extension for the given weighted argumentation framework.
Collection<Extension<DungTheory>>	SimpleWeightedPreferredReasoner.getModels(WeightedArgumentationFramework<T> bbase, T alpha, T gamma)	Computes all alpha-gamma-preferred extensions for the given weighted argumentation framework.
Collection<Extension<DungTheory>>	SimpleWeightedStableReasoner.getModels(WeightedArgumentationFramework<T> bbase, T alpha, T gamma)	Computes all alpha-gamma-stable extensions for the given weighted argumentation framework.

Uses of Extension in org.tweetyproject.arg.weighted.syntax

Methods in org.tweetyproject.arg.weighted.syntax with parameters of type Extension

Modifier and Type	Method	Description
boolean	WeightedArgumentationFramework.gDefence(T gamma, Extension<DungTheory> e)	Determines if the given extension can defend itself from all attacks up to a specified threshold gamma.
boolean	WeightedArgumentationFramework.gDefence(T gamma, Extension<DungTheory> e, Set<Argument> attackers)	Determines if the given extension can defend itself from a set of attackers up to a specified threshold gamma.
boolean	WeightedArgumentationFramework.gDefence(T gamma, Extension<DungTheory> e, Set<Argument> attackers, Set<Argument> attacked)	Determines if the given extension can defend itself and specific arguments from a set of attackers up to a specified threshold gamma.
boolean	WeightedArgumentationFramework.gDefence(T gamma, Argument a, Extension<DungTheory> e)	Determines if the given extension can defend itself and argument a from all attacks up to a specified threshold gamma.
boolean	WeightedArgumentationFramework.isAcceptable(Argument argument, Extension<DungTheory> ext)	returns true if every attacker on argument is successfully attacked by some accepted argument wrt.
boolean	WeightedArgumentationFramework.isAlphaConflictFree(T alpha, Extension<DungTheory> ext)	Determines if the given extension is alpha-conflict-free.
boolean	WeightedArgumentationFramework.isAlphaGammaAdmissible(T alpha, T gamma, Extension<DungTheory> ext)	Determines if the given extension is both alpha-conflict-free and gamma-defensible.
boolean	WeightedArgumentationFramework.isAlphaGammaComplete(T alpha, T gamma, Extension<DungTheory> ext)	Determines if the given extension is both alpha-gamma-complete.
boolean	WeightedArgumentationFramework.isAlphaGammaPreferred(T alpha, T gamma, Extension<DungTheory> ext)	Determines if the given extension is alpha-gamma-preferred.
boolean	WeightedArgumentationFramework.isAlphaGammaStable(T alpha, T gamma, Extension<DungTheory> ext)	Determines if the given extension is alpha-gamma-stable.
boolean	WeightedArgumentationFramework.isAttacked(Extension<DungTheory> ext1, Extension<DungTheory> ext2)	returns true if some argument of ext2 attacks some argument in ext1 and ext1 cannot w-defend itself
boolean	WeightedArgumentationFramework.isAttacked(Argument argument, Extension<? extends ArgumentationFramework<?>> ext)	returns true if some argument of ext attacks argument and argument cannot w-defend itself.
boolean	WeightedArgumentationFramework.isSMA(Extension<DungTheory> attacker, Extension<DungTheory> attacked)	Determines whether the given attacker Extension is a set-maximal attack on the attacked Extension.
boolean	WeightedArgumentationFramework.wDefence(Extension<DungTheory> e)	Determines if the given extension can defend itself from all attacks.
boolean	WeightedArgumentationFramework.wDefence(Extension<DungTheory> e, Set<Argument> attackers)	Determines if the given extension can defend itself from a set of attackers.
boolean	WeightedArgumentationFramework.wDefence(Extension<DungTheory> e, Set<Argument> attackers, Set<Argument> attacked)	Determines if the given extension can defend itself and specific arguments from a set of attackers.
boolean	WeightedArgumentationFramework.wDefence(Argument a, Extension<DungTheory> e)	Determines if the given extension can defend a specific argument from all attacks.

Uses of Extension in org.tweetyproject.web.services.dung

Methods in org.tweetyproject.web.services.dung that return Extension

Modifier and Type	Method	Description
Extension<DungTheory>	DungReasonerGetModelCallee.call()	Executes the getModel operation using the specified reasoner and base DungTheory.

Methods in org.tweetyproject.web.services.dung that return types with arguments of type Extension

Modifier and Type	Method	Description
Collection<Extension<DungTheory>>	DungReasonerGetModelsCallee.call()	Executes the getModels operation using the specified reasoner and base DungTheory.