@Override public String visit(SubClassInclusionDecomposedFirstConjunct inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getPremise(factory_)); }
@Override public ClassConclusion visit( SubClassInclusionDecomposedFirstConjunct inference) { return inference.getConclusion(conclusionFactory_); }
@Override public O visit(SubClassInclusionDecomposedFirstConjunct inference) { conclusionVisitor_.visit(inference.getPremise(conclusionFactory_)); return null; }
@Override public void apply(IndexedObjectIntersectionOf premise, ContextPremises premises, ClassInferenceProducer producer) { producer.produce(new SubClassInclusionDecomposedFirstConjunct(premises.getRoot(), premise)); producer.produce(new SubClassInclusionDecomposedSecondConjunct(premises.getRoot(), premise)); }
@Override public ClassConclusion visit( SubClassInclusionDecomposedFirstConjunct inference) { return inference.getConclusion(conclusionFactory_); }
@Override public O visit(SubClassInclusionDecomposedFirstConjunct inference) { conclusionVisitor_.visit(inference.getPremise(conclusionFactory_)); return null; }
@Override public void apply(IndexedObjectIntersectionOf premise, ContextPremises premises, ClassInferenceProducer producer) { producer.produce(new SubClassInclusionDecomposedFirstConjunct(premises.getRoot(), premise)); producer.produce(new SubClassInclusionDecomposedSecondConjunct(premises.getRoot(), premise)); }
@Override public String visit(SubClassInclusionDecomposedFirstConjunct inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getPremise(factory_)); }
@Override public ClassConclusion visit( SubClassInclusionDecomposedFirstConjunct inference) { return inference.getConclusion(conclusionFactory_); }
@Override public O visit(SubClassInclusionDecomposedFirstConjunct inference) { conclusionVisitor_.visit(inference.getPremise(conclusionFactory_)); return null; }
@Override public void apply(IndexedObjectIntersectionOf premise, ContextPremises premises, ClassInferenceProducer producer) { producer.produce(new SubClassInclusionDecomposedFirstConjunct(premises.getRoot(), premise)); producer.produce(new SubClassInclusionDecomposedSecondConjunct(premises.getRoot(), premise)); }
@Override public String visit(SubClassInclusionDecomposedFirstConjunct inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getPremise(factory_)); }
@Override public O visit(SubClassInclusionDecomposedFirstConjunct inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(SubClassInclusionDecomposedFirstConjunct inference) { conclusionVisitor_.visit(inference.getPremise(conclusionFactory_)); return null; }
@Override public O visit(SubClassInclusionDecomposedFirstConjunct inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(SubClassInclusionDecomposedFirstConjunct inference) { conclusionVisitor_.visit(inference.getPremise(conclusionFactory_)); return null; }
@Override public O visit(SubClassInclusionDecomposedFirstConjunct inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(SubClassInclusionDecomposedFirstConjunct inference) { conclusionVisitor_.visit(inference.getPremise(conclusionFactory_)); return null; }
SubClassInclusionDecomposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), originMatch_); }
public SubClassInclusionDecomposedMatch1 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getPremise(factory), originMatch_); }