Class EvaluateRule

All Implemented Interfaces:

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.
Tim Janus