Package | Description |
---|---|
cz.vse.keg.patomat2.transformation.pattern |
Modifier and Type | Method and Description |
---|---|
java.util.ArrayList<AxiomImpl> |
OntologyPatternImpl.getAxioms() |
java.util.ArrayList<AxiomImpl> |
OntologyPattern.getAxioms() |
java.util.ArrayList<AxiomImpl> |
OntologyPatternImpl.getRecursiveAxioms() |
java.util.ArrayList<AxiomImpl> |
OntologyPattern.getRecursiveAxioms() |
Modifier and Type | Method and Description |
---|---|
void |
OntologyPatternImpl.addAxiom(AxiomImpl axiom) |
void |
OntologyPattern.addAxiom(AxiomImpl axiom) |
void |
OntologyPatternImpl.removeAxiom(AxiomImpl axiom) |
void |
OntologyPattern.removeAxiom(AxiomImpl axiom) |
void |
OntologyPatternImpl.replaceAxiom(AxiomImpl oldAxiom,
AxiomImpl newAxiom) |
void |
OntologyPattern.replaceAxiom(AxiomImpl oldAxiom,
AxiomImpl newAxiom) |