Uses of Class
org.tweetyproject.commons.postulates.PostulateEvaluationReport
Packages that use PostulateEvaluationReport
-
Uses of PostulateEvaluationReport in org.tweetyproject.commons.postulates
Methods in org.tweetyproject.commons.postulates that return PostulateEvaluationReportModifier 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.