Package | Description |
---|---|
net.sf.tweety.logics.cl | |
net.sf.tweety.logics.cl.kappa | |
net.sf.tweety.logics.cl.rules |
Class and Description |
---|
KappaValue
Represents a Kappa-Value for the c-revision, it contains two
KappaMin
instances, both KappaValue and KappaMin implement the KappaTerm
interface. |
Class and Description |
---|
KappaMin |
KappaTerm
This interface defines a kappa term, that can be evaluated, it
can return its value, which is -1 as long as the kappa-term cannot
be evaluated and it can return a value for that we know that the kappa-term
value is greatar or equal to that value.
|
KappaValue
Represents a Kappa-Value for the c-revision, it contains two
KappaMin
instances, both KappaValue and KappaMin implement the KappaTerm
interface. |
Class and Description |
---|
KappaTerm
This interface defines a kappa term, that can be evaluated, it
can return its value, which is -1 as long as the kappa-term cannot
be evaluated and it can return a value for that we know that the kappa-term
value is greatar or equal to that value.
|
KappaValue
Represents a Kappa-Value for the c-revision, it contains two
KappaMin
instances, both KappaValue and KappaMin implement the KappaTerm
interface. |