HAL
hal::EnumStrings< T, typename > Struct Template Reference

#include <enums.h>

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

Public Member Functions

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

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 >

Container storing the string description of an enum. Must be declared for every enum to be supported.

Definition at line 40 of file enums.h.

Member Function Documentation

◆ data() [1/31]

Definition at line 971 of file boolean_function.h.

◆ data() [2/31]

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

Definition at line 384 of file types.h.

◆ data() [3/31]

Definition at line 387 of file types.h.

◆ data() [4/31]

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

Definition at line 63 of file event_handler.h.

◆ data() [5/31]

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

Definition at line 79 of file event_handler.h.

◆ data() [6/31]

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

Definition at line 97 of file event_handler.h.

◆ data() [7/31]

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

Definition at line 122 of file event_handler.h.

◆ data() [8/31]

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

Definition at line 143 of file event_handler.h.

◆ data() [9/31]

Definition at line 46 of file async_set_reset_behavior.h.

◆ data() [10/31]

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

Definition at line 68 of file gate_type_property.h.

◆ data() [11/31]

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

Definition at line 45 of file pin_direction.h.

◆ data() [12/31]

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

Definition at line 60 of file pin_event.h.

◆ data() [13/31]

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

Definition at line 61 of file pin_type.h.

◆ data() [14/31]

◆ data() [15/31]

◆ data() [16/31]

◆ data() [17/31]

Definition at line 18 of file boolean_function.cpp.

◆ data() [18/31]

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() [19/31]

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() [20/31]

Definition at line 362 of file types.cpp.

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

◆ data() [21/31]

◆ data() [22/31]

◆ data() [23/31]

◆ data() [24/31]

◆ data() [25/31]

◆ data() [26/31]

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() [27/31]

◆ data() [28/31]

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() [29/31]

◆ data() [30/31]

◆ data() [31/31]

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 42 of file enums.h.


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