Package net.sf.tweety.logics.cl.kappa

Interface Summary

Interface	Description
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.

Class Summary

Class	Description
ConditionalStructureKappaBuilder	This class builds the initial kappa value list for a given conditional structure.
KappaMin	This class represents a minimum, its elements are KappaTerm instances although in c-representation this are sums of Kappas KappaSum.
KappaSum	This constructs represents a sum of kappa values (or terms).
KappaValue	Represents a Kappa-Value for the c-revision, it contains two KappaMin instances, both KappaValue and KappaMin implement the KappaTerm interface.