ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
mvcMan.c
Go to the documentation of this file.
1
18
19#include <string.h>
20#include "mvc.h"
21
23
24
28
32
45{
48 memset( p, 0, sizeof(Mvc_Manager_t) );
49 p->pMan1 = Extra_MmFixedStart( sizeof(Mvc_Cube_t) );
50 p->pMan2 = Extra_MmFixedStart( sizeof(Mvc_Cube_t) + sizeof(Mvc_CubeWord_t) );
51 p->pMan4 = Extra_MmFixedStart( sizeof(Mvc_Cube_t) + 3 * sizeof(Mvc_CubeWord_t) );
52 p->pManC = Extra_MmFixedStart( sizeof(Mvc_Cover_t) );
53 return p;
54}
55
68{
69 Extra_MmFixedStop( p->pMan1 );
70 Extra_MmFixedStop( p->pMan2 );
71 Extra_MmFixedStop( p->pMan4 );
72 Extra_MmFixedStop( p->pManC );
73 ABC_FREE( p );
74}
75
79
80
82
#define ABC_ALLOC(type, num)
Definition abc_global.h:264
#define ABC_FREE(obj)
Definition abc_global.h:267
#define ABC_NAMESPACE_IMPL_START
#define ABC_NAMESPACE_IMPL_END
Cube * p
Definition exorList.c:222
void Extra_MmFixedStop(Extra_MmFixed_t *p)
Extra_MmFixed_t * Extra_MmFixedStart(int nEntrySize)
ABC_NAMESPACE_IMPL_START Mvc_Manager_t * Mvc_ManagerStart()
DECLARATIONS ///.
Definition mvcMan.c:44
void Mvc_ManagerFree(Mvc_Manager_t *p)
Definition mvcMan.c:67
struct MvcCubeStruct Mvc_Cube_t
Definition mvc.h:56
struct MvcManagerStruct Mvc_Manager_t
Definition mvc.h:60
unsigned int Mvc_CubeWord_t
STRUCTURE DEFINITIONS ///.
Definition mvc.h:55
struct MvcCoverStruct Mvc_Cover_t
Definition mvc.h:58
char * memset()