@Override public String visit( SubClassInclusionDecomposedSecondConjunctMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit( SubClassInclusionDecomposedSecondConjunctMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit( SubClassInclusionDecomposedSecondConjunctMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public SubClassInclusionDecomposedMatch1 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getPremise(factory), originMatch_); }
SubClassInclusionDecomposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), originMatch_); }
SubClassInclusionDecomposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), originMatch_); }
public SubClassInclusionDecomposedMatch1 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getPremise(factory), originMatch_); }
SubClassInclusionDecomposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), originMatch_); }
public SubClassInclusionDecomposedMatch1 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getPremise(factory), originMatch_); }