Uses of Interface
org.tweetyproject.arg.dung.syntax.DungEntity

Packages that use DungEntity

Package	Description
org.tweetyproject.arg.aba.semantics
org.tweetyproject.arg.aba.syntax
org.tweetyproject.arg.aspic.semantics
org.tweetyproject.arg.aspic.syntax
org.tweetyproject.arg.bipolar.syntax
org.tweetyproject.arg.deductive.syntax
org.tweetyproject.arg.dung.causal.syntax
org.tweetyproject.arg.dung.syntax
org.tweetyproject.arg.extended.reasoner
org.tweetyproject.arg.extended.syntax
org.tweetyproject.arg.saf.syntax
org.tweetyproject.arg.setaf.syntax

Uses of DungEntity in org.tweetyproject.arg.aba.semantics

Classes in org.tweetyproject.arg.aba.semantics that implement DungEntity

Modifier and Type	Class	Description
class	AbaAttack<T extends Formula>	This class models an ABA attack.

Uses of DungEntity in org.tweetyproject.arg.aba.syntax

Classes in org.tweetyproject.arg.aba.syntax that implement DungEntity

Modifier and Type	Class	Description
class	Deduction<T extends Formula>	An argument derived from an ABA theory.

Uses of DungEntity in org.tweetyproject.arg.aspic.semantics

Classes in org.tweetyproject.arg.aspic.semantics that implement DungEntity

Modifier and Type	Class	Description
class	AspicAttack<T extends Invertable>	Checks whether an argument defeats another argument

Uses of DungEntity in org.tweetyproject.arg.aspic.syntax

Classes in org.tweetyproject.arg.aspic.syntax that implement DungEntity

Modifier and Type	Class	Description
class	AspicArgument<T extends Invertable>	An argument according to the ASPIC+ specification

Uses of DungEntity in org.tweetyproject.arg.bipolar.syntax

Subinterfaces of DungEntity in org.tweetyproject.arg.bipolar.syntax

Modifier and Type	Interface	Description
interface	Attack	This interface captures common methods of different interpretations of the attack relation in bipolar abstract argumentation theories.
interface	BipolarEntity	This interface captures common methods of arguments and argument sets of bipolar abstract argumentation theories.
interface	Support	This interface captures common methods of different interpretations of the support relation in bipolar abstract argumentation theories.

Classes in org.tweetyproject.arg.bipolar.syntax that implement DungEntity

Modifier and Type	Class	Description
class	ArgumentSet	This class models a set of arguments used in the context of bipolar abstract argumentation theory.
class	BArgument	This class models an argument used by bipolar abstract argumentation theories.
class	BinaryAttack	This class models a binary attack relation between two arguments.
class	BinarySupport	This class models a support between two arguments.
class	EAttack	Evidential attack used for PEAF and EAF
class	SetAttack	This class models an attack between a set of arguments and an argument.
class	SetSupport	This class models a support between a set of arguments and an argument.
class	WeightedSetSupport	Represents a weighted support relationship between two argument sets.

Uses of DungEntity in org.tweetyproject.arg.deductive.syntax

Classes in org.tweetyproject.arg.deductive.syntax that implement DungEntity

Modifier and Type	Class	Description
class	SimplePlLogicArgument	Represents a simple propositional logic argument in deductive argumentation.

Uses of DungEntity in org.tweetyproject.arg.dung.causal.syntax

Classes in org.tweetyproject.arg.dung.causal.syntax that implement DungEntity

Modifier and Type	Class	Description
class	InducedArgument	This class is responsible for the representation of an Argument that was induced by a CausalKnowledgeBase Reference: "Argumentation-based Causal and Counterfactual Reasoning" by Lars Bengel, Lydia Blümel, Tjitze Rienstra and Matthias Thimm, published at 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22), September 12, 2022

Uses of DungEntity in org.tweetyproject.arg.dung.syntax

Classes in org.tweetyproject.arg.dung.syntax that implement DungEntity

Modifier and Type	Class	Description
class	Argument	This class models an argument used by Dung's abstract argumentation theory and is just described by its name.
class	Attack	This class models an attack between two arguments.
class	ClaimArgument	an argument with a claim

Uses of DungEntity in org.tweetyproject.arg.extended.reasoner

Methods in org.tweetyproject.arg.extended.reasoner that return types with arguments of type DungEntity

Modifier and Type	Method	Description
abstract Collection<Collection<DungEntity>>	AbstractRecursiveExtendedExtensionReasoner.getModels(RecursiveExtendedTheory bbase)	Computes all models for the given theory
Collection<Collection<DungEntity>>	SimpleRecursiveExtendedAdmissibleReasoner.getModels(RecursiveExtendedTheory bbase)	Returns the collection of admissible sets of Dung entities for the given recursive extended theory.
Collection<Collection<DungEntity>>	SimpleRecursiveExtendedCompleteReasoner.getModels(RecursiveExtendedTheory bbase)	Returns the collection of complete extensions of the given recursive extended theory.
Collection<Collection<DungEntity>>	SimpleRecursiveExtendedConflictFreeReasoner.getModels(RecursiveExtendedTheory bbase)	Returns the collection of conflict-free sets of Dung entities for the given recursive extended theory.

Uses of DungEntity in org.tweetyproject.arg.extended.syntax

Classes in org.tweetyproject.arg.extended.syntax that implement DungEntity

Modifier and Type	Class	Description
class	ExtendedAttack	Represents an Extended Attack, i.e., an attack from some argument to another (extended) attack or argument

Methods in org.tweetyproject.arg.extended.syntax that return DungEntity

Modifier and Type	Method	Description
DungEntity	ExtendedAttack.getAttacked()	returns the attacked element of this attack relation.
DungEntity	ExtendedAttack.getNodeB()	get target of edge

Methods in org.tweetyproject.arg.extended.syntax that return types with arguments of type DungEntity

Modifier and Type	Method	Description
Collection<DungEntity>	ExtendedTheory.getAllAttacks()	Computes the set of all attacks in the theory
Collection<DungEntity>	ExtendedTheory.getAttacked(Collection<Argument> ext)	Computes the set of Arguments/Attacks attacked by 'ext'
Collection<DungEntity>	ExtendedTheory.getAttacked(Argument argument)	Computes the set of Arguments/Attacks attacked by 'argument'
Collection<DungEntity>	RecursiveExtendedTheory.getAttacked(Collection<Argument> ext)	Computes the set of arguments/attacks directly attacked by some argument in 'ext'.
Collection<DungEntity>	RecursiveExtendedTheory.getAttacked(Argument arg)	Computes the set of arguments/attacks directly attacked by 'arg'.
Collection<DungEntity>	RecursiveExtendedTheory.getAttacked(ExtendedAttack attack)	Computes the set of arguments/attacks attacked by 'attack'.

Methods in org.tweetyproject.arg.extended.syntax with parameters of type DungEntity

Modifier and Type	Method	Description
Collection<Argument>	RecursiveExtendedTheory.getAttackers(DungEntity entity)	Computes the set of arguments that attack the given argument/attack.
boolean	RecursiveExtendedTheory.isAcceptable(DungEntity entity, Collection<DungEntity> ext)	Determines whether 'ext' defends 'entity'.
boolean	RecursiveExtendedTheory.isAttackRelation(ExtendedAttack attack, DungEntity target)	Determines whether 'attack' attacks 'target'.

Method parameters in org.tweetyproject.arg.extended.syntax with type arguments of type DungEntity

Modifier and Type	Method	Description
Collection<Argument>	ExtendedTheory.getAttackers(Collection<DungEntity> entities)	Computes the set of attackers of 'entities'
Collection<Argument>	RecursiveExtendedTheory.getAttackers(Collection<DungEntity> entities)	Computes the set of arguments that attack some member of the given set of arguments/attacks.
boolean	RecursiveExtendedTheory.isAcceptable(DungEntity entity, Collection<DungEntity> ext)	Determines whether 'ext' defends 'entity'.
boolean	RecursiveExtendedTheory.isAdmissible(Collection<DungEntity> ext)	Determines whether 'ext' is admissible.
boolean	RecursiveExtendedTheory.isComplete(Collection<DungEntity> ext)	Determines whether 'ext' is complete.
boolean	RecursiveExtendedTheory.isConflictFree(Collection<DungEntity> ext)	Determines whether the given set of arguments/attacks is conflict-free.

Constructors in org.tweetyproject.arg.extended.syntax with parameters of type DungEntity

Modifier	Constructor	Description
	ExtendedAttack(Argument attacker, DungEntity attacked)	Constructs an ExtendedAttack object, which represents an extended attack in a Dung argumentation framework.

Uses of DungEntity in org.tweetyproject.arg.saf.syntax

Classes in org.tweetyproject.arg.saf.syntax that implement DungEntity

Modifier and Type	Class	Description
class	ArgumentStructure	This class models an argument structure, i.e.
class	BasicArgument	This class models a basic argument in structured argumentation frameworks, i.e.

Uses of DungEntity in org.tweetyproject.arg.setaf.syntax

Classes in org.tweetyproject.arg.setaf.syntax that implement DungEntity

Modifier and Type	Class	Description
class	SetAttack	This class models an attack between two arguments.