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 and 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()
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

Set<KappaTerm> getSubTerms()

Processes all the sub-terms

Returns:

A set containing all the sub-terms of the kappa term