Class KappaMin

  • All Implemented Interfaces:
    KappaTerm

    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.
    Author:
    Tim Janus
    • Constructor Detail

      • KappaMin

        public KappaMin()
    • Method Detail

      • 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
        Returns:
        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
        Returns:
        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
        Returns:
        The minimum value of this kappa term, such that the caller knows the kappa term is greater or equal the returned value.
      • getSubTerms

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