@Override public SubPropertyChainExpandedSubObjectPropertyOfMatch1 getSubPropertyChainExpandedSubObjectPropertyOfMatch1( SubPropertyChainExpandedSubObjectPropertyOf parent, SubPropertyChainMatch1 conclusionMatch) { return new SubPropertyChainExpandedSubObjectPropertyOfMatch1(parent, conclusionMatch); }
SubPropertyChainExpandedSubObjectPropertyOfMatch1( SubPropertyChainExpandedSubObjectPropertyOf parent, SubPropertyChainMatch1 conclusionMatch) { super(parent); fullSuperChainMatch_ = conclusionMatch.getFullSuperChainMatch(); superChainStartPos_ = conclusionMatch.getSuperChainStartPos(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
SubPropertyChainMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getConclusion(factory), getFullSuperChainMatch(), getSuperChainStartPos()); }
.getParent(); final ElkSubObjectPropertyExpression fullSuperChainMatch = inferenceMatch1 .getFullSuperChainMatch(); final int superChainStartPos = inferenceMatch1.getSuperChainStartPos(); ElkObjectPropertyExpression superPropertyMatch = fullSuperChainMatch .accept(new ElkSubObjectPropertyExpressionVisitor<ElkObjectPropertyExpression>() {
@Override public String visit( SubPropertyChainExpandedSubObjectPropertyOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
IndexedSubObjectPropertyOfAxiomMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getFirstPremiseMatch(factory), getSubChainMatch(), getInterPropertyMatch()); }
public SubPropertyChainMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getSubChainMatch(), 0); }
.getParent(); final ElkSubObjectPropertyExpression fullSuperChainMatch = inferenceMatch1 .getFullSuperChainMatch(); final int superChainStartPos = inferenceMatch1.getSuperChainStartPos(); ElkObjectPropertyExpression superPropertyMatch = fullSuperChainMatch .accept(new ElkSubObjectPropertyExpressionVisitor<ElkObjectPropertyExpression>() {
@Override public String visit( SubPropertyChainExpandedSubObjectPropertyOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
IndexedSubObjectPropertyOfAxiomMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getFirstPremiseMatch(factory), getSubChainMatch(), getInterPropertyMatch()); }
public SubPropertyChainMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getSubChainMatch(), 0); }
SubPropertyChainMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getConclusion(factory), getFullSuperChainMatch(), getSuperChainStartPos()); }
SubPropertyChainExpandedSubObjectPropertyOfMatch1( SubPropertyChainExpandedSubObjectPropertyOf parent, SubPropertyChainMatch1 conclusionMatch) { super(parent); fullSuperChainMatch_ = conclusionMatch.getFullSuperChainMatch(); superChainStartPos_ = conclusionMatch.getSuperChainStartPos(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
.getParent(); final ElkSubObjectPropertyExpression fullSuperChainMatch = inferenceMatch1 .getFullSuperChainMatch(); final int superChainStartPos = inferenceMatch1.getSuperChainStartPos(); ElkObjectPropertyExpression superPropertyMatch = fullSuperChainMatch .accept(new ElkSubObjectPropertyExpressionVisitor<ElkObjectPropertyExpression>() {
@Override public String visit( SubPropertyChainExpandedSubObjectPropertyOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
IndexedSubObjectPropertyOfAxiomMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getFirstPremiseMatch(factory), getSubChainMatch(), getInterPropertyMatch()); }
public SubPropertyChainMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getSubChainMatch(), 0); }
@Override public SubPropertyChainExpandedSubObjectPropertyOfMatch1 getSubPropertyChainExpandedSubObjectPropertyOfMatch1( SubPropertyChainExpandedSubObjectPropertyOf parent, SubPropertyChainMatch1 conclusionMatch) { return new SubPropertyChainExpandedSubObjectPropertyOfMatch1(parent, conclusionMatch); }
SubPropertyChainMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getConclusion(factory), getFullSuperChainMatch(), getSuperChainStartPos()); }
SubPropertyChainExpandedSubObjectPropertyOfMatch1( SubPropertyChainExpandedSubObjectPropertyOf parent, SubPropertyChainMatch1 conclusionMatch) { super(parent); fullSuperChainMatch_ = conclusionMatch.getFullSuperChainMatch(); superChainStartPos_ = conclusionMatch.getSuperChainStartPos(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }