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

Packages that use Argument

Package	Description
net.sf.tweety.arg.lp.reasoner
net.sf.tweety.arg.lp.semantics
net.sf.tweety.arg.lp.semantics.attack
net.sf.tweety.arg.lp.syntax
net.sf.tweety.argumentation.parameterisedhierarchy

Uses of Argument in net.sf.tweety.arg.lp.reasoner

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

Modifier and Type	Method and Description
java.util.Set<Argument>	ArgumentationReasoner.getDefensibleArguments(ArgumentationKnowledgeBase kb) Returns the set of defensible arguments, i.e.
java.util.Set<Argument>	ArgumentationReasoner.getJustifiedArguments(ArgumentationKnowledgeBase kb) Returns the set of x/y-justified arguments using a bottom-up fixpoint calculation
java.util.Set<Argument>	ArgumentationReasoner.getOverruledArguments(ArgumentationKnowledgeBase kb) Returns the set of overruled arguments, i.e.

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

Modifier and Type	Method and Description
private boolean	ArgumentationReasoner.isAcceptable(ArgumentationKnowledgeBase kb, java.util.Set<Argument> arguments, java.util.Set<Argument> defendingArguments, Argument toCheck) Returns true iff the argument toCheck is x/y-acceptable wrt.
boolean	ArgumentationReasoner.isDefensible(ArgumentationKnowledgeBase kb, Argument arg) An argument is called x/y-defensible if it is neither x/y-justified nor x/y-overruled.
boolean	ArgumentationReasoner.isOverruled(ArgumentationKnowledgeBase kb, Argument arg) An argument is called x/y-overruled, if it is attacked by an x/y-justified argument.
java.lang.Boolean	ArgumentationReasoner.query(ArgumentationKnowledgeBase kb, Argument query)

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

Modifier and Type	Method and Description
private boolean	ArgumentationReasoner.isAcceptable(ArgumentationKnowledgeBase kb, java.util.Set<Argument> arguments, java.util.Set<Argument> defendingArguments, Argument toCheck) Returns true iff the argument toCheck is x/y-acceptable wrt.
private boolean	ArgumentationReasoner.isAcceptable(ArgumentationKnowledgeBase kb, java.util.Set<Argument> arguments, java.util.Set<Argument> defendingArguments, Argument toCheck) Returns true iff the argument toCheck is x/y-acceptable wrt.

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

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

Modifier and Type	Method and Description
java.util.Set<Argument>	AttackRelation.getAttackingArguments(Argument a) Returns all arguments from the knowledgebase, that attack argument a.

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

Modifier and Type	Method and Description
boolean	AttackRelation.attacks(Argument a, Argument b) Returns true iff argument a attacks argument b for the notion of attack represented by this attack relation.
boolean	AttackRelation.attacks(java.util.Set<Argument> attacker, Argument b) Is true iff at least one attacking argument attacks b
java.util.Set<Argument>	AttackRelation.getAttackingArguments(Argument a) Returns all arguments from the knowledgebase, that attack argument a.

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

Modifier and Type	Method and Description
boolean	AttackRelation.attacks(java.util.Set<Argument> attacker, Argument b) Is true iff at least one attacking argument attacks b

Uses of Argument in net.sf.tweety.arg.lp.semantics.attack

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

Modifier and Type	Method and Description
boolean	ConfidentRebut.attacks(Argument a, Argument b)
boolean	Rebut.attacks(Argument a, Argument b)
boolean	StrongAttack.attacks(Argument a, Argument b)
boolean	ConfidentAttack.attacks(Argument a, Argument b)
boolean	StrongUndercut.attacks(Argument a, Argument b)
boolean	AttackStrategy.attacks(Argument a, Argument b) Returns "true" iff the first argument attacks the second argument.
boolean	Attack.attacks(Argument a, Argument b)
boolean	Defeat.attacks(Argument a, Argument b)
boolean	StrongConfidentAttack.attacks(Argument a, Argument b)
boolean	Undercut.attacks(Argument a, Argument b)

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

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

Modifier and Type	Method and Description
java.util.Set<Argument>	ArgumentationKnowledgeBase.getArguments() Returns all minimal arguments constructible from the extended logic program
private java.util.Set<Argument>	ArgumentationKnowledgeBase.getArguments(java.util.LinkedList<Rule> rules) Recursively constructions minimal arguments in a bottom-up fashion.

Uses of Argument in net.sf.tweety.argumentation.parameterisedhierarchy

Fields in net.sf.tweety.argumentation.parameterisedhierarchy declared as Argument

Modifier and Type	Field and Description
(package private) Argument	ArgumentationReasonerTest.a1
(package private) Argument	ArgumentationReasonerTest.a2
(package private) Argument	ArgumentationReasonerTest.a3
(package private) Argument	ArgumentationReasonerTest.a4
(package private) Argument	ArgumentationReasonerTest.a5
(package private) Argument	ArgumentationReasonerTest.a6
(package private) Argument	ArgumentationReasonerTest.a7
(package private) Argument	ArgumentationReasonerTest.a8