@Override public String visit(IndexedDisjointClassesAxiom axiom) { return "Disjoint(" + axiom.getMembers() + ")"; }
@Override public String visit(IndexedDisjointClassesAxiom axiom) { return "Disjoint(" + axiom.getMembers() + ")"; }
@Override public String visit(IndexedDisjointClassesAxiom axiom) { return "Disjoint(" + axiom.getMembers() + ")"; }
@Override public String visit(IndexedDisjointClassesAxiom conclusion) { return String.format("[Disjoint(%s)]", conclusion.getMembers()); }
@Override public String visit(IndexedDisjointClassesAxiom conclusion) { return String.format("[Disjoint(%s)]", conclusion.getMembers()); }
@Override public String visit(IndexedDisjointClassesAxiom conclusion) { return String.format("[Disjoint(%s)]", conclusion.getMembers()); }
@Override public Boolean visit(IndexedDisjointClassesAxiom other) { return equals(other.getMembers(), conclusion.getMembers()); } });
@Override public Boolean visit(IndexedDisjointClassesAxiom other) { return equals(other.getMembers(), conclusion.getMembers()); } });
@Override public Boolean visit(IndexedDisjointClassesAxiom other) { return equals(other.getMembers(), conclusion.getMembers()); } });
@Override public Integer visit(IndexedDisjointClassesAxiom conclusion) { return combinedHashCode(hashCode(IndexedDisjointClassesAxiom.class), hashCode(conclusion.getMembers())); }
@Override public Integer visit(IndexedDisjointClassesAxiom conclusion) { return combinedHashCode(hashCode(IndexedDisjointClassesAxiom.class), hashCode(conclusion.getMembers())); }
@Override public Integer visit(IndexedDisjointClassesAxiom conclusion) { return combinedHashCode(hashCode(IndexedDisjointClassesAxiom.class), hashCode(conclusion.getMembers())); }
@Override public String visit(IndexedDisjointClassesAxiomMatch2 conclusionMatch) { IndexedDisjointClassesAxiom conclusion = conclusionMatch.getParent() .getParent(); return conclusionMatch.getParent() + MATCH_LEVEL_// + conclusion.getMembers() + MATCH_ + conclusionMatch.getMemberMatches(); }
@Override public String visit(IndexedDisjointClassesAxiomMatch2 conclusionMatch) { IndexedDisjointClassesAxiom conclusion = conclusionMatch.getParent() .getParent(); return conclusionMatch.getParent() + MATCH_LEVEL_// + conclusion.getMembers() + MATCH_ + conclusionMatch.getMemberMatches(); }
@Override public String visit(IndexedDisjointClassesAxiomMatch2 conclusionMatch) { IndexedDisjointClassesAxiom conclusion = conclusionMatch.getParent() .getParent(); return conclusionMatch.getParent() + MATCH_LEVEL_// + conclusion.getMembers() + MATCH_ + conclusionMatch.getMemberMatches(); }