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

Packages that use KappaTerm

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

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 and 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.

Fields in net.sf.tweety.logics.cl.kappa with type parameters of type KappaTerm

Modifier and Type	Field and Description
(package private) java.util.List<KappaTerm>	KappaSum.elements the elements that form the sum
(package private) java.util.List<KappaTerm>	KappaMin.elements This list contains the elements of the minimum

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

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

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

Fields in net.sf.tweety.logics.cl.rules with type parameters of type KappaTerm

Modifier and Type	Field and Description
private java.util.Map<KappaTerm,java.lang.Integer>	EvaluateRule.progressMap stores the old values of the kappa and is used to realize if some progress in calculation occured