HAL  v4.5.0-83-g30c8f0afc
The Hardware Analyzer - a comprehensive reverse engineering and manipulation framework for gate-level netlists.
hal::module_identification::CandidateContext Member List

This is the complete list of members for hal::module_identification::CandidateContext, including all inherited members.

CandidateContext(const Netlist *nl, const std::vector< Gate * > &gates)hal::module_identification::CandidateContext
evaluate(const Net *n, const std::map< Net *, BooleanFunction::Value > &ctrl_mapping, const std::map< std::string, BooleanFunction::Value > &eval_mapping)hal::module_identification::CandidateContext
get_boolean_function(const Net *n, const std::map< Net *, BooleanFunction::Value > &ctrl_mapping)hal::module_identification::CandidateContext
get_boolean_function_const(const Net *n, const std::map< Net *, BooleanFunction::Value > &ctrl_mapping) consthal::module_identification::CandidateContext
get_boolean_functions(const std::vector< Net * > nets, const std::map< Net *, BooleanFunction::Value > &ctrl_mapping)hal::module_identification::CandidateContext
get_boolean_functions_const(const std::vector< Net * > nets, const std::map< Net *, BooleanFunction::Value > &ctrl_mapping) consthal::module_identification::CandidateContext
get_boolean_influence(const Net *n, const std::map< Net *, BooleanFunction::Value > &ctrl_mapping)hal::module_identification::CandidateContext
get_variable_names(const Net *n, const std::map< Net *, BooleanFunction::Value > &ctrl_mapping)hal::module_identification::CandidateContext
get_variable_nets(const Net *n, const std::map< Net *, BooleanFunction::Value > &ctrl_mapping)hal::module_identification::CandidateContext
m_gateshal::module_identification::CandidateContext
m_netlisthal::module_identification::CandidateContext
populate_boolean_function_cache(const std::vector< Net * > nets)hal::module_identification::CandidateContext