Ejemplos de exprt::visit en C++ (Cpp)

Ejemplo n.º 1

Archivo: restrict_bv_size.cpp Proyecto: Dthird/CBMC

void restrict_bv_size(exprt &expr, const size_t width_in_bits)
{
  restrict_bv_size_visitort visitor(width_in_bits);
  expr.visit(visitor);
}