Loading...

Searching...

No Matches

variable_encoding.h

1/*******************************************************************\

2

3Module: Variable Encoding

4

5Author: 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

17class exprt;

18

19void variable_encoding(std::vector<exprt> &);

20

21#endif // CPROVER_CPROVER_VARIABLE_ENDCODING_H

Base class for all expressions.

Definition expr.h:57

void variable_encoding(std::vector< exprt > &)

Definition variable_encoding.cpp:104

CBMC: /home/runner/work/cbmc/cbmc/src/cprover/variable_encoding.h Source File