Package net.sf.tweety.logics.cl.kappa
Class KappaMin
- java.lang.Object
-
- net.sf.tweety.logics.cl.kappa.KappaMin
-
-
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-termsint
greaterEqualThan()
java.lang.String
toString()
int
value()
The neutral element is zero, that means if the minimum is empty this method returns zero.
-
-
-
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.
-
value
public int value()
The neutral element is zero, that means if the minimum is empty this method returns zero.
-
greaterEqualThan
public int greaterEqualThan()
- Specified by:
greaterEqualThan
in interfaceKappaTerm
- 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 classjava.lang.Object
-
getSubTerms
public java.util.Set<KappaTerm> getSubTerms()
Description copied from interface:KappaTerm
Processes all the sub-terms- Specified by:
getSubTerms
in interfaceKappaTerm
- Returns:
- A set containing all the sub-terms of the kappa term
-
-