mvcDivisor.c File Reference

#include "mvc.h"

Include dependency graph for mvcDivisor.c:

Go to the source code of this file.

Functions
Mvc_Cover_t *	Mvc_CoverDivisor (Mvc_Cover_t *pCover)
	FUNCTION DEFINITIONS ///.

Function Documentation

Mvc_CoverDivisor()

Mvc_Cover_t * Mvc_CoverDivisor

(

Mvc_Cover_t *

pCover

)

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis [Returns the quick divisor of the cover.]

Description [Returns NULL, if there is not divisor other than trivial.]

SideEffects []

SeeAlso []

Definition at line 46 of file mvcDivisor.c.

{
    Mvc_Cover_t * pKernel;
    if ( Mvc_CoverReadCubeNum(pCover) <= 1 )
        return NULL;
    // allocate the literal array and count literals
    if ( Mvc_CoverAnyLiteral( pCover, NULL ) == -1 )
        return NULL;
    // duplicate the cover
    pKernel = Mvc_CoverDup(pCover);
    // perform the kerneling
    Mvc_CoverDivisorZeroKernel( pKernel );
    assert( Mvc_CoverReadCubeNum(pKernel) );
    return pKernel;
}

Here is the call graph for this function: