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

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

get_candidate_info() consthal::module_identification::VerifiedCandidate
get_merged_word_level_operation() consthal::module_identification::VerifiedCandidate
get_name() consthal::module_identification::VerifiedCandidate
is_verified() consthal::module_identification::VerifiedCandidate
m_base_gateshal::module_identification::VerifiedCandidate
m_control_signal_mappingshal::module_identification::VerifiedCandidate
m_control_signalshal::module_identification::VerifiedCandidate
m_gateshal::module_identification::VerifiedCandidate
m_operandshal::module_identification::VerifiedCandidate
m_output_netshal::module_identification::VerifiedCandidate
m_total_input_netshal::module_identification::VerifiedCandidate
m_total_output_netshal::module_identification::VerifiedCandidate
m_typeshal::module_identification::VerifiedCandidate
m_verifiedhal::module_identification::VerifiedCandidate
m_word_level_operationshal::module_identification::VerifiedCandidate
merge(const std::vector< VerifiedCandidate > &candidates)hal::module_identification::VerifiedCandidatestatic
operator==(const VerifiedCandidate &other) consthal::module_identification::VerifiedCandidateinline
VerifiedCandidate(const std::vector< std::vector< Net * >> &operands, const std::vector< Net * > &output_nets, const std::vector< Net * > &control_signals, const std::vector< std::map< Net *, BooleanFunction::Value >> &control_signal_mappings, const std::map< std::map< Net *, BooleanFunction::Value >, BooleanFunction > &word_level_operations, const std::vector< Gate * > &gates, const std::vector< Gate * > &base_gates, const std::map< std::string, std::string > &additional_data, const std::set< CandidateType > &types)hal::module_identification::VerifiedCandidate
VerifiedCandidate()hal::module_identification::VerifiedCandidate