ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
get_expr_depth_guard Class Reference

Public Member Functions

 get_expr_depth_guard (python_converter &converter)
 ~get_expr_depth_guard ()

Constructor & Destructor Documentation

◆ get_expr_depth_guard()

get_expr_depth_guard::get_expr_depth_guard ( python_converter & converter)
inlineexplicit

◆ ~get_expr_depth_guard()

get_expr_depth_guard::~get_expr_depth_guard ( )
inline

The documentation for this class was generated from the following file: