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

Packages that use net.sf.tweety.logics.cl.kappa

Package	Description
net.sf.tweety.logics.cl.kappa
net.sf.tweety.logics.cl.reasoner
net.sf.tweety.logics.cl.rules

Classes in net.sf.tweety.logics.cl.kappa used by net.sf.tweety.logics.cl.kappa

Class	Description
KappaMin	This class represents a minimum, its elements are KappaTerm instances although in c-representation this are sums of Kappas KappaSum.
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.
KappaValue	Represents a Kappa-Value for the c-revision, it contains two KappaMin instances, both KappaValue and KappaMin implement the KappaTerm interface.

Classes in net.sf.tweety.logics.cl.kappa used by net.sf.tweety.logics.cl.reasoner

Class	Description
KappaValue	Represents a Kappa-Value for the c-revision, it contains two KappaMin instances, both KappaValue and KappaMin implement the KappaTerm interface.

Classes in net.sf.tweety.logics.cl.kappa used by net.sf.tweety.logics.cl.rules

Class	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.
KappaValue	Represents a Kappa-Value for the c-revision, it contains two KappaMin instances, both KappaValue and KappaMin implement the KappaTerm interface.