cprover
nondet_volatile.h File Reference

Volatile Variables. More...

+ Include dependency graph for nondet_volatile.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

bool is_volatile (const symbol_tablet &, const typet &)
 
void nondet_volatile (goto_modelt &)
 

Detailed Description

Volatile Variables.

Definition in file nondet_volatile.h.

Function Documentation

◆ is_volatile()

bool is_volatile ( const symbol_tablet ,
const typet  
)

Definition at line 19 of file nondet_volatile.cpp.

◆ nondet_volatile()

void nondet_volatile ( goto_modelt )

Definition at line 122 of file nondet_volatile.cpp.