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