ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
std_types.cpp File Reference
#include <cstdlib>
#include <util/arith/arith_tools.h>
#include <util/irep/std_expr.h>
#include <util/irep/std_types.h>
Include dependency graph for std_types.cpp:

Functions

bool is_reference (const typet &type)
bool is_rvalue_reference (const typet &type)
bool is_lvalue_or_rvalue_reference (const typet &type)

Function Documentation

◆ is_lvalue_or_rvalue_reference()

bool is_lvalue_or_rvalue_reference ( const typet & type)

◆ is_reference()

bool is_reference ( const typet & type)

◆ is_rvalue_reference()

bool is_rvalue_reference ( const typet & type)