List of all members.
Public Member Functions |
|
void | clear () |
|
void | clear_local_data () |
|
void | clear_stats () |
|
string | stats_to_string () |
Public Attributes |
|
int | num_sat_queries |
|
int | num_bg_queries |
|
int | solve_time |
|
int | eq_time |
|
int | num_eqs |
|
int | bg_simp_time |
|
int | num_eliminate_over_queries |
|
int | num_eliminate_under_queries |
|
int | eliminate_over_time |
|
int | eliminate_under_time |
Friends |
|
class | Constraint |
|
class | Term |
The documentation for this class was generated from the following files:
