GRATgen
|
This is the complete list of members for Global_Data, including all inherited members.
get_conflict() | Global_Data | inline |
get_db() | Global_Data | inline |
get_fst_lemma_id() const | Global_Data | inline |
get_fst_prf_item() const | Global_Data | inline |
get_fwd_trail() const | Global_Data | inline |
get_item(size_t i) | Global_Data | inline |
get_max_var() const | Global_Data | inline |
get_num_clauses() const | Global_Data | inline |
get_num_items() const | Global_Data | inline |
get_pivot(lit_t *cl) const | Global_Data | inline |
glb | Global_Data | related |
Global_Data() | Global_Data | inline |
init_after_fwd(pos_t cn_pos, vector< trail_item_t > const &tr) | Global_Data | |
is_after_parsing() const | Global_Data | inline |
join_vmarked(vector< bool > const &marked) | Global_Data | |
truncate_items(size_t _num_items) | Global_Data |