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

Packages that use Extension

Package	Description
net.sf.tweety.arg.dung
net.sf.tweety.arg.dung.divisions
net.sf.tweety.arg.dung.ldo.semantics
net.sf.tweety.arg.dung.semantics

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

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
Set<Extension>	StageReasoner.computeExtensions()
protected Set<Extension>	StableReasoner.computeExtensions()
Set<Extension>	SemiStableReasoner.computeExtensions()
Set<Extension>	SccCompleteReasoner.computeExtensions()
protected Set<Extension>	PreferredReasoner.computeExtensions()
Set<Extension>	IdealReasoner.computeExtensions()
protected Set<Extension>	GroundReasoner.computeExtensions()
Set<Extension>	ConflictFreeReasoner.computeExtensions()
Set<Extension>	CompleteReasoner.computeExtensions()
Set<Extension>	CF2Reasoner.computeExtensions()
Set<Extension>	AdmissibleReasoner.computeExtensions()
protected abstract Set<Extension>	AbstractExtensionReasoner.computeExtensions() Computes the extensions this reasoner bases upon.
protected Set<Extension>	CompleteReasoner.computeExtensionsBySatSolving() Computes the extensions by reducing the problem to SAT solving
Set<Extension>	AbstractExtensionReasoner.getExtensions() Returns the extensions this reasoner bases upon.

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.
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.isAttackedBy(Argument argument, Extension ext) returns true if some argument of ext is attacked by argument.
boolean	DungTheory.isAttackingAllOtherArguments(Extension ext) returns true if arguments attack all other arguments in the theory

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 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 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 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

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

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

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	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.