Java FaCTPlusPlus.getObjectExact Examples

Example #1

File: Translator.java Project: BGCX067/factplusplus-svn-to-git

 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);
   }
 }