Uses of Enum
org.tweetyproject.commons.InferenceMode

Packages that use InferenceMode

Package	Description
org.tweetyproject.arg.aba.reasoner
org.tweetyproject.arg.aspic.reasoner
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.arg.prob.reasoner
org.tweetyproject.arg.setaf.reasoners
org.tweetyproject.commons
org.tweetyproject.logics.rdl.reasoner
org.tweetyproject.lp.asp.reasoner

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.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.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	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.
Pair<Boolean,Extension<DungTheory>>	ProboI23Reasoner.queryW(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)

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 IaqAcceptabilityReasoner.
	SeemAcceptabilityReasoner(MaxSatSolver maxSatSolver, Semantics semantics, InferenceMode inferenceMode)	Creates a new IaqAcceptabilityReasoner.

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)

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)
Boolean	DLVSolver.query(Program beliefbase, ASPLiteral formula, InferenceMode inferenceMode)