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