* createDisjunctiveNormalForm(oOpExp.getLeft()); } else
* if(oOpExp.getRight() != null) { return
* createDisjunctiveNormalForm(oOpExp.getRight()); } }
*/
} else if (in_oExpression instanceof TCGOCLIfThenElse) {
TCGOCLIfThenElse oTCGIfThenElse = (TCGOCLIfThenElse) in_oExpression;
// condition satisfied
TCGDisjunctiveNormalForm oConditionDNF = createDisjunctiveNormalForm(oTCGIfThenElse
.getCondition(), in_bSplitInequations);
TCGDisjunctiveNormalForm oThenDNF = createDisjunctiveNormalForm(oTCGIfThenElse
.getThenExpression(), in_bSplitInequations);
TCGDisjunctiveNormalForm oSatisfiedDNF = connectTwoDNFWithAnd(
oConditionDNF, oThenDNF);
// condition violated
oTCGIfThenElse.setCondition(net.sf.parteg.base.testcasegraph.helperclasses.TCGOCLExpressionHelperClass.negateLogicalTCGOCLExpression(oTCGIfThenElse.getCondition()));
TCGDisjunctiveNormalForm oNotConditionDNF = createDisjunctiveNormalForm(oTCGIfThenElse
.getCondition(), in_bSplitInequations);
TCGDisjunctiveNormalForm oElseDNF = createDisjunctiveNormalForm(oTCGIfThenElse
.getElseExpression(), in_bSplitInequations);
TCGDisjunctiveNormalForm oViolatedDNF = connectTwoDNFWithAnd(
oNotConditionDNF, oElseDNF);
return connectTwoDNFWithOr(oSatisfiedDNF, oViolatedDNF);