| 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 | |