Package | Description |
---|---|
net.sf.tweety.logics.commons.syntax | |
net.sf.tweety.logics.dl.syntax |
Constructor and Description |
---|
Concept(java.lang.String name,
java.util.Set<Individual> arguments) |
Role(java.lang.String name,
java.util.Set<Pair<Individual,Individual>> roles) |
Role(java.lang.String name,
java.util.Set<Pair<Individual,Individual>> roles) |
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Individual> |
DlSignature.individuals |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Individual> |
DlSignature.getIndividuals() |
Modifier and Type | Method and Description |
---|---|
void |
DlSignature.setIndividuals(java.util.Set<Individual> individuals) |