Uses of Class
net.sf.tweety.arg.dung.semantics.Extension

Packages that use Extension

Package	Description
net.sf.tweety.agents.dialogues
net.sf.tweety.agents.dialogues.oppmodels
net.sf.tweety.agents.dialogues.oppmodels.sim
net.sf.tweety.arg.dung
net.sf.tweety.arg.dung.divisions
net.sf.tweety.arg.dung.ldo.semantics
net.sf.tweety.arg.dung.parser
net.sf.tweety.arg.dung.prover
net.sf.tweety.arg.dung.semantics
net.sf.tweety.arg.prob
net.sf.tweety.arg.prob.lotteries
net.sf.tweety.arg.prob.semantics

Uses of Extension in net.sf.tweety.agents.dialogues

Subclasses of Extension in net.sf.tweety.agents.dialogues

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

Fields in net.sf.tweety.agents.dialogues with type parameters of type Extension

Modifier and Type	Field and Description
private DialogueTrace<Argument,Extension>	ArgumentationEnvironment.trace The current dialogue trace.

Methods in net.sf.tweety.agents.dialogues that return types with arguments of type Extension

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

Methods in net.sf.tweety.agents.dialogues with parameters of type Extension

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

Uses of Extension in net.sf.tweety.agents.dialogues.oppmodels

Fields in net.sf.tweety.agents.dialogues.oppmodels declared as Extension

Modifier and Type	Field and Description
private Extension	BeliefState.knownArguments The set of arguments known by the agent.

Fields in net.sf.tweety.agents.dialogues.oppmodels with type parameters of type Extension

Modifier and Type	Field and Description
private UtilityFunction<Argument,Extension>	BeliefState.utilityFunction The utility function of the agent.

Methods in net.sf.tweety.agents.dialogues.oppmodels that return Extension

Modifier and Type	Method and Description
protected Extension	BeliefState.getKnownArguments() Returns the set of known arguments.

Methods in net.sf.tweety.agents.dialogues.oppmodels that return types with arguments of type Extension

Modifier and Type	Method and Description
protected UtilityFunction<Argument,Extension>	BeliefState.getUtilityFunction() Returns the utility function of this belief state.

Methods in net.sf.tweety.agents.dialogues.oppmodels with parameters of type Extension

Modifier and Type	Method and Description
private double	GroundedGameUtilityFunction.getUtility(Extension groundedExtension, DialogueTrace<Argument,Extension> trace) Determines the utility of the given trace with the given grounded extension.

Method parameters in net.sf.tweety.agents.dialogues.oppmodels with type arguments of type Extension

Modifier and Type	Method and Description
protected Pair<java.lang.Double,java.util.Set<ExecutableExtension>>	T3BeliefState.doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
protected Pair<java.lang.Double,java.util.Set<ExecutableExtension>>	T2BeliefState.doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
Pair<java.lang.Double,java.util.Set<ExecutableExtension>>	T1BeliefState.doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
protected abstract Pair<java.lang.Double,java.util.Set<ExecutableExtension>>	BeliefState.doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace) Gives the set of all best next moves with their expected utility according to the belief state and the given trace.
protected java.util.Set<ExecutableExtension>	BeliefState.getLegalMoves(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace) Returns the set of possible moves in the given situation and the given trace.
double	GroundedGameUtilityFunction.getUtility(DialogueTrace<Argument,Extension> trace)
protected double	ArguingAgent.getUtility(DialogueTrace<Argument,Extension> trace) Assess the given dialogue trace with the belief states utility function.
double	GroundedGameUtilityFunction.getUtility(DialogueTrace<Argument,Extension> trace, java.util.Set<Argument> additionalArguments, java.util.Set<Attack> additionalAttacks)
private double	GroundedGameUtilityFunction.getUtility(Extension groundedExtension, DialogueTrace<Argument,Extension> trace) Determines the utility of the given trace with the given grounded extension.
private boolean	BeliefState.isLegal(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace, java.util.Set<Argument> move) Given the theory from the environment and the dialogue trace, returns true if move is a valid move.
void	T3BeliefState.update(DialogueTrace<Argument,Extension> trace)
void	T2BeliefState.update(DialogueTrace<Argument,Extension> trace)
void	T1BeliefState.update(DialogueTrace<Argument,Extension> trace)
abstract void	BeliefState.update(DialogueTrace<Argument,Extension> trace) Updates the current belief state accordingly to the given dialogue trace.

Constructors in net.sf.tweety.agents.dialogues.oppmodels with parameters of type Extension

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

Constructor parameters in net.sf.tweety.agents.dialogues.oppmodels with type arguments of type Extension

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

Uses of Extension in net.sf.tweety.agents.dialogues.oppmodels.sim

Methods in net.sf.tweety.agents.dialogues.oppmodels.sim with parameters of type Extension

Modifier and Type	Method and Description
private T3BeliefState	GroundedGameT3AgentGenerator.generateBeliefState(GroundedGameSystem mas, SimulationParameters params, int depth, Extension arguments, GroundedGameSystem.AgentFaction faction) Generates the (sub-)belief state of a T3-belief state.
private T2BeliefState	GroundedGameT2AgentGenerator.generateBeliefState(GroundedGameSystem mas, SimulationParameters params, int depth, Extension arguments, GroundedGameSystem.AgentFaction faction) Generates the (sub-)belief state of a T2-belief state.
private T1BeliefState	GroundedGameT1AgentGenerator.generateBeliefState(GroundedGameSystem mas, SimulationParameters params, int depth, Extension arguments, GroundedGameSystem.AgentFaction faction) Generates the (sub-)belief state of a T1-belief state.

Uses of Extension in net.sf.tweety.arg.dung

Fields in net.sf.tweety.arg.dung with type parameters of type Extension

Modifier and Type	Field and Description
private java.util.Set<Extension>	AbstractExtensionReasoner.extensions The extensions this reasoner bases upon.

Methods in net.sf.tweety.arg.dung that return Extension

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

Methods in net.sf.tweety.arg.dung that return types with arguments of type Extension

Modifier and Type	Method and Description
java.util.Set<Extension>	StageReasoner.computeExtensions()
protected java.util.Set<Extension>	StableReasoner.computeExtensions()
java.util.Set<Extension>	SemiStableReasoner.computeExtensions()
java.util.Set<Extension>	SccCompleteReasoner.computeExtensions()
protected java.util.Set<Extension>	PreferredReasoner.computeExtensions()
java.util.Set<Extension>	IdealReasoner.computeExtensions()
protected java.util.Set<Extension>	GroundReasoner.computeExtensions()
java.util.Set<Extension>	ConflictFreeReasoner.computeExtensions()
java.util.Set<Extension>	CompleteReasoner.computeExtensions()
java.util.Set<Extension>	CF2Reasoner.computeExtensions()
java.util.Set<Extension>	AdmissibleReasoner.computeExtensions()
protected abstract java.util.Set<Extension>	AbstractExtensionReasoner.computeExtensions() Computes the extensions this reasoner bases upon.
protected java.util.Set<Extension>	CompleteReasoner.computeExtensionsBySatSolving() Computes the extensions by reducing the problem to SAT solving
private java.util.Set<Extension>	SccCompleteReasoner.computeExtensionsViaSccs(DungTheory theory, java.util.List<java.util.Collection<Argument>> sccs, int idx, java.util.Collection<Argument> in, java.util.Collection<Argument> out, java.util.Collection<Argument> undec) Computes extensions recursively following the SCC structure.
java.util.Collection<Extension>	GrossiModgilRankingReasoner.getAllMNCompleteExtensions(int m, int n) Returns all mn-complete extensions.
java.util.Collection<Extension>	GrossiModgilRankingReasoner.getAllMNGroundedExtensions(int m, int n) Returns all mn-grounded extensions.
java.util.Collection<Extension>	GrossiModgilRankingReasoner.getAllMNPreferredExtensions(int m, int n) Returns all mn-preferred extensions.
java.util.Collection<Extension>	GrossiModgilRankingReasoner.getAllMStableExtensions(int m) Returns all m-stable extensions.
private java.util.Set<Extension>	CompleteReasoner.getCompleteExtensions(Extension ext, java.util.Collection<Argument> remaining) Auxiliary method to compute all complete extensions
java.util.Set<Extension>	AbstractExtensionReasoner.getExtensions() Returns the extensions this reasoner bases upon.
private java.util.Set<Extension>	StableReasoner.getStableExtensions(Extension ext) Auxiliary method to compute the set of all stable extensions
private java.util.Set<Extension>	CF2Reasoner.singleAFExtensions(DungTheory theory) Computes the extensions for the single af case.

Methods in net.sf.tweety.arg.dung with parameters of type Extension

Modifier and Type	Method and Description
Extension	DungTheory.faf(Extension extension) The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.
private java.util.Set<Extension>	CompleteReasoner.getCompleteExtensions(Extension ext, java.util.Collection<Argument> remaining) Auxiliary method to compute all complete extensions
private java.util.Set<Extension>	StableReasoner.getStableExtensions(Extension ext) Auxiliary method to compute the set of all stable extensions
boolean	DungTheory.isAttacked(Argument argument, Extension ext) returns true if some argument of ext attacks argument.
boolean	DungTheory.isAttacked(Extension ext1, Extension ext2) returns true if some argument of ext2 attacks some argument in ext1
boolean	DungTheory.isAttackingAllOtherArguments(Extension ext) returns true if arguments attack all other arguments in the theory

Method parameters in net.sf.tweety.arg.dung with type arguments of type Extension

Modifier and Type	Method and Description
private boolean	GrossiModgilRankingReasoner.isContainedInAll(Argument y, java.util.Collection<Extension> exts) Checks whether the given argument "y" is contained in all sets of arguments in "args".

Uses of Extension in net.sf.tweety.arg.dung.divisions

Methods in net.sf.tweety.arg.dung.divisions with parameters of type Extension

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

Method parameters in net.sf.tweety.arg.dung.divisions with type arguments of type Extension

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

Constructors in net.sf.tweety.arg.dung.divisions with parameters of type Extension

Constructor and Description
Division(Extension p, Extension v) Creates a new division for the given parameters.

Uses of Extension in net.sf.tweety.arg.dung.ldo.semantics

Fields in net.sf.tweety.arg.dung.ldo.semantics declared as Extension

Modifier and Type	Field and Description
private Extension	LdoInterpretation.ext the extension

Constructors in net.sf.tweety.arg.dung.ldo.semantics with parameters of type Extension

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

Uses of Extension in net.sf.tweety.arg.dung.parser

Methods in net.sf.tweety.arg.dung.parser that return Extension

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

Uses of Extension in net.sf.tweety.arg.dung.prover

Methods in net.sf.tweety.arg.dung.prover that return types with arguments of type Extension

Modifier and Type	Method and Description
java.util.Set<Extension>	ProboSolver.enumerate(Problem problem, DungTheory aaf, FileFormat format) Solves the given enumeration problem on the given AAF with

Uses of Extension in net.sf.tweety.arg.dung.semantics

Methods in net.sf.tweety.arg.dung.semantics that return Extension

Modifier and Type	Method and Description
Extension	NumericalArgumentRanking.getArgumentsOfStatus(ArgumentStatus status)
Extension	LatticeArgumentRanking.getArgumentsOfStatus(ArgumentStatus status)
Extension	Labeling.getArgumentsOfStatus(ArgumentStatus status)
Extension	Extension.getArgumentsOfStatus(ArgumentStatus status)
abstract Extension	AbstractArgumentationInterpretation.getArgumentsOfStatus(ArgumentStatus status) Returns all arguments that have the given status in this interpretation.

Methods in net.sf.tweety.arg.dung.semantics with parameters of type Extension

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

Constructors in net.sf.tweety.arg.dung.semantics with parameters of type Extension

Constructor and Description
Labeling(DungTheory theory, Extension ext) Creates a new labeling from the given extension wrt.

Uses of Extension in net.sf.tweety.arg.prob

Methods in net.sf.tweety.arg.prob with parameters of type Extension

Modifier and Type	Method and Description
Probability	MonteCarloPafReasoner.query(Extension ext) Estimates the probability that the given set of arguments is an extension

Uses of Extension in net.sf.tweety.arg.prob.lotteries

Methods in net.sf.tweety.arg.prob.lotteries with parameters of type Extension

Modifier and Type	Method and 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 net.sf.tweety.arg.prob.semantics

Methods in net.sf.tweety.arg.prob.semantics that return Extension

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