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.adf.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.syntax
org.tweetyproject.arg.extended.reasoner
org.tweetyproject.arg.extended.syntax
org.tweetyproject.arg.saf.syntax
org.tweetyproject.arg.setaf.syntax
org.tweetyproject.causal.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.adf.syntax

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

Modifier and Type	Class	Description
final class	Argument	An immutable representation of an ADF argument

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

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

Modifier and Type	Class	Description
class	CoalitionArgument	A representation of a set of arguments (called coalition) that represent an argument in a meta-graph.

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.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	Represents an argument with an associated 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.

Uses of DungEntity in org.tweetyproject.causal.syntax

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

Modifier and Type	Class	Description
class	CausalArgument	This class represents a logical Argument induced from a CausalKnowledgeBase Such an Argument consists of a set of assumptions (premises) and a causal conclusion