Uses of Class
org.tweetyproject.arg.bipolar.syntax.BipolarArgumentationFramework
Packages that use BipolarArgumentationFramework
Package
Description
-
Uses of BipolarArgumentationFramework in org.tweetyproject.arg.bipolar.reasoner
Methods in org.tweetyproject.arg.bipolar.reasoner that return types with arguments of type BipolarArgumentationFrameworkModifier and TypeMethodDescriptionSimpleCoalitionReasoner.getModel(BipolarArgumentationFramework bbase) SimpleCoherentAdmissibleReasoner.getModel(BipolarArgumentationFramework bbase) SimpleCoherentReasoner.getModel(BipolarArgumentationFramework bbase) SimpleDeductiveReasoner.getModel(BipolarArgumentationFramework bbase) SimpleNecessityReasoner.getModel(BipolarArgumentationFramework bbase) SimpleStronglyConflictFreeReasoner.getModel(BipolarArgumentationFramework bbase) SimpleCoalitionReasoner.getModels(BipolarArgumentationFramework bbase) SimpleCoherentAdmissibleReasoner.getModels(BipolarArgumentationFramework bbase) SimpleCoherentReasoner.getModels(BipolarArgumentationFramework bbase) SimpleDeductiveReasoner.getModels(BipolarArgumentationFramework bbase) SimpleNecessityReasoner.getModels(BipolarArgumentationFramework bbase) SimpleStronglyConflictFreeReasoner.getModels(BipolarArgumentationFramework bbase) Methods in org.tweetyproject.arg.bipolar.reasoner with parameters of type BipolarArgumentationFrameworkModifier and TypeMethodDescriptionSimpleCoalitionReasoner.getModel(BipolarArgumentationFramework bbase) SimpleCoherentAdmissibleReasoner.getModel(BipolarArgumentationFramework bbase) SimpleCoherentReasoner.getModel(BipolarArgumentationFramework bbase) SimpleDeductiveReasoner.getModel(BipolarArgumentationFramework bbase) SimpleNecessityReasoner.getModel(BipolarArgumentationFramework bbase) SimpleStronglyConflictFreeReasoner.getModel(BipolarArgumentationFramework bbase) SimpleCoalitionReasoner.getModels(BipolarArgumentationFramework bbase) SimpleCoherentAdmissibleReasoner.getModels(BipolarArgumentationFramework bbase) SimpleCoherentReasoner.getModels(BipolarArgumentationFramework bbase) SimpleDeductiveReasoner.getModels(BipolarArgumentationFramework bbase) SimpleNecessityReasoner.getModels(BipolarArgumentationFramework bbase) SimpleStronglyConflictFreeReasoner.getModels(BipolarArgumentationFramework bbase) AbstractBipolarExtensionReasoner.query(BipolarArgumentationFramework beliefbase, Argument formula) AbstractBipolarExtensionReasoner.query(BipolarArgumentationFramework beliefbase, Argument formula, InferenceMode inferenceMode) Queries the given AAF for the given argument using the given inference type.AbstractBipolarExtensionReasoner.queryAll(BipolarArgumentationFramework bbase, InferenceMode inferenceMode) Determine the set of acceptable arguments wrt. -
Uses of BipolarArgumentationFramework in org.tweetyproject.arg.bipolar.syntax
Methods in org.tweetyproject.arg.bipolar.syntax with parameters of type BipolarArgumentationFrameworkModifier and TypeMethodDescriptionintBipolarArgumentationFramework.compareTo(BipolarArgumentationFramework o) Compare to other instance based on hash codeConstructors in org.tweetyproject.arg.bipolar.syntax with parameters of type BipolarArgumentationFrameworkModifierConstructorDescriptionConstruct new BAF from given graph -
Uses of BipolarArgumentationFramework in org.tweetyproject.web.services.bipolar
Methods in org.tweetyproject.web.services.bipolar that return BipolarArgumentationFrameworkModifier and TypeMethodDescriptionAbstractBipolarFrameworkFactory.getArgumentationFramework(int numberOfArguments, List<List<Integer>> attacks, List<List<Integer>> supports) Creates a new bipolar argumentation framework.Methods in org.tweetyproject.web.services.bipolar that return types with arguments of type BipolarArgumentationFrameworkModifier and TypeMethodDescriptionBipolarReasonerGetModelsCallee.call()Executes the getModels operation using the specified reasoner and base AbstractBipolarFramework.Methods in org.tweetyproject.web.services.bipolar with parameters of type BipolarArgumentationFrameworkModifier and TypeMethodDescriptionstatic CalleeBipolarReasonerCalleeFactory.getCallee(BipolarReasonerCalleeFactory.Command cmd, AbstractBipolarExtensionReasoner reasoner, BipolarArgumentationFramework bbase) Creates and returns a Callee instance based on the provided Command, AbstractBipolarExtensionReasoner, and AbstractBipolarFramework parameters.Constructors in org.tweetyproject.web.services.bipolar with parameters of type BipolarArgumentationFrameworkModifierConstructorDescriptionBipolarReasonerGetModelCallee(AbstractBipolarExtensionReasoner reasoner, BipolarArgumentationFramework bbase) Constructs a new BipolarReasonerGetModelCallee with the specified reasoner and base AbstractBipolarFramework.BipolarReasonerGetModelsCallee(AbstractBipolarExtensionReasoner reasoner, BipolarArgumentationFramework bbase) Constructs a new BipolarReasonerGetModelsCallee with the specified reasoner and base AbstractBipolarFramework.BipolarReasonerQueryAllCallee(AbstractBipolarExtensionReasoner reasoner, BipolarArgumentationFramework bbase, InferenceMode mode) Constructs a new BipolarReasonerGetModelCallee with the specified reasoner and base BipolarArgumentationFramework.