@Override public PropagationGeneratedMatch2 getPropagationGeneratedMatch2( PropagationGeneratedMatch1 parent, SubClassInclusionComposedMatch2 secondPremiseMatch) { return new PropagationGeneratedMatch2(parent, secondPremiseMatch); }
PropagationGeneratedMatch2(PropagationGeneratedMatch1 parent, SubClassInclusionComposedMatch2 secondPremiseMatch) { super(parent); this.extendedDestinationMatch_ = secondPremiseMatch .getExtendedDestinationMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedDestinationMatch()); }
public SubPropertyChainMatch2 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getThirdPremiseMatch(factory), getParent().getParent().getSubDestinationMatch(), 0); }
@Override public String visit(PropagationGeneratedMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public Void visit(PropagationGeneratedMatch2 inferenceMatch2) { SubPropertyChainMatch1 premiseMatch1 = inferenceMatch2 .getThirdPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (SubPropertyChainMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubPropertyChainMatch2InferenceVisitor(inferenceFactory_, child)).visit(inferenceMatch2); } return null; }
public SubPropertyChainMatch2 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getThirdPremiseMatch(factory), getParent().getParent().getSubDestinationMatch(), 0); }
@Override public String visit(PropagationGeneratedMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public Void visit(PropagationGeneratedMatch2 inferenceMatch2) { SubPropertyChainMatch1 premiseMatch1 = inferenceMatch2 .getThirdPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (SubPropertyChainMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubPropertyChainMatch2InferenceVisitor(inferenceFactory_, child)).visit(inferenceMatch2); } return null; }
SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedDestinationMatch()); }
public SubPropertyChainMatch2 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getThirdPremiseMatch(factory), getParent().getParent().getSubDestinationMatch(), 0); }
PropagationGeneratedMatch2(PropagationGeneratedMatch1 parent, SubClassInclusionComposedMatch2 secondPremiseMatch) { super(parent); this.extendedDestinationMatch_ = secondPremiseMatch .getExtendedDestinationMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit(PropagationGeneratedMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public PropagationGeneratedMatch2 getPropagationGeneratedMatch2( PropagationGeneratedMatch1 parent, SubClassInclusionComposedMatch2 secondPremiseMatch) { return new PropagationGeneratedMatch2(parent, secondPremiseMatch); }
@Override public Void visit(PropagationGeneratedMatch2 inferenceMatch2) { SubPropertyChainMatch1 premiseMatch1 = inferenceMatch2 .getThirdPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (SubPropertyChainMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubPropertyChainMatch2InferenceVisitor(inferenceFactory_, child)).visit(inferenceMatch2); } return null; }
SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedDestinationMatch()); }
PropagationGeneratedMatch2(PropagationGeneratedMatch1 parent, SubClassInclusionComposedMatch2 secondPremiseMatch) { super(parent); this.extendedDestinationMatch_ = secondPremiseMatch .getExtendedDestinationMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
@Override public PropagationGeneratedMatch2 getPropagationGeneratedMatch2( PropagationGeneratedMatch1 parent, SubClassInclusionComposedMatch2 secondPremiseMatch) { return new PropagationGeneratedMatch2(parent, secondPremiseMatch); }
public PropagationMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropagationMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getExtendedDestinationMatch()); }