Loading...

Searching...

No Matches

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:

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.

Function Documentation

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.