#include <solvers/flattening/bv_pointers.h>
Include dependency graph for bv_refinement.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | bv_refinementt |
| struct | bv_refinementt::configt |
| struct | bv_refinementt::infot |
| struct | bv_refinementt::approximationt |
Macros | |
| #define | MAX_STATE 10000 |
Detailed Description
Abstraction Refinement Loop
Definition in file bv_refinement.h.
Macro Definition Documentation
◆ MAX_STATE
| #define MAX_STATE 10000 |
Definition at line 17 of file bv_refinement.h.
