create_functional_candidates.cpp File Reference

#include "hal_core/utilities/log.h"
#include "module_identification/candidates/base_candidate.h"
#include "module_identification/candidates/functional_candidate.h"
#include "module_identification/types/candidate_types.h"
#include "module_identification/utils/utils.h"

Include dependency graph for create_functional_candidates.cpp:

Go to the source code of this file.

Namespaces
	hal
	hal::module_identification

Functions
bool	hal::module_identification::has_constant_value (const z3::expr &e, const u64 &val)
bool	hal::module_identification::has_constant_value (const BooleanFunction &bf, const u64 &val)