@Override public SubPropertyChainExpandedSubObjectPropertyOfMatch2 getSubPropertyChainExpandedSubObjectPropertyOfMatch2( SubPropertyChainExpandedSubObjectPropertyOfMatch1 parent, IndexedSubObjectPropertyOfAxiomMatch2 secondPremiseMatch) { return new SubPropertyChainExpandedSubObjectPropertyOfMatch2(parent, secondPremiseMatch); }
SubPropertyChainExpandedSubObjectPropertyOfMatch2( SubPropertyChainExpandedSubObjectPropertyOfMatch1 parent, IndexedSubObjectPropertyOfAxiomMatch2 firstPremiseMatch) { super(parent); subChainMatch_ = firstPremiseMatch.getSubPropertyChainMatch(); interPropertyMatch_ = firstPremiseMatch.getSuperPropertyMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
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); }
SubPropertyChainMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getSecondPremiseMatch(factory), getParent().getInterPropertyMatch(), 0); }
@Override public String visit( SubPropertyChainExpandedSubObjectPropertyOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public Void visit( SubPropertyChainExpandedSubObjectPropertyOfMatch2 inferenceMatch2) { SubPropertyChainMatch1 premiseMatch1 = inferenceMatch2 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (SubPropertyChainMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubPropertyChainMatch2InferenceVisitor(inferenceFactory_, child)).visit(inferenceMatch2); } return null; }
public SubPropertyChainMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getSubChainMatch(), 0); }
SubPropertyChainMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getSecondPremiseMatch(factory), getParent().getInterPropertyMatch(), 0); }
@Override public String visit( SubPropertyChainExpandedSubObjectPropertyOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public Void visit( SubPropertyChainExpandedSubObjectPropertyOfMatch2 inferenceMatch2) { SubPropertyChainMatch1 premiseMatch1 = inferenceMatch2 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (SubPropertyChainMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubPropertyChainMatch2InferenceVisitor(inferenceFactory_, child)).visit(inferenceMatch2); } return null; }
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); }
SubPropertyChainExpandedSubObjectPropertyOfMatch2( SubPropertyChainExpandedSubObjectPropertyOfMatch1 parent, IndexedSubObjectPropertyOfAxiomMatch2 firstPremiseMatch) { super(parent); subChainMatch_ = firstPremiseMatch.getSubPropertyChainMatch(); interPropertyMatch_ = firstPremiseMatch.getSuperPropertyMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
SubPropertyChainMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getSecondPremiseMatch(factory), getParent().getInterPropertyMatch(), 0); }
@Override public String visit( SubPropertyChainExpandedSubObjectPropertyOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public SubPropertyChainExpandedSubObjectPropertyOfMatch2 getSubPropertyChainExpandedSubObjectPropertyOfMatch2( SubPropertyChainExpandedSubObjectPropertyOfMatch1 parent, IndexedSubObjectPropertyOfAxiomMatch2 secondPremiseMatch) { return new SubPropertyChainExpandedSubObjectPropertyOfMatch2(parent, secondPremiseMatch); }
@Override public Void visit( SubPropertyChainExpandedSubObjectPropertyOfMatch2 inferenceMatch2) { SubPropertyChainMatch1 premiseMatch1 = inferenceMatch2 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (SubPropertyChainMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubPropertyChainMatch2InferenceVisitor(inferenceFactory_, child)).visit(inferenceMatch2); } return null; }
IndexedSubObjectPropertyOfAxiomMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getFirstPremiseMatch(factory), getSubChainMatch(), getInterPropertyMatch()); }
SubPropertyChainExpandedSubObjectPropertyOfMatch2( SubPropertyChainExpandedSubObjectPropertyOfMatch1 parent, IndexedSubObjectPropertyOfAxiomMatch2 firstPremiseMatch) { super(parent); subChainMatch_ = firstPremiseMatch.getSubPropertyChainMatch(); interPropertyMatch_ = firstPremiseMatch.getSuperPropertyMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }