cprover
nondet_volatile.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Volatile Variables
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_INSTRUMENT_NONDET_VOLATILE_H
13 #define CPROVER_GOTO_INSTRUMENT_NONDET_VOLATILE_H
14 
16 
17 bool is_volatile(
18  const symbol_tablet &,
19  const typet &);
20 
22 
23 #endif // CPROVER_GOTO_INSTRUMENT_NONDET_VOLATILE_H
The type of an expression, extends irept.
Definition: type.h:28
bool is_volatile(const symbol_tablet &, const typet &)
Symbol Table + CFG.
The symbol table.
Definition: symbol_table.h:19
void nondet_volatile(goto_modelt &)