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
boolean	IncompleteReasoner.credulousAcceptance(IncompleteTheory theory, Argument arg)
boolean	IncompleteReasoner.existence(IncompleteTheory theory)
Collection<Collection<Extension<DungTheory>>>	IncompleteReasoner.getAllModels(IncompleteTheory theory)
boolean	IncompleteReasoner.skepticalAcceptance(IncompleteTheory theory, Argument arg)
boolean	IncompleteReasoner.VerificationNecessary(IncompleteTheory theory, Set<Argument> arg)
boolean	IncompleteReasoner.VerificationPossible(IncompleteTheory theory, Set<Argument> arg)