Class KappaMin

All Implemented Interfaces:

public class KappaMin extends Object implements KappaTerm
This class represents a minimum, its elements are KappaTerm instances although in c-representation this are sums of Kappas KappaSum. If it is empty it is evaluated to zero.
Tim Janus
  • Constructor Details

    • KappaMin

      public KappaMin()
  • Method Details

    • evaluate

      public boolean evaluate()
      Description copied from interface: KappaTerm
      Tries to evaluate the kappa term, if the evaluation is successful then the next call of value returns the evaluated value.
      Specified by:
      evaluate in interface KappaTerm
      True if the evaluation is sucessful, false otherwise
    • value

      public int value()
      The neutral element is zero, that means if the minimum is empty this method returns zero.
      Specified by:
      value in interface KappaTerm
      The value of this kappa term or -1 if the kappa-term's evaluate() method returns false.
    • greaterEqualThan

      public int greaterEqualThan()
      Specified by:
      greaterEqualThan in interface KappaTerm
      The minimum value of this kappa term, such that the caller knows the kappa term is greater or equal the returned value.
    • toString

      public String toString()
      toString in class Object
    • getSubTerms

      public Set<KappaTerm> getSubTerms()
      Description copied from interface: KappaTerm
      Processes all the sub-terms
      Specified by:
      getSubTerms in interface KappaTerm
      A set containing all the sub-terms of the kappa term