CBMC: Member List

get_limit(const irep_idt &loop, unsigned thread_id) const unwindsett

global_limit unwindsett protected

loop_map unwindsett protected

loop_mapt typedef unwindsett protected

parse_unwind(const std::string &unwind) unwindsett

parse_unwindset(const std::list< std::string > &unwindset, abstract_goto_modelt &goto_model, message_handlert &message_handler) unwindsett

parse_unwindset_file(const std::string &file_name, abstract_goto_modelt &goto_model, message_handlert &message_handler) unwindsett

parse_unwindset_one_loop(std::string loop_limit, abstract_goto_modelt &goto_model, message_handlert &message_handler) unwindsett protected

thread_loop_map unwindsett protected

thread_loop_mapt typedef unwindsett protected

unwindsett()=default unwindsett