Searched refs:vActivity (Results 1 – 5 of 5) sorted by relevance
35 Vec_Int_t * vActivity; member77 … return ( unsigned )Vec_IntEntry( p->vActivity, x ) > ( unsigned )Vec_IntEntry( p->vActivity, y ); in Compare()154 static inline xSAT_Heap_t * xSAT_HeapAlloc( Vec_Int_t * vActivity ) in xSAT_HeapAlloc() argument157 p->vActivity = vActivity; in xSAT_HeapAlloc()
80 s->vActivity = Vec_IntAlloc( 0 ); in xSAT_SolverCreate()81 s->hOrder = xSAT_HeapAlloc( s->vActivity ); in xSAT_SolverCreate()139 Vec_IntFree( s->vActivity ); in xSAT_SolverDestroy()221 int Var = Vec_IntSize( s->vActivity ); in xSAT_SolverAddVariable()228 Vec_IntPush( s->vActivity, 0 ); in xSAT_SolverAddVariable()259 while ( MaxVar >= Vec_IntSize( s->vActivity ) ) in xSAT_SolverAddClause()
131 Vec_Int_t * vActivity; /* A heuristic measurement of the activity of a variable. */ member
104 unsigned * pActivity = ( unsigned * ) Vec_IntArray( s->vActivity ); in xSAT_SolverVarActRescale()106 for ( i = 0; i < Vec_IntSize( s->vActivity ); i++ ) in xSAT_SolverVarActRescale()126 unsigned * pActivity = ( unsigned * ) Vec_IntArray( s->vActivity ); in xSAT_SolverVarActBump()
81 Vec_Int_t vActivity; member231 Vec_IntFill( &p->vActivity, Gia_ManObjNum(pGia), 0 ); in Cbs2_ManAlloc()257 Vec_IntErase( &p->vActivity ); in Cbs2_ManStop()636 Vec_IntWriteEntry( &p->vActivity, iObj, 0 ); in Cbs2_ManBumpClean()1183 …if ( iDecLit == -1 || Vec_IntEntry(&p->vActivity, Abc_Lit2Var(iDecLit)) < Vec_IntEntry(&p->vActivi… in Cbs2_ManUpdateDecVar3()1187 …if ( iDecLit == -1 || Vec_IntEntry(&p->vActivity, Abc_Lit2Var(iDecLit)) < Vec_IntEntry(&p->vActivi… in Cbs2_ManUpdateDecVar3()