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  
)

◆ nondet_volatile()