@Override public SubClassInclusionComposedDefinedClassMatch3 getSubClassInclusionComposedDefinedClassMatch3( SubClassInclusionComposedDefinedClassMatch2 parent, SubClassInclusionComposedMatch2 firstPremiseMatch) { return new SubClassInclusionComposedDefinedClassMatch3(parent, firstPremiseMatch); }
SubClassInclusionComposedDefinedClassMatch3( SubClassInclusionComposedDefinedClassMatch2 parent, SubClassInclusionComposedMatch2 firstPremiseMatch) { super(parent); this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionComposedDefinedClassMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public Void visit( SubClassInclusionComposedDefinedClassMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionComposedDefinedClassMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClassExpression definitionMatch = inferenceMatch2 .getDefinitionMatch(); SubClassInclusionComposedDefinedClassMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); ElkClass definedClassMatch = inferenceMatch1.getDefinedClassMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), definitionMatch, definedClassMatch); return null; }
public SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public Void visit( SubClassInclusionComposedDefinedClassMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionComposedDefinedClassMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClassExpression definitionMatch = inferenceMatch2 .getDefinitionMatch(); SubClassInclusionComposedDefinedClassMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); ElkClass definedClassMatch = inferenceMatch1.getDefinedClassMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), definitionMatch, definedClassMatch); return null; }
public SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public Void visit( SubClassInclusionComposedDefinedClassMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch(); SubClassInclusionComposedDefinedClassMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkClassExpression definitionMatch = inferenceMatch2 .getDefinitionMatch(); SubClassInclusionComposedDefinedClassMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); ElkClass definedClassMatch = inferenceMatch1.getDefinedClassMatch(); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedOriginMatch), definitionMatch, definedClassMatch); return null; }
public SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
SubClassInclusionComposedDefinedClassMatch3( SubClassInclusionComposedDefinedClassMatch2 parent, SubClassInclusionComposedMatch2 firstPremiseMatch) { super(parent); this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionComposedDefinedClassMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public SubClassInclusionComposedDefinedClassMatch3 getSubClassInclusionComposedDefinedClassMatch3( SubClassInclusionComposedDefinedClassMatch2 parent, SubClassInclusionComposedMatch2 firstPremiseMatch) { return new SubClassInclusionComposedDefinedClassMatch3(parent, firstPremiseMatch); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch()); }
SubClassInclusionComposedDefinedClassMatch3( SubClassInclusionComposedDefinedClassMatch2 parent, SubClassInclusionComposedMatch2 firstPremiseMatch) { super(parent); this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionComposedDefinedClassMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public SubClassInclusionComposedDefinedClassMatch3 getSubClassInclusionComposedDefinedClassMatch3( SubClassInclusionComposedDefinedClassMatch2 parent, SubClassInclusionComposedMatch2 firstPremiseMatch) { return new SubClassInclusionComposedDefinedClassMatch3(parent, firstPremiseMatch); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch()); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedOriginMatch()); }