colRetDNFs.add(GeneratedFactory.eINSTANCE.createTCGDisjunctiveNormalForm());
else
{
TCGOCLExpression oExpression = in_oOriginalDNF.getOriginalExpression();
oExpression = TCGOCLExpressionHelperClass.pushDownNots(oExpression);
DecisionTableFlat oDecisionTable = new DecisionTableFlat(oExpression);
oDecisionTable.buildUpCompleteDecisionTable();
TCGDisjunctiveNormalForm oPositiveDNF =
GeneratedFactory.eINSTANCE.createTCGDisjunctiveNormalForm();
TCGDisjunctiveNormalForm oNegativeDNF =
GeneratedFactory.eINSTANCE.createTCGDisjunctiveNormalForm();