Uses of Class
org.tweetyproject.arg.bipolar.syntax.ArgumentSet
Package
Description
-
Uses of ArgumentSet in org.tweetyproject.arg.bipolar.io
Modifier and TypeMethodDescriptionstatic StringBuilder
EdgeListWriter.getStringBuilder
(ArgumentSet froms, ArgumentSet tos) Utility method for getStringBuilderstatic StringBuilder
EdgeListWriter.getStringBuilder
(ArgumentSet froms, ArgumentSet tos, String fromToDelimiter) Combines arguments and builds the first line -
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.EAttack.getAttacked()
Get the arguments that receive this attackSetAttack.getAttacker()
returns the attacking set of arguments of this attack 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, ArgumentSet supported) Default constructor; initializes the arguments used in this support relationWeightedSetSupport
(ArgumentSet supporter, ArgumentSet supported, double cp)