| Package | Description |
|---|---|
| net.sf.tweety.logics.dl.syntax |
| Modifier and Type | Field and Description |
|---|---|
private java.util.Set<Role> |
DlSignature.roles |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<Role> |
DlSignature.getRoles() |
| Modifier and Type | Method and Description |
|---|---|
void |
DlSignature.setRoles(java.util.Set<Role> roles) |