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 Summary

    Constructors
    Constructor
    Description
    KappaMin()
    Default

  • 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.
    Set<KappaTerm>
    getSubTerms()
    Processes all the sub-terms
    int
    greaterEqualThan()
    Return The minimum value of this kappa term, such that the caller knows the kappa term is greater or equal the returned value.
    String
    toString()
     
    int
    value()
    The neutral element is zero, that means if the minimum is empty this method returns zero.

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • KappaMin

      public KappaMin()
      Default

  • 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()
      Description copied from interface: KappaTerm
      Return The minimum value of this kappa term, such that the caller knows the kappa term is greater or equal the returned value.
      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