Uses of Class
org.tweetyproject.arg.bipolar.syntax.ArgumentSet
Package
Description
-
Uses of ArgumentSet in org.tweetyproject.arg.bipolar.reasoner.deductive
Modifier and TypeMethodDescriptionClosureReasoner.getModel(DeductiveArgumentationFramework bbase)
SafetyReasoner.getModel(DeductiveArgumentationFramework bbase)
Modifier and TypeMethodDescriptionCAdmissibleReasoner.getModels(DeductiveArgumentationFramework bbase)
ClosureReasoner.getModels(DeductiveArgumentationFramework bbase)
ConflictFreeReasoner.getModels(DeductiveArgumentationFramework bbase)
DAdmissibleReasoner.getModels(DeductiveArgumentationFramework bbase)
SafetyReasoner.getModels(DeductiveArgumentationFramework bbase)
-
Uses of ArgumentSet in org.tweetyproject.arg.bipolar.reasoner.evidential
Modifier and TypeMethodDescriptionAdmissibleReasoner.getModel(EvidentialArgumentationFramework bbase)
CompleteReasoner.getModel(EvidentialArgumentationFramework bbase)
ConflictFreeReasoner.getModel(EvidentialArgumentationFramework bbase)
GroundedReasoner.getModel(EvidentialArgumentationFramework bbase)
PreferredReasoner.getModel(EvidentialArgumentationFramework bbase)
SelfSupportingReasoner.getModel(EvidentialArgumentationFramework bbase)
StableReasoner.getModel(EvidentialArgumentationFramework bbase)
Modifier and TypeMethodDescriptionAdmissibleReasoner.getModels(EvidentialArgumentationFramework bbase)
CompleteReasoner.getModels(EvidentialArgumentationFramework bbase)
ConflictFreeReasoner.getModels(EvidentialArgumentationFramework bbase)
GroundedReasoner.getModels(EvidentialArgumentationFramework bbase)
PreferredReasoner.getModels(EvidentialArgumentationFramework bbase)
SelfSupportingReasoner.getModels(EvidentialArgumentationFramework bbase)
StableReasoner.getModels(EvidentialArgumentationFramework bbase)
-
Uses of ArgumentSet in org.tweetyproject.arg.bipolar.reasoner.necessity
Modifier and TypeMethodDescriptionAdmissibleReasoner.getModel(NecessityArgumentationFramework bbase)
CompleteReasoner.getModel(NecessityArgumentationFramework bbase)
GroundedReasoner.getModel(NecessityArgumentationFramework bbase)
PreferredReasoner.getModel(NecessityArgumentationFramework bbase)
StableReasoner.getModel(NecessityArgumentationFramework bbase)
Modifier and TypeMethodDescriptionAdmissibleReasoner.getModels(NecessityArgumentationFramework bbase)
CompleteReasoner.getModels(NecessityArgumentationFramework bbase)
GroundedReasoner.getModels(NecessityArgumentationFramework bbase)
PreferredReasoner.getModels(NecessityArgumentationFramework bbase)
StableReasoner.getModels(NecessityArgumentationFramework bbase)
-
Uses of ArgumentSet in org.tweetyproject.arg.bipolar.syntax
Modifier and TypeMethodDescriptionAbstractBipolarFramework.faf(ArgumentSet extension)
The characteristic function of an bipolar argumentation framework: F_AF(S) = {A|A is acceptable wrt.SetAttack.getAttacker()
returns the attacking set of arguments of this attack relation.SetSupport.getSupporter()
returns the supporting set of arguments of this support relation.Modifier and TypeMethodDescriptionboolean
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)
AbstractBipolarFramework.faf(ArgumentSet extension)
The characteristic function of an bipolar argumentation framework: F_AF(S) = {A|A is acceptable wrt.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 extModifierConstructorDescriptionSetAttack(ArgumentSet supporter, BArgument supported)
Default constructor; initializes the arguments used in this attack relationSetSupport(ArgumentSet supporter, BArgument supported)
Default constructor; initializes the arguments used in this support relation