Package org.tweetyproject.logics.cl.rules

Class EvaluateRule

  • All Implemented Interfaces:
    RuleBasedCReasoner.Rule
    public class EvaluateRule
extends RuleAdapter
    The evaluate rule tries to evaluate the kappa values by using logical constraints, therefore the KappaTerm evaluate() methods are called. In fact this rule uses multiple rules, because evaluate() is implemented in a different way on the classes that implement the KappaTerm interface: - It evaluates KappaMin instances by proofing if there is an element e which is evaluated and uses the value of this element if there is no greater or equal constraint on another element that is smaller as the value of element e. - The KappaSum instances are simply evaluated if every sub-element of the sum can be evaluated - The KappaValue instances are evaluated as soon as their KappaMin members are evaluated.
    Author:
    Tim Janus

    • Constructor Summary

      Constructors 
      Constructor Description
      EvaluateRule()  

    • Method Summary

      Modifier and Type Method Description
      boolean apply()
      Applies the rule
      void setKappas​(java.util.Collection<KappaValue> kappas)
      Sets the Collection of KappaValue that is used as data basis for the rule

      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait