Uses of Class
org.tweetyproject.arg.bipolar.syntax.ArgumentSet

Packages that use ArgumentSet

Package	Description
org.tweetyproject.arg.bipolar.reasoner.deductive
org.tweetyproject.arg.bipolar.reasoner.evidential
org.tweetyproject.arg.bipolar.reasoner.necessity
org.tweetyproject.arg.bipolar.syntax

Uses of ArgumentSet in org.tweetyproject.arg.bipolar.reasoner.deductive

Methods in org.tweetyproject.arg.bipolar.reasoner.deductive that return ArgumentSet

Modifier and Type	Method	Description
ArgumentSet	ClosureReasoner.getModel(DeductiveArgumentationFramework bbase)
ArgumentSet	SafetyReasoner.getModel(DeductiveArgumentationFramework bbase)

Methods in org.tweetyproject.arg.bipolar.reasoner.deductive that return types with arguments of type ArgumentSet

Modifier and Type	Method	Description
Collection<ArgumentSet>	CAdmissibleReasoner.getModels(DeductiveArgumentationFramework bbase)
Collection<ArgumentSet>	ClosureReasoner.getModels(DeductiveArgumentationFramework bbase)
Collection<ArgumentSet>	ConflictFreeReasoner.getModels(DeductiveArgumentationFramework bbase)
Collection<ArgumentSet>	DAdmissibleReasoner.getModels(DeductiveArgumentationFramework bbase)
Collection<ArgumentSet>	SafetyReasoner.getModels(DeductiveArgumentationFramework bbase)

Uses of ArgumentSet in org.tweetyproject.arg.bipolar.reasoner.evidential

Methods in org.tweetyproject.arg.bipolar.reasoner.evidential that return ArgumentSet

Modifier and Type	Method	Description
ArgumentSet	AdmissibleReasoner.getModel(EvidentialArgumentationFramework bbase)
ArgumentSet	CompleteReasoner.getModel(EvidentialArgumentationFramework bbase)
ArgumentSet	ConflictFreeReasoner.getModel(EvidentialArgumentationFramework bbase)
ArgumentSet	GroundedReasoner.getModel(EvidentialArgumentationFramework bbase)
ArgumentSet	PreferredReasoner.getModel(EvidentialArgumentationFramework bbase)
ArgumentSet	SelfSupportingReasoner.getModel(EvidentialArgumentationFramework bbase)
ArgumentSet	StableReasoner.getModel(EvidentialArgumentationFramework bbase)

Methods in org.tweetyproject.arg.bipolar.reasoner.evidential that return types with arguments of type ArgumentSet

Modifier and Type	Method	Description
Collection<ArgumentSet>	AdmissibleReasoner.getModels(EvidentialArgumentationFramework bbase)
Collection<ArgumentSet>	CompleteReasoner.getModels(EvidentialArgumentationFramework bbase)
Collection<ArgumentSet>	ConflictFreeReasoner.getModels(EvidentialArgumentationFramework bbase)
Collection<ArgumentSet>	GroundedReasoner.getModels(EvidentialArgumentationFramework bbase)
Collection<ArgumentSet>	PreferredReasoner.getModels(EvidentialArgumentationFramework bbase)
Collection<ArgumentSet>	SelfSupportingReasoner.getModels(EvidentialArgumentationFramework bbase)
Collection<ArgumentSet>	StableReasoner.getModels(EvidentialArgumentationFramework bbase)

Uses of ArgumentSet in org.tweetyproject.arg.bipolar.reasoner.necessity

Methods in org.tweetyproject.arg.bipolar.reasoner.necessity that return ArgumentSet

Modifier and Type	Method	Description
ArgumentSet	AdmissibleReasoner.getModel(NecessityArgumentationFramework bbase)
ArgumentSet	CompleteReasoner.getModel(NecessityArgumentationFramework bbase)
ArgumentSet	GroundedReasoner.getModel(NecessityArgumentationFramework bbase)
ArgumentSet	PreferredReasoner.getModel(NecessityArgumentationFramework bbase)
ArgumentSet	StableReasoner.getModel(NecessityArgumentationFramework bbase)

Methods in org.tweetyproject.arg.bipolar.reasoner.necessity that return types with arguments of type ArgumentSet

Modifier and Type	Method	Description
Collection<ArgumentSet>	AdmissibleReasoner.getModels(NecessityArgumentationFramework bbase)
Collection<ArgumentSet>	CompleteReasoner.getModels(NecessityArgumentationFramework bbase)
Collection<ArgumentSet>	GroundedReasoner.getModels(NecessityArgumentationFramework bbase)
Collection<ArgumentSet>	PreferredReasoner.getModels(NecessityArgumentationFramework bbase)
Collection<ArgumentSet>	StableReasoner.getModels(NecessityArgumentationFramework bbase)

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

Methods in org.tweetyproject.arg.bipolar.syntax that return ArgumentSet

Modifier and Type	Method	Description
ArgumentSet	AbstractBipolarFramework.faf(ArgumentSet extension)	The characteristic function of an bipolar argumentation framework: F_AF(S) = {A|A is acceptable wrt.
ArgumentSet	SetAttack.getAttacker()	returns the attacking set of arguments of this attack relation.
ArgumentSet	SetSupport.getSupporter()	returns the supporting set of arguments of this support relation.

Methods in org.tweetyproject.arg.bipolar.syntax with parameters of type ArgumentSet

Modifier and Type	Method	Description
boolean	EvidentialArgumentationFramework.addAttack(ArgumentSet attacker, BArgument attacked)	Adds an attack from the set of arguments to the argument to this evidential argumentation system.
boolean	EvidentialArgumentationFramework.addSupport(ArgumentSet supporter, BArgument supported)	Adds a support from a set of arguments to an argument to this argumentation framework.
boolean	NecessityArgumentationFramework.addSupport(ArgumentSet supporter, BArgument supported)	Adds a support from a set of arguments to an argument to this argumentation framework.
int	ArgumentSet.compareTo(ArgumentSet arg0)
ArgumentSet	AbstractBipolarFramework.faf(ArgumentSet extension)	The characteristic function of an bipolar argumentation framework: F_AF(S) = {A|A is acceptable wrt.
Set<BArgument>	EvidentialArgumentationFramework.getSupported(ArgumentSet argumentSet)	Computes the set {A | there is a sequence of direct supports from argumentSet to A}
boolean	DeductiveArgumentationFramework.isClosed(ArgumentSet ext)	Determines if ext is closed under the support relation of this framework i.e., if all arguments supported by ext are an element of ext

Constructors in org.tweetyproject.arg.bipolar.syntax with parameters of type ArgumentSet

Modifier	Constructor	Description
	SetAttack(ArgumentSet supporter, BArgument supported)	Default constructor; initializes the arguments used in this attack relation
	SetSupport(ArgumentSet supporter, BArgument supported)	Default constructor; initializes the arguments used in this support relation