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

Packages that use Extension

Package	Description
net.sf.tweety.arg.dung.divisions
net.sf.tweety.arg.dung.ldo.semantics
net.sf.tweety.arg.dung.parser
net.sf.tweety.arg.dung.reasoner
net.sf.tweety.arg.dung.semantics
net.sf.tweety.arg.dung.syntax

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	Description
static 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	Description
static Collection<Division>	Division.getDivisions(Collection<Extension> exts, DungTheory aaf)	Returns all divisions of all given extensions and the given aaf.
boolean	Division.isValid(Collection<Extension> exts)	Checks whether this division is valid wrt.

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

Constructor	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

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

Constructor	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	Description
static Extension	AbstractDungParser.parseArgumentList(String s)	Returns a collection view of the given set of arguments

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

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

Modifier and Type	Method	Description
abstract Extension	AbstractExtensionReasoner.getModel(DungTheory bbase)
Extension	AbstractSatExtensionReasoner.getModel(DungTheory bbase)
Extension	ProboReasoner.getModel(DungTheory bbase)
Extension	SimpleAdmissibleReasoner.getModel(DungTheory bbase)
Extension	SimpleCF2Reasoner.getModel(DungTheory bbase)
Extension	SimpleCompleteReasoner.getModel(DungTheory bbase)
Extension	SimpleConflictFreeReasoner.getModel(DungTheory bbase)
Extension	SimpleGroundedReasoner.getModel(DungTheory bbase)
Extension	SimpleIdealReasoner.getModel(DungTheory bbase)
Extension	SimplePreferredReasoner.getModel(DungTheory bbase)
Extension	SimpleSccCompleteReasoner.getModel(DungTheory bbase)
Extension	SimpleSemiStableReasoner.getModel(DungTheory bbase)
Extension	SimpleStableReasoner.getModel(DungTheory bbase)
Extension	SimpleStageReasoner.getModel(DungTheory bbase)

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

Modifier and Type	Method	Description
abstract Collection<Extension>	AbstractExtensionReasoner.getModels(DungTheory bbase)
Collection<Extension>	AbstractSatExtensionReasoner.getModels(DungTheory bbase)
Collection<Extension>	ProboReasoner.getModels(DungTheory bbase)
Collection<Extension>	SimpleAdmissibleReasoner.getModels(DungTheory bbase)
Collection<Extension>	SimpleCF2Reasoner.getModels(DungTheory bbase)
Collection<Extension>	SimpleCompleteReasoner.getModels(DungTheory bbase)
Collection<Extension>	SimpleConflictFreeReasoner.getModels(DungTheory bbase)
Collection<Extension>	SimpleGroundedReasoner.getModels(DungTheory bbase)
Collection<Extension>	SimpleIdealReasoner.getModels(DungTheory bbase)
Collection<Extension>	SimplePreferredReasoner.getModels(DungTheory bbase)
Collection<Extension>	SimpleSccCompleteReasoner.getModels(DungTheory bbase)
Collection<Extension>	SimpleSemiStableReasoner.getModels(DungTheory bbase)
Collection<Extension>	SimpleStableReasoner.getModels(DungTheory bbase)
Collection<Extension>	SimpleStageReasoner.getModels(DungTheory bbase)

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	Description
abstract Extension	AbstractArgumentationInterpretation.getArgumentsOfStatus(ArgumentStatus status)	Returns all arguments that have the given status in this interpretation.
Extension	Extension.getArgumentsOfStatus(ArgumentStatus status)
Extension	Labeling.getArgumentsOfStatus(ArgumentStatus status)

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

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

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

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

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

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

Modifier and Type	Method	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.syntax with parameters of type Extension

Modifier and Type	Method	Description
Extension	DungTheory.faf(Extension extension)	The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.
boolean	DungTheory.isAttacked(Extension ext1, Extension ext2)	returns true if some argument of ext2 attacks some argument in ext1
boolean	DungTheory.isAttacked(Argument argument, Extension ext)	returns true if some argument of ext attacks argument.
boolean	DungTheory.isAttackingAllOtherArguments(Extension ext)	returns true if arguments attack all other arguments in the theory
boolean	DungTheory.isStable(Extension e)	Checks whether the given extension is stable wrt.