Package net.sf.tweety.logics.cl.kappa

Class KappaMin

  • All Implemented Interfaces:
    KappaTerm
    public class KappaMin
extends java.lang.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

    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) java.util.List<KappaTerm> elements
      This list contains the elements of the minimum
      (package private) int smallestEvaluate  
      (package private) int smallestGreaterEqual  
      (package private) int value
      The value of the kappa minimum, is -1 as long as it cannot be evaluated

    • Constructor Summary

      Constructors 
      Constructor Description
      KappaMin()  

    • 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()  
      java.lang.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

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Field Detail

      • smallestGreaterEqual

        int smallestGreaterEqual

      • smallestEvaluate

        int smallestEvaluate

      • value

        int value
        The value of the kappa minimum, is -1 as long as it cannot be evaluated

      • elements

        java.util.List<KappaTerm> elements
        This list contains the elements of the minimum

    • 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.

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object

      • getSubTerms

        public java.util.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