Interface KappaTerm

All Known Implementing Classes:
KappaMin, KappaSum, KappaValue

public interface KappaTerm
This interface defines a kappa term, that can be evaluated, it can return its value, which is -1 as long as the kappa-term cannot be evaluated and it can return a value for that we know that the kappa-term value is greatar or equal to that value.
Author:
Tim Janus
  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    Tries to evaluate the kappa term, if the evaluation is successful then the next call of value returns the evaluated value.
    Processes all the sub-terms
    int
     
    int
     
  • Method Details

    • evaluate

      boolean evaluate()
      Tries to evaluate the kappa term, if the evaluation is successful then the next call of value returns the evaluated value.
      Returns:
      True if the evaluation is sucessful, false otherwise
    • value

      int value()
      Returns:
      The value of this kappa term or -1 if the kappa-term's evaluate() method returns false.
    • greaterEqualThan

      int greaterEqualThan()
      Returns:
      The minimum value of this kappa term, such that the caller knows the kappa term is greater or equal the returned value.
    • getSubTerms

      Set<KappaTerm> getSubTerms()
      Processes all the sub-terms
      Returns:
      A set containing all the sub-terms of the kappa term