// DONE
@Override
public void visit(OWLObjectExactCardinalityRestriction desc) {
// desc.getProperty().accept(this);
desc.getFiller().accept(this);
OWLDescription d = this.getRelevantDescription();
this.rebuiltObjects.add(
this.factory.getOWLObjectExactCardinalityRestriction(
desc.getProperty(), desc.getCardinality(), d));
}
public void visit(OWLObjectExactCardinalityRestriction desc) {
try {
desc.getFiller().accept(this);
ClassPointer classPointer = getLastClassPointer();
desc.getProperty().accept(this);
ObjectPropertyPointer propertyPointer = getLastObjectPropertyPointer();
lastClassPointer =
faCTPlusPlus.getObjectExact(desc.getCardinality(), propertyPointer, classPointer);
} catch (Exception e) {
throw new FaCTPlusPlusRuntimeException(e);
}
}