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

#include <python_class_builder.h>

Public Member Functions

 python_class_builder (python_converter &conv, const nlohmann::json &cls_node)
void build (codet &out)

Constructor & Destructor Documentation

◆ python_class_builder()

python_class_builder::python_class_builder ( python_converter & conv,
const nlohmann::json & cls_node )
inline

Member Function Documentation

◆ build()

void python_class_builder::build ( codet & out)

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