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
is_formula_clause(lit_t *cl) const	Global_Data	inline
is_formula_clause(size_t id) const	Global_Data	inline
join_vmarked(vector< bool > const &marked)	Global_Data
truncate_items(size_t _num_items)	Global_Data