Package org.tweetyproject.logics.cl.kappa

Class KappaMin

java.lang.Object
org.tweetyproject.logics.cl.kappa.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 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
      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.

    • toString

      public String toString()
      Overrides:
      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
      Returns:
      A set containing all the sub-terms of the kappa term