Uses of Package
org.tweetyproject.logics.cl.kappa

Packages that use org.tweetyproject.logics.cl.kappa

Package	Description
org.tweetyproject.logics.cl.kappa
org.tweetyproject.logics.cl.reasoner
org.tweetyproject.logics.cl.rules

Classes in org.tweetyproject.logics.cl.kappa used by org.tweetyproject.logics.cl.kappa

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.

Classes in org.tweetyproject.logics.cl.kappa used by org.tweetyproject.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 org.tweetyproject.logics.cl.kappa used by org.tweetyproject.logics.cl.rules

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