Uses of Class
net.sf.tweety.arg.dung.syntax.Argument

Packages that use Argument

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

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

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

Modifier and Type	Method and Description
Set<Argument>	DungTheory.getAttacked(Argument argument) Computes the set {A | (argument,A) in attacks}.
Set<Argument>	DungTheory.getAttackers(Argument argument) Computes the set {A | (A,argument) in attacks}.
Collection<Argument>	DungTheory.getChildren(net.sf.tweety.graphs.Node node)
net.sf.tweety.graphs.Edge<Argument>	DungTheory.getEdge(Argument a, Argument b)
Collection<? extends net.sf.tweety.graphs.Edge<? extends Argument>>	DungTheory.getEdges()
Collection<Argument>	DungTheory.getNeighbors(Argument node)
Collection<Argument>	DungTheory.getNodes()
Collection<Argument>	DungTheory.getParents(net.sf.tweety.graphs.Node node)
net.sf.tweety.graphs.Graph<Argument>	DungTheory.getRestriction(Collection<Argument> arguments)
Collection<Collection<Argument>>	DungTheory.getStronglyConnectedComponents()
Collection<net.sf.tweety.graphs.Graph<Argument>>	DungTheory.getSubgraphs()

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

Modifier and Type	Method and Description
boolean	DungTheory.areAdjacent(Argument a, Argument b)
boolean	DungTheory.existsDirectedPath(Argument node1, Argument node2)
Set<Argument>	DungTheory.getAttacked(Argument argument) Computes the set {A | (argument,A) in attacks}.
Set<Argument>	DungTheory.getAttackers(Argument argument) Computes the set {A | (A,argument) in attacks}.
net.sf.tweety.graphs.Edge<Argument>	DungTheory.getEdge(Argument a, Argument b)
Collection<Argument>	DungTheory.getNeighbors(Argument node)
boolean	DungTheory.isAttacked(Argument argument, Extension ext) returns true if some argument of ext attacks argument.
boolean	DungTheory.isAttackedBy(Argument arg1, Argument arg2) Checks whether arg1 is attacked by arg2.
boolean	DungTheory.isAttackedBy(Argument argument, Extension ext) returns true if some argument of ext is attacked by argument.
boolean	DungTheory.isIndirectAttack(Argument arg1, Argument arg2) Checks whether "arg1" indirectly attacks "arg2", i.e.
boolean	DungTheory.isSupport(Argument arg1, Argument arg2) Checks whether "arg1" supports "arg2", i.e.
boolean	DungTheory.remove(Argument a) Removes the argument and all its attacks

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

Modifier and Type	Method and Description
boolean	DungTheory.add(net.sf.tweety.graphs.Edge<Argument> edge)
protected net.sf.tweety.logics.pl.PlBeliefSet	StageReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	StageReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	StageReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	StableReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	StableReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	StableReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	SemiStableReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	SemiStableReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	SemiStableReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	SccCompleteReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	SccCompleteReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	SccCompleteReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	PreferredReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	PreferredReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	PreferredReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	IdealReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	IdealReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	IdealReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	GroundReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	GroundReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	GroundReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	ConflictFreeReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	ConflictFreeReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	ConflictFreeReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	CompleteReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	CompleteReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	CompleteReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	CF2Reasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	CF2Reasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	CF2Reasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	AdmissibleReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	AdmissibleReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected net.sf.tweety.logics.pl.PlBeliefSet	AdmissibleReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec)
protected abstract net.sf.tweety.logics.pl.PlBeliefSet	AbstractExtensionReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec) Returns the semantic-specific propositional characterization of the underlying Dung theory, see getPropositionalCharacterisation.
protected abstract net.sf.tweety.logics.pl.PlBeliefSet	AbstractExtensionReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec) Returns the semantic-specific propositional characterization of the underlying Dung theory, see getPropositionalCharacterisation.
protected abstract net.sf.tweety.logics.pl.PlBeliefSet	AbstractExtensionReasoner.getPropositionalCharacterisationBySemantics(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> in, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> out, Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> undec) Returns the semantic-specific propositional characterization of the underlying Dung theory, see getPropositionalCharacterisation.
net.sf.tweety.graphs.Graph<Argument>	DungTheory.getRestriction(Collection<Argument> arguments)

Constructor parameters in net.sf.tweety.arg.dung with type arguments of type Argument

Constructor and Description
DungTheory(net.sf.tweety.graphs.Graph<Argument> graph) Creates a new theory from the given graph.

Uses of Argument in net.sf.tweety.arg.dung.ldo.syntax

Methods in net.sf.tweety.arg.dung.ldo.syntax that return Argument

Modifier and Type	Method and Description
Argument	LdoArgument.getArgument() Returns an argument representation (in Dung-style) of this LdoArgument.

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

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

Modifier and Type	Method and Description
static Argument	DungParser.SingleArgument()

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

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

Modifier and Type	Method and Description
Set<Map.Entry<Argument,Integer>>	StratifiedLabeling.entrySet()
Set<Map.Entry<Argument,ArgumentStatus>>	Labeling.entrySet()
Iterator<Argument>	Extension.iterator()
Set<Argument>	StratifiedLabeling.keySet()
Set<Argument>	Labeling.keySet()

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

Modifier and Type	Method and Description
boolean	Extension.add(Argument arg0)
boolean	AbstractArgumentationInterpretation.isAcceptable(Argument argument, DungTheory dungTheory) returns true if every attacker on argument is attacked by some accepted argument wrt.
ArgumentStatus	Labeling.put(Argument arg0, ArgumentStatus arg1)
Integer	StratifiedLabeling.put(Argument arg0, Integer arg1)

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

Modifier and Type	Method and Description
boolean	Extension.addAll(Collection<? extends Argument> arg0)
void	Labeling.putAll(Map<? extends Argument,? extends ArgumentStatus> arg0)
void	StratifiedLabeling.putAll(Map<? extends Argument,? extends Integer> arg0)

Constructor parameters in net.sf.tweety.arg.dung.semantics with type arguments of type Argument

Constructor and Description
Extension(Collection<? extends Argument> arguments) Creates a new extension with the given set of arguments.

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

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

Modifier and Type	Method and Description
Argument	Attack.getAttacked() returns the attacked argument of this attack relation.
Argument	Attack.getAttacker() returns the attacking argument of this attack relation.

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

Modifier and Type	Method and Description
boolean	Attack.contains(Argument argument) Return true if the given argument is in this attack relation.

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

Modifier and Type	Method and Description
boolean	Attack.isConflictFree(Collection<? extends Argument> arguments) returns true if one arguments in arguments attacks another within this attack relation.

Constructors in net.sf.tweety.arg.dung.syntax with parameters of type Argument

Constructor and Description
Attack(Argument attacker, Argument attacked) Default constructor; initializes the two arguments used in this attack relation
DungSignature(Argument argument) Creates a new signature with the single given argument.

Constructor parameters in net.sf.tweety.arg.dung.syntax with type arguments of type Argument

Constructor and Description
DungSignature(Collection<? extends Argument> arguments) Creates a new signature with the given set of arguments.

Uses of Argument in net.sf.tweety.arg.dung.util

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

Modifier and Type	Method and Description
DungTheory	PodlaszewskiCaminadaDungTheoryGenerator.generate(Argument arg)
DungTheory	IsoSafeEnumeratingDungTheoryGenerator.generate(Argument arg)
DungTheory	FileDungTheoryGenerator.generate(Argument arg)
DungTheory	EnumeratingDungTheoryGenerator.generate(Argument arg)
DungTheory	DungTheoryGenerator.generate(Argument arg) Generates a new Dung theory where the given argument is enforced to be in the grounded extension
DungTheory	DefaultDungTheoryGenerator.generate(Argument arg)