Examples of net.sf.parteg.base.testcasetree.generated.TCGDisjunctiveNormalForm

Package net.sf.parteg.base.testcasetree.generated

Examples of net.sf.parteg.base.testcasetree.generated.TCGDisjunctiveNormalForm

net.sf.parteg.base.testcasetree.generated.TCGDisjunctiveNormalForm
A representation of the model object 'TCG Disjunctive Normal Form'.
The following features are supported:
- {@link net.sf.parteg.base.testcasetree.generated.TCGDisjunctiveNormalForm#getConjunctions Conjunctions}
@see net.sf.parteg.base.testcasetree.generated.GeneratedPackage#getTCGDisjunctiveNormalForm() @model @generated

    
    for(TCGOCLExpression oExpression : colExpressions.values())
    {
      TCGOCLExpression oNewExpression = TestCaseGraphHelper.copyExpression(oExpression);
      oNewExpression = negateTCGOCLExpression(oNewExpression);
      TCGDisjunctiveNormalForm oDNF =  createDisjunctiveNormalForm(oNewExpression);
      for(TCGConjunction oConjunction : oDNF.getConjunctions())
      {
        oConjunction.setPositiveSubExpressionOfOriginal(false);
        io_oDNF.getConjunctions().add(oConjunction);
      }
    }

View Full Code Here

      io_colNewConjunctions.put(oConjunction, new ArrayList<TCGConjunction>());
      for(TCGOCLExpression oExpression : oConjunction.getExpressions())
      {
        TCGOCLExpression oNewExpression = TestCaseGraphHelper.copyExpression(oExpression);
        oNewExpression = negateTCGOCLExpression(oNewExpression);
        TCGDisjunctiveNormalForm oDNF =  createDisjunctiveNormalForm(oNewExpression);
        for(TCGConjunction oNewConjunction : oDNF.getConjunctions())
        {
          oNewConjunction.setPositiveSubExpressionOfOriginal(false);
          io_colNewConjunctions.get(oConjunction).add(oNewConjunction);
        }
      }

View Full Code Here

          in_nCurrentExpressionIndex + 1, in_bContainsNegativeExpressions);
      io_colExpressionsForNewConjunction.remove(oExpression);
      
      TCGOCLExpression oNegatedExpression = TestCaseGraphHelper.copyExpression(oExpression);
      oNegatedExpression = negateTCGOCLExpression(oNegatedExpression);
      TCGDisjunctiveNormalForm oDNF =  createDisjunctiveNormalForm(oNegatedExpression);
      for(TCGConjunction oNewConjunction : oDNF.getConjunctions())
      {
        for(TCGOCLExpression oNewConjExp : oNewConjunction.getExpressions())
        {
          io_colExpressionsForNewConjunction.add(oNewConjExp);
          addAllPossibleConjunctions(io_colNewConjunctions, in_oOriginalConjunction, io_colExpressionsForNewConjunction,

View Full Code Here

      io_colExpressionsForNewConjunction.remove(oExpression);
      
      // recursion for negative expressions
      TCGOCLExpression oNegativeExpression = TestCaseGraphHelper.copyExpression(oExpression);
      oNegativeExpression = negateTCGOCLExpression(oNegativeExpression);
      TCGDisjunctiveNormalForm oDNF =  createDisjunctiveNormalForm(oNegativeExpression);
      for(TCGConjunction oNewConjunction : oDNF.getConjunctions())
      {
        for(TCGOCLExpression oNewConjExp : oNewConjunction.getExpressions())
        {
          io_colExpressionsForNewConjunction.add(oNewConjExp);
          getExpressionsPermutationsForConjunction(io_colNewConjunctions, in_oOriginalConjunction, io_colExpressionsForNewConjunction,

View Full Code Here

0 1

TOP

Related Classes of net.sf.parteg.base.testcasetree.generated.TCGDisjunctiveNormalForm

net.sf.parteg.base.testcasetree.generated.impl.TCGTransitionImpl

net.sf.parteg.base.testcasetree.generated.util.GeneratedSwitch

net.sf.parteg.base.testcasetree.ocl.ExpressionConverter

net.sf.parteg.base.testcasetree.ocl.TestCaseGraphHelper

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.