Package | Description |
---|---|
net.sf.tweety.logics.cl.kappa | |
net.sf.tweety.logics.cl.rules |
Modifier and Type | Class and Description |
---|---|
class |
KappaMin
|
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. |
Modifier and Type | Field and 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
|
Modifier and Type | Method and 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() |
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
|