Class | Description |
---|---|
AddClasses | |
AddClassLevel | |
AddProperties | |
BasicAlterator | |
EmptyModification | |
FlattenLevel | |
RemoveClasses | |
RemoveClassLevel | |
RemoveComments | |
RemoveIndividuals | |
RemoveProperties | |
RemoveRestrictions | |
RenameClasses | |
RenameProperties | |
RenameThings |
This is only an abstract class gathering the renaming routines
|
SuppressHierarchy |
(C) INRIA & friends, 2003-2020