cprover
Loading...
Searching...
No Matches
variable_encoding.cpp File Reference

Variable Encoding. More...

#include "variable_encoding.h"
#include <util/exception_utils.h>
#include <util/format_expr.h>
#include <util/mathematical_expr.h>
#include <util/pointer_expr.h>
#include "find_variables.h"
#include "state.h"
#include <algorithm>
Include dependency graph for variable_encoding.cpp:

Go to the source code of this file.

Functions

exprt variable_encoding (exprt src, const binding_exprt::variablest &variables)
void variable_encoding (std::vector< exprt > &constraints)

Detailed Description

Variable Encoding.

Definition in file variable_encoding.cpp.

Function Documentation

◆ variable_encoding() [1/2]

exprt variable_encoding ( exprt src,
const binding_exprt::variablest & variables )

Definition at line 24 of file variable_encoding.cpp.

◆ variable_encoding() [2/2]

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

Definition at line 104 of file variable_encoding.cpp.