Package | Description |
---|---|
net.sf.tweety.logics.dl.syntax |
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Concept> |
DlSignature.concepts |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Concept> |
DlSignature.getConcepts() |
Modifier and Type | Method and Description |
---|---|
void |
DlSignature.setConcepts(java.util.Set<Concept> concepts) |