ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
irep2_crc.cpp File Reference
#include <array>
#include <tuple>
#include <type_traits>
#include <vector>
#include <irep2/irep2_dispatch.h>
#include <irep2/expr_kinds.inc>
#include <irep2/type_kinds.inc>
Include dependency graph for irep2_crc.cpp:

Macros

#define IREP2_EXPR(kind, _)
#define IREP2_TYPE(kind, _)
#define IREP2_EXPR(kind, _)
#define IREP2_TYPE(kind, _)

Macro Definition Documentation

◆ IREP2_EXPR [1/2]

#define IREP2_EXPR ( kind,
_ )
Value:
case expr2t::kind##_id: \
compute_crc_from_cached_children( \
static_cast<const kind##2t &>(*node.expr)); \
return;

◆ IREP2_EXPR [2/2]

#define IREP2_EXPR ( kind,
_ )
Value:
case expr2t::kind##_id: \
enumerate_node_children(static_cast<const kind##2t &>(*node.expr), f); \
return;

◆ IREP2_TYPE [1/2]

#define IREP2_TYPE ( kind,
_ )
Value:
case type2t::kind##_id: \
compute_crc_from_cached_children( \
static_cast<const kind##_type2t &>(*node.type)); \
return;

◆ IREP2_TYPE [2/2]

#define IREP2_TYPE ( kind,
_ )
Value:
case type2t::kind##_id: \
enumerate_node_children( \
static_cast<const kind##_type2t &>(*node.type), f); \
return;