@Override public ElkEquivalentClassesOfDisjointUnion getElkEquivalentClassesOfDisjointUnion( ElkClass defined, List<? extends ElkClassExpression> disjoint) { return new ElkEquivalentClassesOfDisjointUnion(defined, disjoint); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public Boolean visit(ElkEquivalentClassesOfDisjointUnion other) { return equals(other.getDefined(), inference.getDefined()) && equals(other.getDisjoint(), inference.getDisjoint()); } });
@Override public ElkEquivalentClassesOfDisjointUnion visit( ElkEquivalentClassesOfDisjointUnion inference) { return inferenceFactory_.getElkEquivalentClassesOfDisjointUnion( getClass("C"), getClasses("D", inference.getDisjoint().size())); }
@Override public ElkEquivalentClassesOfDisjointUnion visit( ElkEquivalentClassesOfDisjointUnion inference) { return inferenceFactory_.getElkEquivalentClassesOfDisjointUnion( getClass("C"), getClasses("D", inference.getDisjoint().size())); }
@Override public Boolean visit(ElkEquivalentClassesOfDisjointUnion other) { return equals(other.getDefined(), inference.getDefined()) && equals(other.getDisjoint(), inference.getDisjoint()); } });
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkEquivalentClassesOfDisjointUnion getElkEquivalentClassesOfDisjointUnion( ElkClass defined, List<? extends ElkClassExpression> disjoint) { return new ElkEquivalentClassesOfDisjointUnion(defined, disjoint); }
@Override public ElkEquivalentClassesOfDisjointUnion visit( ElkEquivalentClassesOfDisjointUnion inference) { return inferenceFactory_.getElkEquivalentClassesOfDisjointUnion( getClass("C"), getClasses("D", inference.getDisjoint().size())); }
@Override public Boolean visit(ElkEquivalentClassesOfDisjointUnion other) { return equals(other.getDefined(), inference.getDefined()) && equals(other.getDisjoint(), inference.getDisjoint()); } });
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkEquivalentClassesOfDisjointUnion getElkEquivalentClassesOfDisjointUnion( ElkClass defined, List<? extends ElkClassExpression> disjoint) { return new ElkEquivalentClassesOfDisjointUnion(defined, disjoint); }
@Override public Integer visit(ElkEquivalentClassesOfDisjointUnion inference) { return combinedHashCode( hashCode(ElkEquivalentClassesOfDisjointUnion.class), hashCode(inference.getDefined()), hashCode(inference.getDisjoint())); }
@Override public Integer visit(ElkEquivalentClassesOfDisjointUnion inference) { return combinedHashCode( hashCode(ElkEquivalentClassesOfDisjointUnion.class), hashCode(inference.getDefined()), hashCode(inference.getDisjoint())); }
@Override public Integer visit(ElkEquivalentClassesOfDisjointUnion inference) { return combinedHashCode( hashCode(ElkEquivalentClassesOfDisjointUnion.class), hashCode(inference.getDefined()), hashCode(inference.getDisjoint())); }