@Override public ClassConclusion visit( SubClassInclusionComposedObjectUnionOf inference) { return inference.getConclusion(conclusionFactory_); }
@Override public ClassConclusion visit( SubClassInclusionComposedObjectUnionOf inference) { return inference.getConclusion(conclusionFactory_); }
@Override public ClassConclusion visit( SubClassInclusionComposedObjectUnionOf inference) { return inference.getConclusion(conclusionFactory_); }
@Override public String visit(SubClassInclusionComposedObjectUnionOf inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getPremise(factory_)); }
@Override public O visit(SubClassInclusionComposedObjectUnionOf inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit(SubClassInclusionComposedObjectUnionOf inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getPremise(factory_)); }
@Override public String visit(SubClassInclusionComposedObjectUnionOf inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getPremise(factory_)); }
@Override public O visit(SubClassInclusionComposedObjectUnionOf inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(SubClassInclusionComposedObjectUnionOf inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), originMatch_, conclusionSubsumerMatch_); }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), originMatch_, conclusionSubsumerMatch_); }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), originMatch_, conclusionSubsumerMatch_); }