Uses of Interface
org.tweetyproject.logics.cl.kappa.KappaTerm

Packages that use KappaTerm

Package	Description
org.tweetyproject.logics.cl.kappa

Uses of KappaTerm in org.tweetyproject.logics.cl.kappa

Classes in org.tweetyproject.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 org.tweetyproject.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()