@Override public SubClassInclusionExpandedSecondEquivalentClassMatch1 getSubClassInclusionExpandedSecondEquivalentClassMatch1( SubClassInclusionExpandedSecondEquivalentClass parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { return new SubClassInclusionExpandedSecondEquivalentClassMatch1(parent, conclusionMatch); }
SubClassInclusionExpandedSecondEquivalentClassMatch1( SubClassInclusionExpandedSecondEquivalentClass parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionExpandedSecondEquivalentClassMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch(), getPremiseSubsumerMatch()); }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getConclusionSubsumerMatch(), getPremiseSubsumerMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch(), getPremiseSubsumerMatch()); }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getConclusionSubsumerMatch(), getPremiseSubsumerMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch(), getPremiseSubsumerMatch()); }
SubClassInclusionExpandedSecondEquivalentClassMatch1( SubClassInclusionExpandedSecondEquivalentClass parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionExpandedSecondEquivalentClassMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getConclusionSubsumerMatch(), getPremiseSubsumerMatch()); }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
@Override public SubClassInclusionExpandedSecondEquivalentClassMatch1 getSubClassInclusionExpandedSecondEquivalentClassMatch1( SubClassInclusionExpandedSecondEquivalentClass parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { return new SubClassInclusionExpandedSecondEquivalentClassMatch1(parent, conclusionMatch); }
SubClassInclusionExpandedSecondEquivalentClassMatch1( SubClassInclusionExpandedSecondEquivalentClass parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionExpandedSecondEquivalentClassMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public Void visit( SubClassInclusionExpandedSecondEquivalentClassMatch1 inferenceMatch1) { IndexedEquivalentClassesAxiomMatch1 premiseMatch1 = inferenceMatch1 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (IndexedEquivalentClassesAxiomMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new IndexedEquivalentClassesAxiomMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public SubClassInclusionExpandedSecondEquivalentClassMatch1 getSubClassInclusionExpandedSecondEquivalentClassMatch1( SubClassInclusionExpandedSecondEquivalentClass parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { return new SubClassInclusionExpandedSecondEquivalentClassMatch1(parent, conclusionMatch); }
SubClassInclusionDecomposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), originMatch_); }