bv_refinement.h File Reference

Abstraction Refinement Loop. More...

#include <langapi/language_ui.h>
#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::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 19 of file bv_refinement.h.

Referenced by bv_refinementt::check_SAT().