@Override public String visit( SubClassInclusionComposedObjectUnionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit( SubClassInclusionComposedObjectUnionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit( SubClassInclusionComposedObjectUnionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public int getPosition() { return getParent().getPosition(); }
public int getPosition() { return getParent().getPosition(); }
public int getPosition() { return getParent().getPosition(); }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), originMatch_, conclusionSubsumerMatch_); }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), originMatch_, conclusionSubsumerMatch_); }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), originMatch_, conclusionSubsumerMatch_); }
public SubClassInclusionComposedMatch1 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getPremise(factory), originMatch_, getPremiseSubsumer(factory)); }
public SubClassInclusionComposedMatch1 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getPremise(factory), originMatch_, getPremiseSubsumer(factory)); }
public SubClassInclusionComposedMatch1 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getPremise(factory), originMatch_, getPremiseSubsumer(factory)); }