Uses of Class
org.tweetyproject.arg.dung.syntax.IncompleteTheory

Packages that use IncompleteTheory

Package	Description
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.web.services.iaf

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

Methods in org.tweetyproject.arg.dung.reasoner that return types with arguments of type IncompleteTheory

Modifier and Type	Method	Description
Collection<Collection<Extension<IncompleteTheory>>>	IncompleteReasoner.getAllModels(IncompleteTheory theory)	Computes all model sets that can arise from the completions of the given incomplete theory.
Extension<IncompleteTheory>	IncompleteReasoner.getModel(IncompleteTheory bbase)
Collection<Extension<IncompleteTheory>>	IncompleteReasoner.getModels(IncompleteTheory bbase)
Collection<Extension<IncompleteTheory>>	IncompleteReasoner.getModels(IncompleteTheory bbase, IncompleteReasoner.Type type)	Determine the models
Collection<Extension<IncompleteTheory>>	IncompleteReasoner.getNecessaryModels(IncompleteTheory theory)	Computes the set of extensions that occur in every completion of the given incomplete theory.
Collection<Extension<IncompleteTheory>>	IncompleteReasoner.getPossibleModels(IncompleteTheory theory)	Computes the set of extensions that occur in at least one completion of the given incomplete theory.

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

Modifier and Type	Method	Description
Collection<Collection<Extension<IncompleteTheory>>>	IncompleteReasoner.getAllModels(IncompleteTheory theory)	Computes all model sets that can arise from the completions of the given incomplete theory.
Extension<IncompleteTheory>	IncompleteReasoner.getModel(IncompleteTheory bbase)
Collection<Extension<IncompleteTheory>>	IncompleteReasoner.getModels(IncompleteTheory bbase)
Collection<Extension<IncompleteTheory>>	IncompleteReasoner.getModels(IncompleteTheory bbase, IncompleteReasoner.Type type)	Determine the models
Collection<Extension<IncompleteTheory>>	IncompleteReasoner.getNecessaryModels(IncompleteTheory theory)	Computes the set of extensions that occur in every completion of the given incomplete theory.
Collection<Extension<IncompleteTheory>>	IncompleteReasoner.getPossibleModels(IncompleteTheory theory)	Computes the set of extensions that occur in at least one completion of the given incomplete theory.
boolean	IncompleteReasoner.isNecessaryCredulous(IncompleteTheory theory, Argument arg)	Decides whether the given argument is a necessary credulous conclusion of the incomplete theory
boolean	IncompleteReasoner.isNecessarySkeptical(IncompleteTheory theory, Argument arg)	Decides whether the given argument is a necessary skeptical conclusion of the incomplete theory
boolean	IncompleteReasoner.isPossibleCredulous(IncompleteTheory theory, Argument arg)	Decides whether the given argument is a possible credulous conclusion of the incomplete theory
boolean	IncompleteReasoner.isPossibleSkeptical(IncompleteTheory theory, Argument arg)	Decides whether the given argument is a possible skeptical conclusion of the incomplete theory
Boolean	IncompleteReasoner.query(IncompleteTheory beliefbase, Argument formula)
Boolean	IncompleteReasoner.query(IncompleteTheory beliefbase, Argument formula, InferenceMode mode, IncompleteReasoner.Type type)	Determines acceptability of an argument under the given parameters
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

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

Methods in org.tweetyproject.web.services.iaf that return IncompleteTheory

Modifier and Type	Method	Description
static IncompleteTheory	IafReasonerFactory.getIncompleteTheory(int nr_of_arguments, List<Integer> uncertainArguments, List<List<Integer>> definiteAttacks, List<List<Integer>> uncertainAttacks)	Creates a IncompleteTheory from the given number of arguments and attack relations.

Methods in org.tweetyproject.web.services.iaf that return types with arguments of type IncompleteTheory

Modifier and Type	Method	Description
Collection<Extension<IncompleteTheory>>	IafReasonerGetModelsCallee.call()	Executes the getModels operation using the specified reasoner and base IncompleteTheory.

Methods in org.tweetyproject.web.services.iaf with parameters of type IncompleteTheory

Modifier and Type	Method	Description
static Callee	IafReasonerCalleeFactory.getCallee(IafReasonerCalleeFactory.Command cmd, IncompleteReasoner reasoner, IncompleteTheory bbase)	Creates and returns a Callee instance based on the provided Command, IncompleteReasoner, and IncompleteTheory parameters.

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

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