Home
last modified time | relevance | path

Searched refs:_lit_pool_start (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/sat/
H A Dxchaff_dbase.cpp53 _lit_pool_start = new CLitPoolElement[STARTUP_LIT_POOL_SIZE]; in CDatabase()
54 _lit_pool_finish = _lit_pool_start; in CDatabase()
55 _lit_pool_end_storage = _lit_pool_start + STARTUP_LIT_POOL_SIZE; in CDatabase()
132 CLitPoolElement * old_start = _lit_pool_start; in enlarge_lit_pool()
134 int old_size = _lit_pool_end_storage - _lit_pool_start; in enlarge_lit_pool()
136 _lit_pool_start = new CLitPoolElement[new_size]; in enlarge_lit_pool()
137 _lit_pool_finish = _lit_pool_start; in enlarge_lit_pool()
138 _lit_pool_end_storage = _lit_pool_start + new_size; in enlarge_lit_pool()
145 long displacement = _lit_pool_start - old_start; in enlarge_lit_pool()
H A Dxchaff_dbase.h96 CLitPoolElement * _lit_pool_start; //the begin of the lit vector variable
110 delete [] _lit_pool_start; in ~CDatabase()
145 return _lit_pool_start; in lit_pool_begin()
156 return _lit_pool_finish - _lit_pool_start; in lit_pool_size()
162 return _lit_pool_start[i]; in lit_pool()