cprover
|
Abstraction Refinement Loop. More...
Go to the source code of this file.
Classes | |
class | bv_refinementt |
struct | bv_refinementt::approximationt |
Macros | |
#define | MAX_STATE 10000 |
Abstraction Refinement Loop.
Definition in file bv_refinement.h.
#define MAX_STATE 10000 |
Definition at line 19 of file bv_refinement.h.
Referenced by bv_refinementt::check_SAT().