ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
python_consteval.h File Reference
#include <nlohmann/json.hpp>
#include <optional>
#include <string>
#include <unordered_map>
#include <vector>
Include dependency graph for python_consteval.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  PyConstValue
 Represents a constant Python value for compile-time evaluation. More...
class  python_consteval
 Lightweight Python AST evaluator for compile-time function evaluation. More...