complexity_limitert Member List

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

are_loop_children_too_complicated(call_stackt &current_call_stack)	complexity_limitert	protected
bounded_expr_size(const exprt &expr, std::size_t limit)	complexity_limitert	static
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 &current_call_stack)	complexity_limitert	protectedstatic
in_blacklisted_loop(const call_stackt &current_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 &current_state)	complexity_limitert
violation_transformations	complexity_limitert	protected