CBMC
variable_encoding.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Variable Encoding
4 
5 Author: Daniel Kroening, dkr@amazon.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_CPROVER_VARIABLE_ENCODING_H
13 #define CPROVER_CPROVER_VARIABLE_ENCODING_H
14 
15 #include <vector>
16 
17 class exprt;
18 
19 void variable_encoding(std::vector<exprt> &);
20 
21 #endif // CPROVER_CPROVER_VARIABLE_ENDCODING_H
exprt
Base class for all expressions.
Definition: expr.h:56
variable_encoding
void variable_encoding(std::vector< exprt > &)
Definition: variable_encoding.cpp:104