This is the complete list of members for mcrl2::data::detail::Formula_Checker, including all inherited members.

check_formulas(const data_expression_list &a_formulas)	mcrl2::data::detail::Formula_Checker	inline
f_bdd2dot	mcrl2::data::detail::Formula_Checker	private
f_bdd_prover	mcrl2::data::detail::Formula_Checker	private
f_counter_example	mcrl2::data::detail::Formula_Checker	private
f_dot_file_name	mcrl2::data::detail::Formula_Checker	private
f_witness	mcrl2::data::detail::Formula_Checker	private
Formula_Checker(mcrl2::data::data_specification a_data_spec, mcrl2::data::rewriter::strategy a_rewrite_strategy=mcrl2::data::rewrite_strategy::jitty, int a_time_limit=0, bool a_path_eliminator=false, mcrl2::data::detail::smt_solver_type a_solver_type=mcrl2::data::detail::smt_solver_type::solver_type_cvc, bool a_apply_induction=false, bool a_counter_example=false, bool a_witness=false, char const *a_dot_file_name=nullptr)	mcrl2::data::detail::Formula_Checker	inline
print_counter_example()	mcrl2::data::detail::Formula_Checker	inlineprivate
print_witness()	mcrl2::data::detail::Formula_Checker	inlineprivate
save_dot_file(int a_formula_number)	mcrl2::data::detail::Formula_Checker	inlineprivate
~Formula_Checker()=default	mcrl2::data::detail::Formula_Checker