| Package | Description |
|---|---|
| net.sf.tweety.logics.cl.kappa |
| 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 | Method and Description |
|---|---|
Set<KappaTerm> |
KappaMin.getSubTerms() |
Set<KappaTerm> |
KappaSum.getSubTerms() |
Set<KappaTerm> |
KappaTerm.getSubTerms()
Processes all the sub-terms
|
Set<KappaTerm> |
KappaValue.getSubTerms() |
Copyright © 2018. All rights reserved.