Uses of Class
org.tweetyproject.arg.bipolar.reasoner.AbstractBipolarExtensionReasoner

Packages that use AbstractBipolarExtensionReasoner

Package	Description
org.tweetyproject.arg.bipolar.reasoner
org.tweetyproject.web.services.bipolar

Uses of AbstractBipolarExtensionReasoner in org.tweetyproject.arg.bipolar.reasoner

Subclasses of AbstractBipolarExtensionReasoner in org.tweetyproject.arg.bipolar.reasoner

Modifier and Type	Class	Description
class	SimpleCoalitionReasoner	Reasoner for bipolar argumentation frameworks based on the coalition approach.
class	SimpleCoherentAdmissibleReasoner	Reasoner for coherent admissible sets (also called s-admissible sets) in bipolar argumentation.
class	SimpleCoherentReasoner	A reasoner for coherent sets in bipolar argumentation under a default support interpretation.
class	SimpleDeductiveReasoner	Reasoner for bipolar argumentation under the deductive support interpretation.
class	SimpleNecessityReasoner	Reasoner for bipolar argumentation under the deductive support interpretation.
class	SimpleStronglyConflictFreeReasoner	Reasoner for conflict-freeness in bipolar argumentation under a default support interpretation.

Methods in org.tweetyproject.arg.bipolar.reasoner that return AbstractBipolarExtensionReasoner

Modifier and Type	Method	Description
static AbstractBipolarExtensionReasoner	AbstractBipolarExtensionReasoner.getSimpleReasonerForSemantics(Semantics semantics)	Return a reasoner for the given semantics

Uses of AbstractBipolarExtensionReasoner in org.tweetyproject.web.services.bipolar

Methods in org.tweetyproject.web.services.bipolar that return AbstractBipolarExtensionReasoner

Modifier and Type	Method	Description
static AbstractBipolarExtensionReasoner	AbstractBipolarExtensionReasonerFactory.getReasoner(BipolarSemantics sem)	Creates a new reasoner measure of the given semantics with default settings.

Methods in org.tweetyproject.web.services.bipolar with parameters of type AbstractBipolarExtensionReasoner

Modifier and Type	Method	Description
static Callee	BipolarReasonerCalleeFactory.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 AbstractBipolarExtensionReasoner

Modifier	Constructor	Description
	BipolarReasonerGetModelCallee(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.