@Override public void visit(final OWLDisjointUnionAxiom axiom) { // Make sure UNSUPPORTED_ENTAILMENT is updated if this function is implemented assert UNSUPPORTED_ENTAILMENT.contains(axiom.getAxiomType()); throw new UnsupportedOperationException("Unsupported entailment query: " + axiom); }
@Override public void visit(final OWLDisjointUnionAxiom axiom) { // Make sure UNSUPPORTED_ENTAILMENT is updated if this function is implemented assert UNSUPPORTED_ENTAILMENT.contains(axiom.getAxiomType()); throw new UnsupportedOperationException("Unsupported entailment query: " + axiom); }
@Override public void visit(final OWLDisjointUnionAxiom axiom) { // Make sure UNSUPPORTED_ENTAILMENT is updated if this function is implemented assert UNSUPPORTED_ENTAILMENT.contains(axiom.getAxiomType()); throw new UnsupportedOperationException("Unsupported entailment query: " + axiom); }
public void visit(OWLDisjointUnionAxiom axiom) { // Make sure UNSUPPORTED_ENTAILMENT is updated if this function is implemented assert UNSUPPORTED_ENTAILMENT.contains( axiom.getAxiomType() ); throw new UnsupportedOperationException("Unsupported entailment query: " + axiom ); }
public void visit(OWLDisjointUnionAxiom axiom) { // Make sure UNSUPPORTED_ENTAILMENT is updated if this function is implemented assert UNSUPPORTED_ENTAILMENT.contains( axiom.getAxiomType() ); throw new UnsupportedOperationException("Unsupported entailment query: " + axiom ); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex(); }
public void visit(OWLDisjointUnionAxiom axiom) { type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex(); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex(); }