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 booleanevaluate()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-termsintgreaterEqualThan()java.lang.StringtoString()intvalue()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:KappaTermTries 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:
greaterEqualThanin 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:
toStringin classjava.lang.Object
-
getSubTerms
public java.util.Set<KappaTerm> getSubTerms()
Description copied from interface:KappaTermProcesses all the sub-terms- Specified by:
getSubTermsin interfaceKappaTerm- Returns:
- A set containing all the sub-terms of the kappa term
-
-