cprover
|
This is the complete list of members for complexity_limitert, including all inherited members.
are_loop_children_too_complicated(call_stackt ¤t_call_stack) | complexity_limitert | protected |
check_complexity(goto_symex_statet &state) | complexity_limitert | |
complexity_active | complexity_limitert | protected |
complexity_limitert()=default | complexity_limitert | |
complexity_limitert(message_handlert &logger, const optionst &options) | complexity_limitert | |
complexity_limits_active() | complexity_limitert | inline |
default_transformation | complexity_limitert | protected |
get_current_active_loop(call_stackt ¤t_call_stack) | complexity_limitert | protectedstatic |
in_blacklisted_loop(const call_stackt ¤t_call_stack, const goto_programt::const_targett &instr) | complexity_limitert | protectedstatic |
log | complexity_limitert | mutableprotected |
max_complexity | complexity_limitert | protected |
max_loops_complexity | complexity_limitert | protected |
run_transformations(complexity_violationt complexity_violation, goto_symex_statet ¤t_state) | complexity_limitert | |
violation_transformations | complexity_limitert | protected |