public final class OntClassInfo.ManagementOperation extends Object
Modifier and Type | Method and Description |
---|---|
void |
addExtender(OntClassInfo extenderInfo)
Add a new extender.
|
OntClassInfo |
getClone()
Internal method.
|
int |
getNumberOfExtenders()
Get the number of extenders.
|
void |
removeExtender(OntClassInfo extenderInfo)
Remove an existing extender.
|
public void addExtender(OntClassInfo extenderInfo)
public void removeExtender(OntClassInfo extenderInfo)
public int getNumberOfExtenders()
public OntClassInfo getClone()
Copyright © 2018 universAAL Consortium. All rights reserved.