@Override public ElkClassInclusionOwlNothing getElkClassInclusionOwlNothing( ElkClassExpression superClass) { return new ElkClassInclusionOwlNothing(superClass); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public Boolean visit(ElkClassInclusionOwlNothing other) { return equals(other.getSuperClass(), inference.getSuperClass()); } });
@Override public Boolean visit(ElkClassInclusionOwlNothing other) { return equals(other.getSuperClass(), inference.getSuperClass()); } });
@Override public Boolean visit(ElkClassInclusionOwlNothing other) { return equals(other.getSuperClass(), inference.getSuperClass()); } });
@Override public ElkClassInclusionOwlNothing getElkClassInclusionOwlNothing( ElkClassExpression superClass) { return new ElkClassInclusionOwlNothing(superClass); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public Integer visit(ElkClassInclusionOwlNothing inference) { return combinedHashCode(hashCode(ElkClassInclusionOwlNothing.class), hashCode(inference.getSuperClass())); }
@Override public ElkClassInclusionOwlNothing getElkClassInclusionOwlNothing( ElkClassExpression superClass) { return new ElkClassInclusionOwlNothing(superClass); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public Integer visit(ElkClassInclusionOwlNothing inference) { return combinedHashCode(hashCode(ElkClassInclusionOwlNothing.class), hashCode(inference.getSuperClass())); }
@Override public Integer visit(ElkClassInclusionOwlNothing inference) { return combinedHashCode(hashCode(ElkClassInclusionOwlNothing.class), hashCode(inference.getSuperClass())); }