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.