mvcContain.c File Reference

#include "mvc.h"

Include dependency graph for mvcContain.c:

Go to the source code of this file.

Functions
int	Mvc_CoverContain (Mvc_Cover_t *pCover)
	FUNCTION DEFINITIONS ///.

Function Documentation

Mvc_CoverContain()

int Mvc_CoverContain

(

Mvc_Cover_t *

pCover

)

FUNCTION DEFINITIONS ///.

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

Synopsis [Removes the contained cubes.]

Description [Returns 1 if the cover has been changed.]

SideEffects []

SeeAlso []

Definition at line 47 of file mvcContain.c.

{
    int nCubes;
    nCubes = Mvc_CoverReadCubeNum( pCover );
    if ( nCubes < 2 )
        return 0;
    Mvc_CoverSetCubeSizes(pCover);
    Mvc_CoverSort( pCover, NULL, Mvc_CubeCompareSizeAndInt );
    Mvc_CoverRemoveDuplicates( pCover );
    if ( nCubes > 1 )
        Mvc_CoverRemoveContained( pCover );
    return (nCubes != Mvc_CoverReadCubeNum(pCover));
}

Here is the call graph for this function:

Here is the caller graph for this function: