HAL  v4.5.0-83-g30c8f0afc
The Hardware Analyzer - a comprehensive reverse engineering and manipulation framework for gate-level netlists.
hal::EnumStrings< T, typename > Struct Template Reference

#include <hal_core/utilities/enums.h>

Collaboration diagram for hal::EnumStrings< T, typename >:
Collaboration graph

Public Member Functions

std::map< SMT::SolverType, std::string > data
 
std::map< SMT::SolverResultType, std::string > data
 
std::map< BooleanFunction::Value, std::string > data
 
std::map< NetlistEvent::event, std::string > data
 
std::map< GateEvent::event, std::string > data
 
std::map< NetEvent::event, std::string > data
 
std::map< ModuleEvent::event, std::string > data
 
std::map< GroupingEvent::event, std::string > data
 
std::map< AsyncSetResetBehavior, std::string > data
 
std::map< GateTypeProperty, std::string > data
 
std::map< PinDirection, std::string > data
 
std::map< PinEvent, std::string > data
 
std::map< PinType, std::string > data
 
std::map< GateTypeComponent::ComponentType, std::string > data
 
std::map< SMT::SolverType, std::string > data
 
std::map< SMT::SolverCall, std::string > data
 
std::map< SMT::SolverResultType, std::string > data
 
std::map< BooleanFunction::Value, std::string > data
 
std::map< NetlistEvent::event, std::string > data
 
std::map< GateEvent::event, std::string > data
 
std::map< NetEvent::event, std::string > data
 
std::map< ModuleEvent::event, std::string > data
 
std::map< GroupingEvent::event, std::string > data
 
std::map< AsyncSetResetBehavior, std::string > data
 
std::map< GateTypeProperty, std::string > data
 
std::map< PinDirection, std::string > data
 
std::map< PinEvent, std::string > data
 
std::map< PinType, std::string > data
 
std::map< GateTypeComponent::ComponentType, std::string > data
 
std::map< graph_algorithm::NetlistGraph::Direction, std::string > data
 
std::map< graph_algorithm::NetlistGraph::Direction, std::string > data
 
std::map< hawkeye::DetectionConfiguration::Control, std::string > data
 
std::map< hawkeye::DetectionConfiguration::Components, std::string > data
 
std::map< hawkeye::DetectionConfiguration::Control, std::string > data
 
std::map< hawkeye::DetectionConfiguration::Components, std::string > data
 
std::map< module_identification::CandidateType, std::string > data
 
std::map< xilinx_toolbox::BELType, std::string > data
 
std::map< xilinx_toolbox::LOCType, std::string > data
 
std::map< xilinx_toolbox::BELType, std::string > data
 
std::map< xilinx_toolbox::LOCType, std::string > data
 

Static Public Attributes

static std::map< T, std::string > data
 

Detailed Description

template<typename T, typename = typename std::enable_if<std::is_enum<T>::value, T>::type>
struct hal::EnumStrings< T, typename >

Holds the string representations of the values of an enum type. Specialize this template for an enum to make it usable with enum_to_string and enum_from_string. Must be declared for every enum.

Definition at line 41 of file enums.h.

Member Function Documentation

◆ data() [1/40]

Definition at line 971 of file boolean_function.h.

◆ data() [2/40]

std::map< SMT::SolverType, std::string > hal::EnumStrings< SMT::SolverType >::data

Definition at line 387 of file types.h.

◆ data() [3/40]

Definition at line 390 of file types.h.

◆ data() [4/40]

std::map< NetlistEvent::event, std::string > hal::EnumStrings< NetlistEvent::event >::data

Definition at line 66 of file event_handler.h.

◆ data() [5/40]

std::map< GateEvent::event, std::string > hal::EnumStrings< GateEvent::event >::data

Definition at line 85 of file event_handler.h.

◆ data() [6/40]

std::map< NetEvent::event, std::string > hal::EnumStrings< NetEvent::event >::data

Definition at line 106 of file event_handler.h.

◆ data() [7/40]

std::map< ModuleEvent::event, std::string > hal::EnumStrings< ModuleEvent::event >::data

Definition at line 134 of file event_handler.h.

◆ data() [8/40]

std::map< GroupingEvent::event, std::string > hal::EnumStrings< GroupingEvent::event >::data

Definition at line 158 of file event_handler.h.

◆ data() [9/40]

Definition at line 46 of file async_set_reset_behavior.h.

◆ data() [10/40]

std::map< GateTypeProperty, std::string > hal::EnumStrings< GateTypeProperty >::data

Definition at line 69 of file gate_type_property.h.

◆ data() [11/40]

std::map< PinDirection, std::string > hal::EnumStrings< PinDirection >::data

Definition at line 45 of file pin_direction.h.

◆ data() [12/40]

std::map< PinEvent, std::string > hal::EnumStrings< PinEvent >::data

The pin event is encoded in the four least significant bits of the associated event data, so there is room for at most 16 distinct values.

Definition at line 67 of file pin_event.h.

◆ data() [13/40]

std::map< PinType, std::string > hal::EnumStrings< PinType >::data

Definition at line 61 of file pin_type.h.

◆ data() [14/40]

◆ data() [15/40]

◆ data() [16/40]

◆ data() [17/40]

◆ data() [18/40]

◆ data() [19/40]

◆ data() [20/40]

◆ data() [21/40]

◆ data() [22/40]

Definition at line 101 of file types.h.

◆ data() [23/40]

Definition at line 104 of file types.h.

◆ data() [24/40]

◆ data() [25/40]

◆ data() [26/40]

Definition at line 19 of file boolean_function.cpp.

◆ data() [27/40]

std::map< SMT::SolverType, std::string > hal::EnumStrings< SMT::SolverType >::data

Definition at line 353 of file types.cpp.

References hal::SMT::Bitwuzla, hal::SMT::Boolector, hal::SMT::Unknown, and hal::SMT::Z3.

◆ data() [28/40]

std::map< SMT::SolverCall, std::string > hal::EnumStrings< SMT::SolverCall >::data

Definition at line 359 of file types.cpp.

References hal::SMT::Binary, and hal::SMT::Library.

◆ data() [29/40]

Definition at line 362 of file types.cpp.

References hal::SMT::Sat, hal::SMT::Unknown, and hal::SMT::UnSat.

◆ data() [30/40]

◆ data() [31/40]

◆ data() [32/40]

◆ data() [33/40]

◆ data() [34/40]

◆ data() [35/40]

Definition at line 6 of file async_set_reset_behavior.cpp.

References hal::H, hal::L, hal::N, hal::T, hal::undef, and hal::X.

◆ data() [36/40]

◆ data() [37/40]

std::map< PinDirection, std::string > hal::EnumStrings< PinDirection >::data

Definition at line 6 of file pin_direction.cpp.

References hal::inout, hal::input, hal::internal, hal::none, and hal::output.

◆ data() [38/40]

◆ data() [39/40]

◆ data() [40/40]

Member Data Documentation

◆ data

template<typename T , typename = typename std::enable_if<std::is_enum<T>::value, T>::type>
std::map<T, std::string> hal::EnumStrings< T, typename >::data
static

Definition at line 43 of file enums.h.


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