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.parser
net.sf.tweety.arg.dung.prover
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>	SemiStableReasoner.computeExtensions()
Set<Extension>	StageReasoner.computeExtensions()
Set<Extension>	SccCompleteReasoner.computeExtensions()
Set<Extension>	ConflictFreeReasoner.computeExtensions()
Set<Extension>	CompleteReasoner.computeExtensions()
protected abstract Set<Extension>	AbstractExtensionReasoner.computeExtensions() Computes the extensions this reasoner bases upon.
Set<Extension>	CF2Reasoner.computeExtensions()
protected Set<Extension>	GroundReasoner.computeExtensions()
Set<Extension>	AdmissibleReasoner.computeExtensions()
protected Set<Extension>	StableReasoner.computeExtensions()
protected Set<Extension>	PreferredReasoner.computeExtensions()
Set<Extension>	IdealReasoner.computeExtensions()
protected Set<Extension>	CompleteReasoner.computeExtensionsBySatSolving() Computes the extensions by reducing the problem to SAT solving
Collection<Extension>	GrossiModgilRankingReasoner.getAllMNCompleteExtensions(int m, int n) Returns all mn-complete extensions.
Collection<Extension>	GrossiModgilRankingReasoner.getAllMNGroundedExtensions(int m, int n) Returns all mn-grounded extensions.
Collection<Extension>	GrossiModgilRankingReasoner.getAllMNPreferredExtensions(int m, int n) Returns all mn-preferred extensions.
Collection<Extension>	GrossiModgilRankingReasoner.getAllMStableExtensions(int m) Returns all m-stable extensions.
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.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.

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, 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(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
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	Labeling.getArgumentsOfStatus(ArgumentStatus status)
Extension	Extension.getArgumentsOfStatus(ArgumentStatus status)
Extension	NumericalArgumentRanking.getArgumentsOfStatus(ArgumentStatus status)
Extension	LatticeArgumentRanking.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.