ilasynth  1.0
ILASynth: Template-based ILA Synthesis Engine
Namespaces | Macros | Functions | Variables
util.hpp File Reference
#include <boost/multiprecision/cpp_int.hpp>
#include <boost/python.hpp>
#include <ilasynth/common.hpp>
#include <string>

Go to the source code of this file.

Namespaces

 ilasynth
 

Macros

#define ILA_ASSERT(b, msg)   ila_assert(b, msg, __FILE__, __LINE__)
 

Functions

void ilasynth::ila_assert (bool b, const char *msg, const char *file, int line)
 
void ilasynth::ila_assert (bool b, const std::string &msg, const char *file, int line)
 
void ilasynth::dump_trace ()
 
std::string ilasynth::to_string (const py::object &l)
 
std::string ilasynth::to_string (const mp_int_t &i)
 
mp_int_t ilasynth::to_cpp_int (const py::object &l)
 
py::object ilasynth::to_pyint (const mp_int_t &i)
 
py::object ilasynth::to_pyint (const std::string &s)
 
bool ilasynth::is_py_int (const py::object &l)
 
bool ilasynth::is_py_int_or_long (const py::object &l)
 
void ilasynth::set_logging_level (int level)
 

Variables

const int ilasynth::NUM_HASHTABLE_BUCKETS = 1023
 
const int ilasynth::NUM_HASHTABLE_BUCKETS_SMALL = 63
 

Macro Definition Documentation

◆ ILA_ASSERT

#define ILA_ASSERT (   b,
  msg 
)    ila_assert(b, msg, __FILE__, __LINE__)