cz.vse.keg.patomat2.transformation.pattern
public interface TransformationPattern
Modifier and Type | Method and Description |
---|---|
void |
copyRecursiveAxiomsInTP(int numberOfReplication) |
java.lang.String |
getLocation() |
OntologyPattern |
getOP1() |
OntologyPattern |
getOP2() |
PatternTransformation |
getPT() |
void |
removeRecursiveAxiomsFromTP() |
void |
setTP(java.lang.String tp) |
OntologyPattern getOP1()
OntologyPattern getOP2()
PatternTransformation getPT()
void setTP(java.lang.String tp)
java.lang.String getLocation()
void removeRecursiveAxiomsFromTP()
void copyRecursiveAxiomsInTP(int numberOfReplication)