cprover
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:

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.

Function Documentation

◆ bounded_expr_size()

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.