GRATgen
Global_Data Member List

This is the complete list of members for Global_Data, including all inherited members.

get_conflict()Global_Datainline
get_db()Global_Datainline
get_fst_lemma_id() constGlobal_Datainline
get_fst_prf_item() constGlobal_Datainline
get_fwd_trail() constGlobal_Datainline
get_item(size_t i)Global_Datainline
get_max_var() constGlobal_Datainline
get_num_clauses() constGlobal_Datainline
get_num_items() constGlobal_Datainline
get_pivot(lit_t *cl) constGlobal_Datainline
glbGlobal_Datarelated
Global_Data()Global_Datainline
init_after_fwd(pos_t cn_pos, vector< trail_item_t > const &tr)Global_Data
is_after_parsing() constGlobal_Datainline
is_formula_clause(lit_t *cl) constGlobal_Datainline
is_formula_clause(size_t id) constGlobal_Datainline
join_vmarked(vector< bool > const &marked)Global_Data
truncate_items(size_t _num_items)Global_Data