@Override public Void visit(ElkEquivalentObjectPropertiesAxiomConversion inference) { factory.getElkEquivalentObjectPropertiesAxiomConversionMatch1(inference, child); return null; }
@Override public ElkEquivalentObjectPropertiesAxiomConversionMatch1 getElkEquivalentObjectPropertiesAxiomConversionMatch1( ElkEquivalentObjectPropertiesAxiomConversion parent, IndexedSubObjectPropertyOfAxiomMatch1 conclusionMatch) { return filter(mainFactory_ .getElkEquivalentObjectPropertiesAxiomConversionMatch1(parent, conclusionMatch)); }
@Override public Void visit(ElkEquivalentObjectPropertiesAxiomConversion inference) { factory.getElkEquivalentObjectPropertiesAxiomConversionMatch1(inference, child); return null; }
@Override public ElkEquivalentObjectPropertiesAxiomConversionMatch1 getElkEquivalentObjectPropertiesAxiomConversionMatch1( ElkEquivalentObjectPropertiesAxiomConversion parent, IndexedSubObjectPropertyOfAxiomMatch1 conclusionMatch) { return filter(mainFactory_ .getElkEquivalentObjectPropertiesAxiomConversionMatch1(parent, conclusionMatch)); }
@Override public Void visit(ElkEquivalentObjectPropertiesAxiomConversion inference) { factory.getElkEquivalentObjectPropertiesAxiomConversionMatch1(inference, child); return null; }
@Override public ElkEquivalentObjectPropertiesAxiomConversionMatch1 getElkEquivalentObjectPropertiesAxiomConversionMatch1( ElkEquivalentObjectPropertiesAxiomConversion parent, IndexedSubObjectPropertyOfAxiomMatch1 conclusionMatch) { return filter(mainFactory_ .getElkEquivalentObjectPropertiesAxiomConversionMatch1(parent, conclusionMatch)); }