@Override public String visit(IndexedEquivalentClassesAxiom conclusion) { return String.format("[%s = %s]", conclusion.getFirstMember(), conclusion.getSecondMember()); }
@Override public String visit(IndexedEquivalentClassesAxiom conclusion) { return String.format("[%s = %s]", conclusion.getFirstMember(), conclusion.getSecondMember()); }
@Override public String visit(IndexedEquivalentClassesAxiom conclusion) { return String.format("[%s = %s]", conclusion.getFirstMember(), conclusion.getSecondMember()); }
@Override public String visit(IndexedEquivalentClassesAxiom axiom) { return axiom.getFirstMember() + " = " + axiom.getSecondMember(); }
@Override public String visit(IndexedEquivalentClassesAxiom axiom) { return axiom.getFirstMember() + " = " + axiom.getSecondMember(); }
@Override public String visit(IndexedEquivalentClassesAxiom axiom) { return axiom.getFirstMember() + " = " + axiom.getSecondMember(); }
@Override public Boolean visit(IndexedEquivalentClassesAxiom other) { return equals(other.getFirstMember(), conclusion.getFirstMember()) && equals(other.getSecondMember(), conclusion.getSecondMember()); } });
@Override public Boolean visit(IndexedEquivalentClassesAxiom other) { return equals(other.getFirstMember(), conclusion.getFirstMember()) && equals(other.getSecondMember(), conclusion.getSecondMember()); } });
@Override public Boolean visit(IndexedEquivalentClassesAxiom other) { return equals(other.getFirstMember(), conclusion.getFirstMember()) && equals(other.getSecondMember(), conclusion.getSecondMember()); } });
@Override public Integer visit(IndexedEquivalentClassesAxiom conclusion) { return combinedHashCode(hashCode(IndexedEquivalentClassesAxiom.class), hashCode(conclusion.getFirstMember()), hashCode(conclusion.getSecondMember())); }
@Override public Integer visit(IndexedEquivalentClassesAxiom conclusion) { return combinedHashCode(hashCode(IndexedEquivalentClassesAxiom.class), hashCode(conclusion.getFirstMember()), hashCode(conclusion.getSecondMember())); }
@Override public Integer visit(IndexedEquivalentClassesAxiom conclusion) { return combinedHashCode(hashCode(IndexedEquivalentClassesAxiom.class), hashCode(conclusion.getFirstMember()), hashCode(conclusion.getSecondMember())); }
@Override public String visit(IndexedEquivalentClassesAxiomMatch2 conclusionMatch) { IndexedEquivalentClassesAxiom conclusion = conclusionMatch.getParent() .getParent(); return conclusionMatch.getParent() + MATCH_LEVEL_// + conclusion.getFirstMember() + MATCH_ + conclusionMatch.getFirstMemberMatch() + MATCH_SEP_ + conclusion.getSecondMember() + MATCH_ + conclusionMatch.getSecondMemberMatch(); }
@Override public String visit(IndexedEquivalentClassesAxiomMatch2 conclusionMatch) { IndexedEquivalentClassesAxiom conclusion = conclusionMatch.getParent() .getParent(); return conclusionMatch.getParent() + MATCH_LEVEL_// + conclusion.getFirstMember() + MATCH_ + conclusionMatch.getFirstMemberMatch() + MATCH_SEP_ + conclusion.getSecondMember() + MATCH_ + conclusionMatch.getSecondMemberMatch(); }
@Override public String visit(IndexedEquivalentClassesAxiomMatch2 conclusionMatch) { IndexedEquivalentClassesAxiom conclusion = conclusionMatch.getParent() .getParent(); return conclusionMatch.getParent() + MATCH_LEVEL_// + conclusion.getFirstMember() + MATCH_ + conclusionMatch.getFirstMemberMatch() + MATCH_SEP_ + conclusion.getSecondMember() + MATCH_ + conclusionMatch.getSecondMemberMatch(); }