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

Packages that use IncompleteTheory

Package	Description
org.tweetyproject.arg.dung.reasoner

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

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

Modifier and Type	Method	Description
Collection<Collection<Extension<DungTheory>>>	IncompleteReasoner.getAllModels(IncompleteTheory theory)
Collection<Extension<DungTheory>>	IncompleteReasoner.getNecessaryModels(IncompleteTheory theory)	Computes the set of necessary extensions
Collection<Extension<DungTheory>>	IncompleteReasoner.getPossibleModels(IncompleteTheory theory)	Computes the set of possible extensions
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