assign_params_as_non_det.cpp File Reference

#include <goto-programs/assign_params_as_non_det.h>

Include dependency graph for assign_params_as_non_det.cpp:

Functions
static expr2tc	sym_to_expr2tc (const symbolt &sym)
	Build an irep2 symbol expression referring to sym.
static void	insert_before (goto_programt &program, goto_programt::targett &it, expr2tc code, goto_program_instruction_typet type, const locationt &loc)
	Append instr (with location and function copied from it) before it in program, leaving it pointing at the same original instruction.

Function Documentation

insert_before()

void insert_before ( goto_programt & program, goto_programt::targett & it, expr2tc code, goto_program_instruction_typet type, const locationt & loc )

static

Append instr (with location and function copied from it) before it in program, leaving it pointing at the same original instruction.

sym_to_expr2tc()

expr2tc sym_to_expr2tc ( const symbolt & sym )

static

Build an irep2 symbol expression referring to sym.