@Override public ElkEquivalentClassesAxiomEquivalenceConversionMatch1 getElkEquivalentClassesAxiomEquivalenceConversionMatch1( ElkEquivalentClassesAxiomEquivalenceConversion parent, IndexedEquivalentClassesAxiomMatch1 conclusionMatch) { return filter(mainFactory_ .getElkEquivalentClassesAxiomEquivalenceConversionMatch1(parent, conclusionMatch)); }
@Override public Void visit(ElkEquivalentClassesAxiomEquivalenceConversion inference) { factory.getElkEquivalentClassesAxiomEquivalenceConversionMatch1( inference, child); return null; }
@Override public ElkEquivalentClassesAxiomEquivalenceConversionMatch1 getElkEquivalentClassesAxiomEquivalenceConversionMatch1( ElkEquivalentClassesAxiomEquivalenceConversion parent, IndexedEquivalentClassesAxiomMatch1 conclusionMatch) { return filter(mainFactory_ .getElkEquivalentClassesAxiomEquivalenceConversionMatch1(parent, conclusionMatch)); }
@Override public ElkEquivalentClassesAxiomEquivalenceConversionMatch1 getElkEquivalentClassesAxiomEquivalenceConversionMatch1( ElkEquivalentClassesAxiomEquivalenceConversion parent, IndexedEquivalentClassesAxiomMatch1 conclusionMatch) { return filter(mainFactory_ .getElkEquivalentClassesAxiomEquivalenceConversionMatch1(parent, conclusionMatch)); }
@Override public Void visit(ElkEquivalentClassesAxiomEquivalenceConversion inference) { factory.getElkEquivalentClassesAxiomEquivalenceConversionMatch1( inference, child); return null; }
@Override public Void visit(ElkEquivalentClassesAxiomEquivalenceConversion inference) { factory.getElkEquivalentClassesAxiomEquivalenceConversionMatch1( inference, child); return null; }