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	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	Description
(package private) java.util.List<KappaTerm>	KappaMin.elements	This list contains the elements of the minimum
(package private) java.util.List<KappaTerm>	KappaSum.elements	the elements that form the sum

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()

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