hal::module_identification::WordLevelOperation Struct Reference

Represents a word-level operation with its operands, control signals, and the operation implemented as a HAL Boolean function. More...

#include </home/runner/work/hal/hal/plugins/module_identification/include/module_identification/candidates/verified_candidate.h>

Collaboration diagram for hal::module_identification::WordLevelOperation:

Public Attributes
std::map< std::string, BooleanFunction >	operands
	A map of operand names to their corresponding Boolean functions. More...
std::vector< BooleanFunction >	ctrl_signals
	A vector of control signals as Boolean functions. More...
BooleanFunction	operation
	The Boolean function representing the word-level operation. More...

Detailed Description

Represents a word-level operation with its operands, control signals, and the operation implemented as a HAL Boolean function.

This struct is used to store the information related to a word-level operation, which includes the operands, control signals, and the Boolean function representing the operation.

Definition at line 25 of file verified_candidate.h.

Member Data Documentation

ctrl_signals

std::vector<BooleanFunction> hal::module_identification::WordLevelOperation::ctrl_signals

A vector of control signals as Boolean functions.

Definition at line 35 of file verified_candidate.h.

Referenced by hal::PYBIND11_PLUGIN().

operands

std::map<std::string, BooleanFunction> hal::module_identification::WordLevelOperation::operands

A map of operand names to their corresponding Boolean functions.

Definition at line 30 of file verified_candidate.h.

Referenced by hal::PYBIND11_PLUGIN().

operation

BooleanFunction hal::module_identification::WordLevelOperation::operation

The Boolean function representing the word-level operation.

Definition at line 40 of file verified_candidate.h.

Referenced by hal::PYBIND11_PLUGIN().

---

The documentation for this struct was generated from the following file:

• plugins/module_identification/include/module_identification/candidates/verified_candidate.h