Package org.tweetyproject.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.
Set<KappaTerm>	getSubTerms()	Processes all the sub-terms
int	greaterEqualThan()	Return The minimum value of this kappa term, such that the caller knows the kappa term is greater or equal the returned value.
int	value()	Return The value of this kappa term or -1 if the kappa-term's evaluate() method returns false.

Method Details

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

Return The value of this kappa term or -1 if the kappa-term's evaluate() method returns false.

Returns:

The value of this kappa term or -1 if the kappa-term's evaluate() method returns false.

greaterEqualThan

int greaterEqualThan()

Return The minimum value of this kappa term, such that the caller knows the kappa term is greater or equal the returned value.

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