Home
last modified time | relevance | path

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

/dports/math/cvc3/cvc3-2.4.1/src/sat/
H A Dxchaff_solver.h129 long total_bubble_move; member
281 long total_bubble_move(void) { return _stats.total_bubble_move; } in total_bubble_move() function
H A Dxchaff_solver.cpp93 _stats.total_bubble_move = 0; in CSolver()