Uses of Class
org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
Packages that use NecessityArgumentationFramework
Package
Description
- 
Uses of NecessityArgumentationFramework in org.tweetyproject.arg.bipolar.reasoner.necessityMethods in org.tweetyproject.arg.bipolar.reasoner.necessity with parameters of type NecessityArgumentationFrameworkModifier and TypeMethodDescriptionAdmissibleReasoner.getModel(NecessityArgumentationFramework bbase) Return modelCompleteReasoner.getModel(NecessityArgumentationFramework bbase) Return modelGroundedReasoner.getModel(NecessityArgumentationFramework bbase) Return modelPreferredReasoner.getModel(NecessityArgumentationFramework bbase) StableReasoner.getModel(NecessityArgumentationFramework bbase) AdmissibleReasoner.getModels(NecessityArgumentationFramework bbase) Return modelsCompleteReasoner.getModels(NecessityArgumentationFramework bbase) Return modelsGroundedReasoner.getModels(NecessityArgumentationFramework bbase) Return modelsPreferredReasoner.getModels(NecessityArgumentationFramework bbase) StableReasoner.getModels(NecessityArgumentationFramework bbase) 
- 
Uses of NecessityArgumentationFramework in org.tweetyproject.arg.bipolar.syntaxClasses in org.tweetyproject.arg.bipolar.syntax that implement interfaces with type arguments of type NecessityArgumentationFrameworkModifier and TypeClassDescriptionclassThis class implements a bipolar abstract argumentation framework with necessities.Methods in org.tweetyproject.arg.bipolar.syntax that return NecessityArgumentationFrameworkModifier and TypeMethodDescriptionDeductiveArgumentationFramework.toNAF()translates this DAF into the corresponding framework with support in a necessary sense See Cayrol, Lagasquie-Schiex.EvidentialArgumentationFramework.toNAF()translates this EAF into the corresponding NAF can only translate framework which contain only binary attacks translation algorithm from: Polberg, Oren.Methods in org.tweetyproject.arg.bipolar.syntax with parameters of type NecessityArgumentationFrameworkModifier and TypeMethodDescriptionintNecessityArgumentationFramework.compareTo(NecessityArgumentationFramework o) Constructors in org.tweetyproject.arg.bipolar.syntax with parameters of type NecessityArgumentationFrameworkModifierConstructorDescriptioncreates an evidential argumentation framework from the given framework with necessities