ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
PyConstValue Struct Reference

Represents a constant Python value for compile-time evaluation. More...

#include <python_consteval.h>

Public Types

enum  Kind {
  NONE , BOOL , INT , FLOAT ,
  STRING , TUPLE , LIST
}

Public Member Functions

bool is_truthy () const

Static Public Member Functions

static PyConstValue make_none ()
static PyConstValue make_bool (bool v)
static PyConstValue make_int (long long v)
static PyConstValue make_float (double v)
static PyConstValue make_string (const std::string &s)
static PyConstValue make_tuple (const std::vector< PyConstValue > &values)
static PyConstValue make_list (const std::vector< PyConstValue > &values)

Public Attributes

Kind kind = NONE
bool bool_val = false
long long int_val = 0
double float_val = 0.0
std::string string_val
std::vector< PyConstValue > tuple_val

Detailed Description

Represents a constant Python value for compile-time evaluation.

Member Enumeration Documentation

◆ Kind

enum PyConstValue::Kind
Enumerator
NONE 
BOOL 
INT 
FLOAT 
STRING 
TUPLE 
LIST 

Member Function Documentation

◆ is_truthy()

bool PyConstValue::is_truthy ( ) const

◆ make_bool()

PyConstValue PyConstValue::make_bool ( bool v)
inlinestatic

◆ make_float()

PyConstValue PyConstValue::make_float ( double v)
inlinestatic

◆ make_int()

PyConstValue PyConstValue::make_int ( long long v)
inlinestatic

◆ make_list()

PyConstValue PyConstValue::make_list ( const std::vector< PyConstValue > & values)
inlinestatic

◆ make_none()

PyConstValue PyConstValue::make_none ( )
inlinestatic

◆ make_string()

PyConstValue PyConstValue::make_string ( const std::string & s)
inlinestatic

◆ make_tuple()

PyConstValue PyConstValue::make_tuple ( const std::vector< PyConstValue > & values)
inlinestatic

Member Data Documentation

◆ bool_val

bool PyConstValue::bool_val = false

◆ float_val

double PyConstValue::float_val = 0.0

◆ int_val

long long PyConstValue::int_val = 0

◆ kind

Kind PyConstValue::kind = NONE

◆ string_val

std::string PyConstValue::string_val

◆ tuple_val

std::vector<PyConstValue> PyConstValue::tuple_val
The documentation for this struct was generated from the following files: