Uses of Class
net.sf.tweety.commons.InferenceMode

Packages that use InferenceMode

Package	Description
net.sf.tweety.arg.aba.reasoner
net.sf.tweety.arg.adf.reasoner
net.sf.tweety.arg.aspic.reasoner
net.sf.tweety.arg.dung.reasoner
net.sf.tweety.arg.prob.reasoner
net.sf.tweety.commons
net.sf.tweety.logics.rdl.reasoner
net.sf.tweety.lp.asp.reasoner

Uses of InferenceMode in net.sf.tweety.arg.aba.reasoner

Methods in net.sf.tweety.arg.aba.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
java.lang.Boolean	FlatAbaReasoner.query(AbaTheory<T> beliefbase, Assumption<T> query, InferenceMode inferenceMode)
java.lang.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 net.sf.tweety.arg.adf.reasoner

Methods in net.sf.tweety.arg.adf.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
java.lang.Boolean	AbstractDialecticalFrameworkReasoner.query(AbstractDialecticalFramework adf, Argument argument, InferenceMode inferenceMode)

Uses of InferenceMode in net.sf.tweety.arg.aspic.reasoner

Methods in net.sf.tweety.arg.aspic.reasoner with parameters of type InferenceMode

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

Uses of InferenceMode in net.sf.tweety.arg.dung.reasoner

Methods in net.sf.tweety.arg.dung.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
java.lang.Boolean	AbstractExtensionReasoner.query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.
java.lang.Boolean	ProboReasoner.query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)
java.lang.Boolean	SatCompleteReasoner.query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)
java.lang.Boolean	StratifiedLabelingReasoner.query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.

Constructors in net.sf.tweety.arg.dung.reasoner with parameters of type InferenceMode

Constructor	Description
EeeAcceptabilityReasoner(AbstractExtensionReasoner reasoner, InferenceMode inferenceMode)	Creates a new EeeAcceptabilityReasoner.
IaqAcceptabilityReasoner(AbstractExtensionReasoner reasoner, InferenceMode inferenceMode)	Creates a new IaqAcceptabilityReasoner.

Uses of InferenceMode in net.sf.tweety.arg.prob.reasoner

Methods in net.sf.tweety.arg.prob.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
abstract java.lang.Double	AbstractPafReasoner.query(ProbabilisticArgumentationFramework beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given PAF for the given argument using the given inference type.
java.lang.Double	MonteCarloPafReasoner.query(ProbabilisticArgumentationFramework beliefbase, Argument formula, InferenceMode inferenceMode)
java.lang.Double	SimplePafReasoner.query(ProbabilisticArgumentationFramework beliefbase, Argument formula, InferenceMode inferenceMode)

Uses of InferenceMode in net.sf.tweety.commons

Methods in net.sf.tweety.commons that return InferenceMode

Modifier and Type	Method	Description
static InferenceMode	InferenceMode.valueOf(java.lang.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 net.sf.tweety.logics.rdl.reasoner

Methods in net.sf.tweety.logics.rdl.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
java.lang.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 net.sf.tweety.lp.asp.reasoner

Methods in net.sf.tweety.lp.asp.reasoner with parameters of type InferenceMode

Modifier and Type	Method	Description
java.lang.Boolean	ClingoSolver.query(Program beliefbase, ASPLiteral formula, InferenceMode inferenceMode)
java.lang.Boolean	DLVSolver.query(Program beliefbase, ASPLiteral formula, InferenceMode inferenceMode)