nondet_volatile.h File Reference

Volatile Variables. More...

#include <goto-programs/goto_model.h>

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.