Uses of Interface
net.sf.tweety.logics.cl.kappa.KappaTerm

Packages that use KappaTerm

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

Uses of KappaTerm in net.sf.tweety.logics.cl.kappa

Classes in net.sf.tweety.logics.cl.kappa that implement KappaTerm

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

Methods in net.sf.tweety.logics.cl.kappa that return types with arguments of type KappaTerm

Modifier and Type	Method	Description
java.util.Set<KappaTerm>	KappaMin.getSubTerms()
java.util.Set<KappaTerm>	KappaSum.getSubTerms()
java.util.Set<KappaTerm>	KappaTerm.getSubTerms()	Processes all the sub-terms
java.util.Set<KappaTerm>	KappaValue.getSubTerms()