Examples of TCGDisjunctiveNormalForm

net.sf.parteg.base.testcasegraph.generated.TCGDisjunctiveNormalForm
A representation of the model object 'TCG Disjunctive Normal Form'.
The following features are supported:
- {@link net.sf.parteg.base.testcasegraph.generated.TCGDisjunctiveNormalForm#getConjunctions Conjunctions}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGDisjunctiveNormalForm#getOriginalExpression Original Expression}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGDisjunctiveNormalForm#isUseForTestGoals Use For Test Goals}
@see net.sf.parteg.base.testcasegraph.generated.GeneratedPackage#getTCGDisjunctiveNormalForm() @model @generated
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

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

  }
  
  private static TCGDisjunctiveNormalForm connectTwoDNFWithAnd(
      TCGDisjunctiveNormalForm in_oLeftDNF, TCGDisjunctiveNormalForm in_oRightDNF)
  {
    TCGDisjunctiveNormalForm oResultDNF = GeneratedFactory.eINSTANCE.createTCGDisjunctiveNormalForm();
    for(TCGConjunction oLeftConjunction : in_oLeftDNF.getConjunctions())
    {
      for(TCGConjunction oRightConjunction : in_oRightDNF.getConjunctions())
      {
        TCGConjunction oNewConjunction = GeneratedFactory.eINSTANCE.createTCGConjunction();
        oNewConjunction.getExpressions().addAll(oLeftConjunction.getExpressions());
        oNewConjunction.getExpressions().addAll(oRightConjunction.getExpressions());
        oResultDNF.getConjunctions().add(oNewConjunction);
      }
    }
    return oResultDNF;
  }

View Full Code Here

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

  }
  
  private static TCGDisjunctiveNormalForm connectTwoDNFWithOr(
      TCGDisjunctiveNormalForm in_oLeftDNF, TCGDisjunctiveNormalForm in_oRightDNF)
  {
    TCGDisjunctiveNormalForm oResultDNF = GeneratedFactory.eINSTANCE.createTCGDisjunctiveNormalForm();
    for(TCGConjunction oLeftConjunction : in_oLeftDNF.getConjunctions())
    {
      oResultDNF.getConjunctions().add(oLeftConjunction);
    }
    for(TCGConjunction oRightConjunction : in_oRightDNF.getConjunctions())
    {
      oResultDNF.getConjunctions().add(oRightConjunction);
    }
    return oResultDNF;
  }

View Full Code Here

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

    
    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

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

      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

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

          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

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

      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 2 3 4

TOP

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.