cprover
|
Go to the source code of this file.
Functions | |
bool | is_volatile (const symbol_tablet &symbol_table, 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.
bool is_volatile | ( | const symbol_tablet & | symbol_table, |
const typet & | src | ||
) |
Definition at line 19 of file nondet_volatile.cpp.
void nondet_volatile | ( | goto_modelt & | goto_model | ) |
Definition at line 122 of file nondet_volatile.cpp.
void nondet_volatile | ( | symbol_tablet & | symbol_table, |
goto_programt & | goto_program | ||
) |
Definition at line 80 of file nondet_volatile.cpp.
void nondet_volatile_lhs | ( | const symbol_tablet & | symbol_table, |
exprt & | expr | ||
) |
Definition at line 57 of file nondet_volatile.cpp.
void nondet_volatile_rhs | ( | const symbol_tablet & | symbol_table, |
exprt & | expr | ||
) |
Definition at line 37 of file nondet_volatile.cpp.