cprover
ssa_expr.cpp File Reference
#include "ssa_expr.h"
#include <sstream>
#include <cassert>
#include <util/arith_tools.h>
Include dependency graph for ssa_expr.cpp:

Go to the source code of this file.

Functions

static void build_ssa_identifier_rec (const exprt &expr, const irep_idt &l0, const irep_idt &l1, const irep_idt &l2, std::ostream &os, std::ostream &l1_object_os)
 

Function Documentation

◆ build_ssa_identifier_rec()

static void build_ssa_identifier_rec ( const exprt expr,
const irep_idt l0,
const irep_idt l1,
const irep_idt l2,
std::ostream &  os,
std::ostream &  l1_object_os 
)
static