abc/src/opt/fxu/fxuCreate.c
/**Function*************************************************************

  Synopsis    [Adds one cube with literals to the matrix.]

  Description [Create the cube and literals in the matrix corresponding 
  to the given cube in the SOP cover. Co-singleton transform is performed here.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Adds one cube with literals to the matrix.]

Description [Create the cube and literals in the matrix corresponding
to the given cube in the SOP cover. Co-singleton transform is performed here.]




Function Synopsis [ Adds one cube with literals to the matrix . ] Description [ Create the cube and literals in the matrix corresponding to the given cube in the SOP cover . Co - singleton transform is performed here . ]
void Fxu_CreateMatrixAddCube( Fxu_Matrix * p, Fxu_Cube * pCube, char * pSopCube, Vec_Int_t * vFanins, int * pOrder )
{
    Fxu_Var * pVar;
    int Value, i;
    Abc_CubeForEachVar( pSopCube, Value, i )
    {
        Value = pSopCube[pOrder[i]];
        if ( Value == '0' )
        {
            pVar = p->ppVars[ 2 * vFanins->pArray[pOrder[i]] + 1 ];  
            Fxu_MatrixAddLiteral( p, pCube, pVar );
        }
        else if ( Value == '1' )
        {
            pVar = p->ppVars[ 2 * vFanins->pArray[pOrder[i]] ];  
            Fxu_MatrixAddLiteral( p, pCube, pVar );
        }
    }
}
void Fxu_CreateMatrixAddCube ( Fxu_Matrix * p , Fxu_Cube * pCube , char * pSopCube , Vec_Int_t * vFanins , int * pOrder ) { Fxu_Var * pVar ; int Value , i ; Abc_CubeForEachVar ( pSopCube , Value , i ) { Value = pSopCube [ pOrder [ i ] ] ; if ( Value == ' ' ) { pVar = p -> ppVars [ 2 * vFanins -> pArray [ pOrder [ i ] ] + 1 ] ; Fxu_MatrixAddLiteral ( p , pCube , pVar ) ; } else if ( Value == ' ' ) { pVar = p -> ppVars [ 2 * vFanins -> pArray [ pOrder [ i ] ] ] ; Fxu_MatrixAddLiteral ( p , pCube , pVar ) ; } } }
Function
Synopsis    [Adds one cube with literals to the matrix.]
Function Synopsis [ Adds one cube with literals to the matrix . ]
// add literals to the matrix // CST // CST