Uses of Class
org.tweetyproject.arg.dung.syntax.IncompleteTheory
-
Uses of IncompleteTheory in org.tweetyproject.arg.dung.reasoner
Modifier and TypeMethodDescriptionboolean
IncompleteReasoner.credulousAcceptance
(IncompleteTheory theory, Argument arg) boolean
IncompleteReasoner.existence
(IncompleteTheory theory) 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)