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 evaluate()
      Tries to evaluate the kappa term, if the evaluation is successful then the next call of value returns the evaluated value.
      java.util.Set<KappaTerm> getSubTerms()
      Processes all the sub-terms
      int greaterEqualThan()  
      int value()  
    • Method Detail

      • 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

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