CBMC
havoc_utils.h File Reference

Utilities for building havoc code for expressions. More...

#include <util/expr.h>
#include <util/expr_util.h>
#include <set>
+ Include dependency graph for havoc_utils.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  havoc_utils_can_forward_propagatet
 A class containing utility functions for havocing expressions. More...
 
class  havoc_utilst
 

Typedefs

typedef std::set< exprtassignst
 

Detailed Description

Utilities for building havoc code for expressions.

Definition in file havoc_utils.h.

Typedef Documentation

◆ assignst

typedef std::set<exprt> assignst

Definition at line 24 of file havoc_utils.h.