Uses of Class
org.tweetyproject.arg.bipolar.syntax.ArgumentSet
Packages that use ArgumentSet
Package
Description
-
Uses of ArgumentSet in org.tweetyproject.arg.bipolar.io
Methods in org.tweetyproject.arg.bipolar.io with parameters of type ArgumentSetModifier 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
Methods in org.tweetyproject.arg.bipolar.reasoner.deductive that return ArgumentSetModifier and TypeMethodDescriptionClosureReasoner.getModel
(DeductiveArgumentationFramework bbase) Returns a modelSafetyReasoner.getModel
(DeductiveArgumentationFramework bbase) Methods in org.tweetyproject.arg.bipolar.reasoner.deductive that return types with arguments of type ArgumentSetModifier and TypeMethodDescriptionCAdmissibleReasoner.getModels
(DeductiveArgumentationFramework bbase) Return modelsClosureReasoner.getModels
(DeductiveArgumentationFramework bbase) Return modelsConflictFreeReasoner.getModels
(DeductiveArgumentationFramework bbase) Return modelsDAdmissibleReasoner.getModels
(DeductiveArgumentationFramework bbase) Return modelsSafetyReasoner.getModels
(DeductiveArgumentationFramework bbase) -
Uses of ArgumentSet in org.tweetyproject.arg.bipolar.reasoner.evidential
Methods in org.tweetyproject.arg.bipolar.reasoner.evidential that return ArgumentSetModifier and TypeMethodDescriptionAdmissibleReasoner.getModel
(EvidentialArgumentationFramework bbase) Return modelCompleteReasoner.getModel
(EvidentialArgumentationFramework bbase) Return modelConflictFreeReasoner.getModel
(EvidentialArgumentationFramework bbase) Return modelGroundedReasoner.getModel
(EvidentialArgumentationFramework bbase) Return modelPreferredReasoner.getModel
(EvidentialArgumentationFramework bbase) SelfSupportingReasoner.getModel
(EvidentialArgumentationFramework bbase) Return a modelStableReasoner.getModel
(EvidentialArgumentationFramework bbase) Methods in org.tweetyproject.arg.bipolar.reasoner.evidential that return types with arguments of type ArgumentSetModifier and TypeMethodDescriptionAdmissibleReasoner.getModels
(EvidentialArgumentationFramework bbase) Return modelsCompleteReasoner.getModels
(EvidentialArgumentationFramework bbase) Return modelsConflictFreeReasoner.getModels
(EvidentialArgumentationFramework bbase) Return modelsGroundedReasoner.getModels
(EvidentialArgumentationFramework bbase) Return modelsPreferredReasoner.getModels
(EvidentialArgumentationFramework bbase) SelfSupportingReasoner.getModels
(EvidentialArgumentationFramework bbase) Computes all self-supporting argument sets from the given evidential argumentation framework.StableReasoner.getModels
(EvidentialArgumentationFramework bbase) -
Uses of ArgumentSet in org.tweetyproject.arg.bipolar.reasoner.necessity
Methods in org.tweetyproject.arg.bipolar.reasoner.necessity that return ArgumentSetModifier and TypeMethodDescriptionAdmissibleReasoner.getModel
(NecessityArgumentationFramework bbase) Return modelCompleteReasoner.getModel
(NecessityArgumentationFramework bbase) Return modelGroundedReasoner.getModel
(NecessityArgumentationFramework bbase) Return modelPreferredReasoner.getModel
(NecessityArgumentationFramework bbase) StableReasoner.getModel
(NecessityArgumentationFramework bbase) Methods in org.tweetyproject.arg.bipolar.reasoner.necessity that return types with arguments of type ArgumentSetModifier and TypeMethodDescriptionAdmissibleReasoner.getModels
(NecessityArgumentationFramework bbase) Return modelsCompleteReasoner.getModels
(NecessityArgumentationFramework bbase) Return modelsGroundedReasoner.getModels
(NecessityArgumentationFramework bbase) Return modelsPreferredReasoner.getModels
(NecessityArgumentationFramework bbase) StableReasoner.getModels
(NecessityArgumentationFramework bbase) -
Uses of ArgumentSet in org.tweetyproject.arg.bipolar.syntax
Classes in org.tweetyproject.arg.bipolar.syntax that implement interfaces with type arguments of type ArgumentSetModifier and TypeClassDescriptionclass
This class models a set of arguments used in the context of bipolar abstract argumentation theory.Methods in org.tweetyproject.arg.bipolar.syntax that return ArgumentSetModifier 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.Methods in org.tweetyproject.arg.bipolar.syntax with parameters of type ArgumentSetModifier 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) Compares thisArgumentSet
with another for order.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 extConstructors in org.tweetyproject.arg.bipolar.syntax with parameters of type ArgumentSetModifierConstructorDescriptionSetAttack
(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) Constructs a newWeightedSetSupport
instance.