cprover
|
Go to the source code of this file.
Functions | |
static bool | is_volatile (const namespacet &ns, const typet &src) |
void | nondet_volatile_rhs (const symbol_tablet &symbol_table, exprt &expr) |
void | nondet_volatile_lhs (const symbol_tablet &symbol_table, exprt &expr) |
void | nondet_volatile (symbol_tablet &symbol_table, goto_programt &goto_program) |
void | nondet_volatile (goto_modelt &goto_model) |
Volatile Variables
Definition in file nondet_volatile.cpp.
|
static |
Definition at line 19 of file nondet_volatile.cpp.
void nondet_volatile | ( | goto_modelt & | goto_model | ) |
Definition at line 120 of file nondet_volatile.cpp.
void nondet_volatile | ( | symbol_tablet & | symbol_table, |
goto_programt & | goto_program | ||
) |
Definition at line 78 of file nondet_volatile.cpp.
void nondet_volatile_lhs | ( | const symbol_tablet & | symbol_table, |
exprt & | expr | ||
) |
Definition at line 55 of file nondet_volatile.cpp.
void nondet_volatile_rhs | ( | const symbol_tablet & | symbol_table, |
exprt & | expr | ||
) |
Definition at line 34 of file nondet_volatile.cpp.