complexity_limiter.cpp File Reference

#include "complexity_limiter.h"
#include <util/options.h>
#include "goto_symex_state.h"
#include <cmath>

Include dependency graph for complexity_limiter.cpp:

Go to the source code of this file.

Functions
static std::size_t	bounded_expr_size (const exprt &expr, std::size_t count, std::size_t limit)
	Amount of nodes expr contains, with a bound on how far to search. More...

Function Documentation

bounded_expr_size()

static std::size_t bounded_expr_size ( const exprt &  expr, std::size_t  count, std::size_t  limit  )

static

Amount of nodes expr contains, with a bound on how far to search.

Starts with an existing count.

Returns

Size of expr added to count without searching significantly beyond the supplied limit.

Definition at line 227 of file complexity_limiter.cpp.