Uses of Enum
org.tweetyproject.commons.InferenceMode

Packages that use InferenceMode

Package	Description
org.tweetyproject.arg.aba.reasoner
org.tweetyproject.arg.adf.reasoner
org.tweetyproject.arg.aspic.reasoner
org.tweetyproject.arg.bipolar.reasoner
org.tweetyproject.arg.caf.reasoner
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.arg.eaf.reasoner
org.tweetyproject.arg.extended.reasoner
org.tweetyproject.arg.prob.reasoner
org.tweetyproject.arg.rankings.reasoner
org.tweetyproject.arg.setaf.reasoners
org.tweetyproject.commons
org.tweetyproject.logics.rdl.reasoner
org.tweetyproject.lp.asp.reasoner
org.tweetyproject.web.services.adf
org.tweetyproject.web.services.bipolar
org.tweetyproject.web.services.dung
org.tweetyproject.web.services.iaf
org.tweetyproject.web.services.paf

Uses of InferenceMode in org.tweetyproject.arg.aba.reasoner

Methods in org.tweetyproject.arg.aba.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
Boolean	FlatAbaReasoner.query(AbaTheory<T> beliefbase, Assumption<T> query, InferenceMode inferenceMode)
Boolean	GeneralAbaReasoner.query(AbaTheory<T> beliefbase, Assumption<T> query, InferenceMode inferenceMode)	Queries the given ABA theory for the given assumption using the given inference type.

Uses of InferenceMode in org.tweetyproject.arg.adf.reasoner

Methods in org.tweetyproject.arg.adf.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
Boolean	AbstractADFReasoner.query(AbstractDialecticalFramework beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given ADF for the given argument using the given inference type.
Collection<Argument>	AbstractADFReasoner.queryAll(AbstractDialecticalFramework bbase, InferenceMode inferenceMode)	Determine the set of acceptable arguments wrt.

Uses of InferenceMode in org.tweetyproject.arg.aspic.reasoner

Methods in org.tweetyproject.arg.aspic.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
final Boolean	AbstractAspicReasoner.query(AspicArgumentationTheory<T> aat, T query, InferenceMode inferenceMode)	Queries the given AspicArgumentationTheory for the given formula using the given inference type.
final Boolean	AbstractAspicReasoner.query(DungTheory dt, T query, InferenceMode inferenceMode)

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

Methods in org.tweetyproject.arg.bipolar.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
Boolean	AbstractBipolarExtensionReasoner.query(BipolarArgumentationFramework beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.
Collection<Argument>	AbstractBipolarExtensionReasoner.queryAll(BipolarArgumentationFramework bbase, InferenceMode inferenceMode)	Determine the set of acceptable arguments wrt.

Uses of InferenceMode in org.tweetyproject.arg.caf.reasoner

Methods in org.tweetyproject.arg.caf.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
Boolean	AbstractCAFReasoner.query(ConstrainedArgumentationFramework beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.

Uses of InferenceMode in org.tweetyproject.arg.dung.reasoner

Methods in org.tweetyproject.arg.dung.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
Boolean	AbstractExtensionReasoner.query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.
Boolean	IncompleteReasoner.query(IncompleteTheory beliefbase, Argument formula, InferenceMode mode, IncompleteReasoner.Type type)	Determines acceptability of an argument under the given parameters
Boolean	ProboI23Reasoner.query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)
Boolean	ProboReasoner.query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)
Boolean	SatCompleteReasoner.query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)
Boolean	StratifiedLabelingReasoner.query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.
Collection<Argument>	AbstractExtensionReasoner.queryAll(DungTheory bbase, InferenceMode inferenceMode)	Determine the set of acceptable arguments wrt.
Collection<Argument>	IncompleteReasoner.queryAll(IncompleteTheory bbase, IncompleteReasoner.Type type, InferenceMode inferenceMode)	Determines the set of arguments that is acceptable wrt this reasoner and the given parameters
Pair<Boolean,Extension<DungTheory>>	ProboI23Reasoner.queryW(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)	Returns the queried witness together with the yes/no answer.

Constructors in org.tweetyproject.arg.dung.reasoner with parameters of type InferenceMode

Modifier	Constructor	Description
	EeeAcceptabilityReasoner(AbstractExtensionReasoner reasoner, InferenceMode inferenceMode)	Creates a new EeeAcceptabilityReasoner.
	IaqAcceptabilityReasoner(AbstractExtensionReasoner reasoner, InferenceMode inferenceMode)	Creates a new IaqAcceptabilityReasoner.
	SeeAcceptabilityReasoner(SatSolver satSolver, Semantics semantics, InferenceMode inferenceMode)	Creates a new SEE acceptability reasoner.
	SeemAcceptabilityReasoner(MaxSatSolver maxSatSolver, Semantics semantics, InferenceMode inferenceMode)	Creates a new SEEM acceptability reasoner.

Uses of InferenceMode in org.tweetyproject.arg.eaf.reasoner

Methods in org.tweetyproject.arg.eaf.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
boolean	EAFAgreementReasoner.majorityVote(String query, InferenceMode mode, Semantics sem)	Performs majority voting over multiple EAFs to decide whether the given argument label (e.g., in(a), out(a), or und(a)) is accepted by the majority under the specified inference mode and semantics.
Boolean	AbstractEAFReasoner.query(EpistemicArgumentationFramework beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.
Boolean	EAFAgreementReasoner.query(String queryNode, InferenceMode mode, Semantics sem)	Check if all EAFs agree on a formula under the given semantics and inference mode

Uses of InferenceMode in org.tweetyproject.arg.extended.reasoner

Methods in org.tweetyproject.arg.extended.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
Boolean	AbstractExtendedExtensionReasoner.query(ExtendedTheory beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.
Boolean	AbstractRecursiveExtendedExtensionReasoner.query(RecursiveExtendedTheory beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.

Uses of InferenceMode in org.tweetyproject.arg.prob.reasoner

Methods in org.tweetyproject.arg.prob.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
abstract Double	AbstractPafReasoner.query(ProbabilisticArgumentationFramework beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given PAF for the given argument using the given inference type.
Double	MonteCarloPafReasoner.query(ProbabilisticArgumentationFramework beliefbase, Argument formula, InferenceMode inferenceMode)
Double	SimplePafReasoner.query(ProbabilisticArgumentationFramework beliefbase, Argument formula, InferenceMode inferenceMode)
Map<Argument,Double>	AbstractPafReasoner.queryAll(ProbabilisticArgumentationFramework paf, InferenceMode inferenceMode)	Determine the set of acceptable arguments wrt.

Uses of InferenceMode in org.tweetyproject.arg.rankings.reasoner

Constructors in org.tweetyproject.arg.rankings.reasoner with parameters of type InferenceMode

Modifier	Constructor	Description
	ProbabilisticRankingReasoner(Semantics sem, Probability p, boolean exactInference, InferenceMode mode)	Constructs a new instance of ProbabilisticRankingReasoner with the specified parameters.

Uses of InferenceMode in org.tweetyproject.arg.setaf.reasoners

Methods in org.tweetyproject.arg.setaf.reasoners with parameters of type InferenceMode

Modifier and Type	Method	Description
Boolean	AbstractExtensionSetAfReasoner.query(SetAf beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.

Uses of InferenceMode in org.tweetyproject.commons

Methods in org.tweetyproject.commons that return InferenceMode

Modifier and Type	Method	Description
static InferenceMode	InferenceMode.valueOf(String name)	Returns the enum constant of this type with the specified name.
static InferenceMode[]	InferenceMode.values()	Returns an array containing the constants of this enum type, in the order they are declared.

Uses of InferenceMode in org.tweetyproject.logics.rdl.reasoner

Methods in org.tweetyproject.logics.rdl.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
Boolean	SimpleDefaultReasoner.query(DefaultTheory theory, FolFormula query, InferenceMode inferenceMode)	Queries the given default theory for the given query using the given inference mode.

Uses of InferenceMode in org.tweetyproject.lp.asp.reasoner

Methods in org.tweetyproject.lp.asp.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
Boolean	ClingoSolver.query(Program beliefbase, ASPLiteral formula, InferenceMode inferenceMode)	Evaluates a query on the given belief base using the specified inference mode.
Boolean	DLVSolver.query(Program beliefbase, ASPLiteral formula, InferenceMode inferenceMode)	Evaluates a query on the given belief base using the specified inference mode.

Uses of InferenceMode in org.tweetyproject.web.services.adf

Constructors in org.tweetyproject.web.services.adf with parameters of type InferenceMode

Modifier	Constructor	Description
	AdfReasonerQueryAllCallee(AbstractADFReasoner reasoner, AbstractDialecticalFramework bbase, InferenceMode mode)	Constructs a new AdfReasonerGetModelCallee with the specified reasoner and base AbstractDialecticalFramework.

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

Constructors in org.tweetyproject.web.services.bipolar with parameters of type InferenceMode

Modifier	Constructor	Description
	BipolarReasonerQueryAllCallee(AbstractBipolarExtensionReasoner reasoner, BipolarArgumentationFramework bbase, InferenceMode mode)	Constructs a new BipolarReasonerGetModelCallee with the specified reasoner and base BipolarArgumentationFramework.

Uses of InferenceMode in org.tweetyproject.web.services.dung

Constructors in org.tweetyproject.web.services.dung with parameters of type InferenceMode

Modifier	Constructor	Description
	DungReasonerQueryAllCallee(AbstractExtensionReasoner reasoner, DungTheory bbase, InferenceMode mode)	Constructs a new DungReasonerGetModelCallee with the specified reasoner and base DungTheory.

Uses of InferenceMode in org.tweetyproject.web.services.iaf

Constructors in org.tweetyproject.web.services.iaf with parameters of type InferenceMode

Modifier	Constructor	Description
	IafReasonerQueryAllCallee(IncompleteReasoner reasoner, IncompleteTheory bbase, InferenceMode mode, IncompleteReasoner.Type type)	Constructs a new DungReasonerGetModelCallee with the specified reasoner and base IncompleteTheory.

Uses of InferenceMode in org.tweetyproject.web.services.paf

Constructors in org.tweetyproject.web.services.paf with parameters of type InferenceMode

Modifier	Constructor	Description
	PafReasonerQueryAllCallee(AbstractPafReasoner reasoner, ProbabilisticArgumentationFramework paf, InferenceMode inferenceMode)	Initialize a new QueryAll callee
	PafReasonerQueryCallee(AbstractPafReasoner reasoner, ProbabilisticArgumentationFramework paf, Argument argument, InferenceMode inferenceMode)	Default constructor