Uses of Class net.sf.tweety.arg.bipolar.syntax.ArgumentSet

Packages that use ArgumentSet
Package	Description
net.sf.tweety.arg.bipolar.reasoner.deductive
net.sf.tweety.arg.bipolar.reasoner.evidential
net.sf.tweety.arg.bipolar.reasoner.necessity
net.sf.tweety.arg.bipolar.syntax

Uses of ArgumentSet in net.sf.tweety.arg.bipolar.reasoner.deductive

Methods in net.sf.tweety.arg.bipolar.reasoner.deductive that return ArgumentSet
Modifier and Type	Method	Description
`ArgumentSet`	ClosureReasoner.`getModel(DeductiveArgumentationFramework bbase)`
`ArgumentSet`	SafetyReasoner.`getModel(DeductiveArgumentationFramework bbase)`

Methods in net.sf.tweety.arg.bipolar.reasoner.deductive that return types with arguments of type ArgumentSet
Modifier and Type	Method	Description
`java.util.Collection<ArgumentSet>`	ClosureReasoner.`getModels(DeductiveArgumentationFramework bbase)`
`java.util.Collection<ArgumentSet>`	SafetyReasoner.`getModels(DeductiveArgumentationFramework bbase)`

Uses of ArgumentSet in net.sf.tweety.arg.bipolar.reasoner.evidential

Methods in net.sf.tweety.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 net.sf.tweety.arg.bipolar.reasoner.evidential that return types with arguments of type ArgumentSet
Modifier and Type	Method	Description
`java.util.Collection<ArgumentSet>`	AdmissibleReasoner.`getModels(EvidentialArgumentationFramework bbase)`
`java.util.Collection<ArgumentSet>`	CompleteReasoner.`getModels(EvidentialArgumentationFramework bbase)`
`java.util.Collection<ArgumentSet>`	ConflictFreeReasoner.`getModels(EvidentialArgumentationFramework bbase)`
`java.util.Collection<ArgumentSet>`	GroundedReasoner.`getModels(EvidentialArgumentationFramework bbase)`
`java.util.Collection<ArgumentSet>`	PreferredReasoner.`getModels(EvidentialArgumentationFramework bbase)`
`java.util.Collection<ArgumentSet>`	SelfSupportingReasoner.`getModels(EvidentialArgumentationFramework bbase)`
`java.util.Collection<ArgumentSet>`	StableReasoner.`getModels(EvidentialArgumentationFramework bbase)`

Uses of ArgumentSet in net.sf.tweety.arg.bipolar.reasoner.necessity

Methods in net.sf.tweety.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 net.sf.tweety.arg.bipolar.reasoner.necessity that return types with arguments of type ArgumentSet
Modifier and Type	Method	Description
`java.util.Collection<ArgumentSet>`	AdmissibleReasoner.`getModels(NecessityArgumentationFramework bbase)`
`java.util.Collection<ArgumentSet>`	CompleteReasoner.`getModels(NecessityArgumentationFramework bbase)`
`java.util.Collection<ArgumentSet>`	GroundedReasoner.`getModels(NecessityArgumentationFramework bbase)`
`java.util.Collection<ArgumentSet>`	PreferredReasoner.`getModels(NecessityArgumentationFramework bbase)`
`java.util.Collection<ArgumentSet>`	StableReasoner.`getModels(NecessityArgumentationFramework bbase)`

Uses of ArgumentSet in net.sf.tweety.arg.bipolar.syntax

Methods in net.sf.tweety.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 net.sf.tweety.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.
`java.util.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 net.sf.tweety.arg.bipolar.syntax with parameters of type ArgumentSet
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