@Override public ElkClassInclusionOfClassAssertion getElkClassInclusionOfClassAssertion( ElkIndividual instance, ElkClassExpression type) { return new ElkClassInclusionOfClassAssertion(instance, type); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public Boolean visit(ElkClassInclusionOfClassAssertion other) { return equals(other.getInstance(), inference.getInstance()) && equals(other.getType(), inference.getType()); } });
@Override public Boolean visit(ElkClassInclusionOfClassAssertion other) { return equals(other.getInstance(), inference.getInstance()) && equals(other.getType(), inference.getType()); } });
@Override public Boolean visit(ElkClassInclusionOfClassAssertion other) { return equals(other.getInstance(), inference.getInstance()) && equals(other.getType(), inference.getType()); } });
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkClassInclusionOfClassAssertion getElkClassInclusionOfClassAssertion( ElkIndividual instance, ElkClassExpression type) { return new ElkClassInclusionOfClassAssertion(instance, type); }
@Override public Integer visit(ElkClassInclusionOfClassAssertion inference) { return combinedHashCode( hashCode(ElkClassInclusionOfClassAssertion.class), hashCode(inference.getInstance()), hashCode(inference.getType())); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkClassInclusionOfClassAssertion getElkClassInclusionOfClassAssertion( ElkIndividual instance, ElkClassExpression type) { return new ElkClassInclusionOfClassAssertion(instance, type); }
@Override public Integer visit(ElkClassInclusionOfClassAssertion inference) { return combinedHashCode( hashCode(ElkClassInclusionOfClassAssertion.class), hashCode(inference.getInstance()), hashCode(inference.getType())); }
@Override public Integer visit(ElkClassInclusionOfClassAssertion inference) { return combinedHashCode( hashCode(ElkClassInclusionOfClassAssertion.class), hashCode(inference.getInstance()), hashCode(inference.getType())); }