Uses of Enum Class
org.tweetyproject.commons.InferenceMode

Packages that use InferenceMode

Package	Description
org.tweetyproject.arg.aba.reasoner
org.tweetyproject.arg.aspic.reasoner
org.tweetyproject.arg.caf.reasoner
org.tweetyproject.arg.dung.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

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.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	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.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)

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

Subclasses with type arguments of type InferenceMode in org.tweetyproject.commons

Modifier and Type	Class	Description
enum	InferenceMode	Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credulous inference (assess a formula as true iff it is contained in some model).

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 class with the specified name.
static InferenceMode[]	InferenceMode.values()	Returns an array containing the constants of this enum class, 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.