@Override public SubClassInclusionTautologyMatch1 getSubClassInclusionTautologyMatch1( SubClassInclusionTautology parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { return new SubClassInclusionTautologyMatch1(parent, conclusionMatch); }
SubClassInclusionTautologyMatch1(SubClassInclusionTautology parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
@Override public String visit(SubClassInclusionTautologyMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public SubClassInclusionDecomposedMatch1 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), getOriginMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParentConclusionMatch(factory), getOriginMatch(), getOriginMatch().getMainFillerMatch(factory)); }
@Override public Void visit(SubClassInclusionTautologyMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); if (originMatch.getRangeMatches().isEmpty()) { elkInferenceFactory_.getElkClassInclusionTautology( toElkExpression(originMatch)); } else { elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( getFillerRanges(originMatch), 0); } return null; }
public SubClassInclusionDecomposedMatch1 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), getOriginMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParentConclusionMatch(factory), getOriginMatch(), getOriginMatch().getMainFillerMatch(factory)); }
@Override public Void visit(SubClassInclusionTautologyMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); if (originMatch.getRangeMatches().isEmpty()) { elkInferenceFactory_.getElkClassInclusionTautology( toElkExpression(originMatch)); } else { elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( getFillerRanges(originMatch), 0); } return null; }
public SubClassInclusionDecomposedMatch1 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), getOriginMatch()); }
SubClassInclusionTautologyMatch1(SubClassInclusionTautology parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParentConclusionMatch(factory), getOriginMatch(), getOriginMatch().getMainFillerMatch(factory)); }
@Override public Void visit(SubClassInclusionTautologyMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); if (originMatch.getRangeMatches().isEmpty()) { elkInferenceFactory_.getElkClassInclusionTautology( toElkExpression(originMatch)); } else { elkInferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( getFillerRanges(originMatch), 0); } return null; }
@Override public SubClassInclusionTautologyMatch1 getSubClassInclusionTautologyMatch1( SubClassInclusionTautology parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { return new SubClassInclusionTautologyMatch1(parent, conclusionMatch); }
@Override public String visit(SubClassInclusionTautologyMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
SubClassInclusionTautologyMatch1(SubClassInclusionTautology parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
@Override public SubClassInclusionTautologyMatch1 getSubClassInclusionTautologyMatch1( SubClassInclusionTautology parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { return new SubClassInclusionTautologyMatch1(parent, conclusionMatch); }
@Override public String visit(SubClassInclusionTautologyMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }