Uses of Class
org.tweetyproject.commons.postulates.PostulateEvaluationReport
-
Uses of PostulateEvaluationReport in org.tweetyproject.commons.postulates
Modifier and TypeMethodDescriptionPostulateEvaluator.evaluate
(long num) Evaluates all postulates of this evaluator on the given approach onnum
belief bases generated by the sampler of this evaluator.PostulateEvaluator.evaluate
(long num, boolean stopWhenFailed) Evaluates all postulates of this evaluator on the given approach onnum
belief bases generated by the sampler of this evaluator.