Package net.sf.tweety.logics.cl.kappa
Interface KappaTerm
-
- All Known Implementing Classes:
KappaMin
,KappaSum
,KappaValue
public interface KappaTerm
This interface defines a kappa term, that can be evaluated, it can return its value, which is -1 as long as the kappa-term cannot be evaluated and it can return a value for that we know that the kappa-term value is greatar or equal to that value.- Author:
- Tim Janus
-
-
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()
int
value()
-
-
-
Method Detail
-
evaluate
boolean evaluate()
Tries to evaluate the kappa term, if the evaluation is successful then the next call of value returns the evaluated value.- Returns:
- True if the evaluation is sucessful, false otherwise
-
value
int value()
- Returns:
- The value of this kappa term or -1 if the kappa-term's evaluate() method returns false.
-
greaterEqualThan
int greaterEqualThan()
- Returns:
- The minimum value of this kappa term, such that the caller knows the kappa term is greater or equal the returned value.
-
getSubTerms
java.util.Set<KappaTerm> getSubTerms()
Processes all the sub-terms- Returns:
- A set containing all the sub-terms of the kappa term
-
-