Exemple #1
0
 public void visit(OWLDifferentIndividualsAxiom axiom) {
   type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
 }
Exemple #2
0
 @Override
 public AxiomType<?> getAxiomType() {
   return delegate.getAxiomType();
 }