public void visit(OWLObjectOneOf desc) {
try {
faCTPlusPlus.initArgList();
for (OWLIndividual ind : desc.getIndividuals()) {
ind.accept(this);
faCTPlusPlus.addArg(getLastIndividualPointer());
}
faCTPlusPlus.closeArgList();
lastClassPointer = faCTPlusPlus.getOneOf();
} catch (Exception e) {
throw new FaCTPlusPlusRuntimeException(e);
}
}
public IndividualPointer translate(OWLIndividual individual) throws OWLException {
individual.accept(this);
return getLastIndividualPointer();
}