Uses of Class
org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
Package
Description
-
Uses of WeightedArgumentationFramework in org.tweetyproject.arg.weighted.reasoner
Modifier and TypeMethodDescriptionSimpleWeightedCompleteReasoner.getModel
(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Returns an alpha-gamma-complete extension for the given weighted argumentation framework.SimpleWeightedConflictFreeReasoner.getModel
(WeightedArgumentationFramework<T> bbase, T alpha) Returns the empty set as it is always conflict-free.SimpleWeightedGroundedReasoner.getModel
(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes and returns the unique alpha-gamma-grounded extension for the given weighted argumentation framework.SimpleWeightedPreferredReasoner.getModel
(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes and returns a single alpha-gamma-preferred extension for the given weighted argumentation framework.SimpleWeightedStableReasoner.getModel
(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes and returns a single alpha-gamma-stable extension for the given weighted argumentation framework.SimpleWeightedAdmissibleReasoner.getModels
(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes all alpha-gamma-admissible extensions for the given weighted argumentation framework.SimpleWeightedCompleteReasoner.getModels
(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes all alpha-gamma-complete extensions for the given weighted argumentation framework.SimpleWeightedConflictFreeReasoner.getModels
(WeightedArgumentationFramework<T> bbase, T alpha) Computes all alpha-conflict-free extensions for the given weighted argumentation framework.SimpleWeightedGroundedReasoner.getModels
(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes and returns a collection containing the unique alpha-gamma-grounded extension for the given weighted argumentation framework.SimpleWeightedPreferredReasoner.getModels
(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes all alpha-gamma-preferred extensions for the given weighted argumentation framework.SimpleWeightedStableReasoner.getModels
(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes all alpha-gamma-stable extensions for the given weighted argumentation framework. -
Uses of WeightedArgumentationFramework in org.tweetyproject.arg.weighted.syntax
-
Uses of WeightedArgumentationFramework in org.tweetyproject.arg.weighted.util
Modifier and TypeMethodDescriptionWeightedSemiringDungTheoryGenerator.next()
Generates the next WeightedArgumentationFramework using the associated DungTheoryGenerator and Semiring. -
Uses of WeightedArgumentationFramework in org.tweetyproject.arg.weighted.writer
Modifier and TypeMethodDescriptionvoid
WeightedApxWriter.write
(WeightedArgumentationFramework waf, File f) Writes the weighted argumentation framework to a file.void
WeightedApxWriter.write
(WeightedArgumentationFramework waf, File f, int precision) Writes the weighted argumentation framework to a file.void
WeightedApxWriter.write
(WeightedArgumentationFramework waf, File f, int precision, Boolean convertToNumericWeight) Writes the weighted argumentation framework to a file with the specified precision.void
WeightedApxWriter.write
(WeightedArgumentationFramework waf, File f, Boolean convertToNumericWeight) Writes the weighted argumentation framework to a file.