![]() |
HAL
|
#include <enums.h>
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 |
Container storing the string description of an enum. Must be declared for every enum to be supported.
std::map< BooleanFunction::Value, std::string > hal::EnumStrings< BooleanFunction::Value >::data |
Definition at line 971 of file boolean_function.h.
std::map< SMT::SolverType, std::string > hal::EnumStrings< SMT::SolverType >::data |
std::map< SMT::SolverResultType, std::string > hal::EnumStrings< SMT::SolverResultType >::data |
std::map< NetlistEvent::event, std::string > hal::EnumStrings< NetlistEvent::event >::data |
Definition at line 63 of file event_handler.h.
std::map< GateEvent::event, std::string > hal::EnumStrings< GateEvent::event >::data |
Definition at line 79 of file event_handler.h.
std::map< NetEvent::event, std::string > hal::EnumStrings< NetEvent::event >::data |
Definition at line 97 of file event_handler.h.
std::map< ModuleEvent::event, std::string > hal::EnumStrings< ModuleEvent::event >::data |
Definition at line 122 of file event_handler.h.
std::map< GroupingEvent::event, std::string > hal::EnumStrings< GroupingEvent::event >::data |
Definition at line 143 of file event_handler.h.
std::map< AsyncSetResetBehavior, std::string > hal::EnumStrings< AsyncSetResetBehavior >::data |
Definition at line 46 of file async_set_reset_behavior.h.
std::map< GateTypeProperty, std::string > hal::EnumStrings< GateTypeProperty >::data |
Definition at line 68 of file gate_type_property.h.
std::map< PinDirection, std::string > hal::EnumStrings< PinDirection >::data |
Definition at line 45 of file pin_direction.h.
std::map< PinEvent, std::string > hal::EnumStrings< PinEvent >::data |
Definition at line 60 of file pin_event.h.
std::map< PinType, std::string > hal::EnumStrings< PinType >::data |
Definition at line 61 of file pin_type.h.
std::map< GateTypeComponent::ComponentType, std::string > hal::EnumStrings< GateTypeComponent::ComponentType >::data |
Definition at line 218 of file gate_type_component.h.
std::map< graph_algorithm::NetlistGraph::Direction, std::string > hal::EnumStrings< graph_algorithm::NetlistGraph::Direction >::data |
Definition at line 373 of file netlist_graph.h.
std::map< graph_algorithm::NetlistGraph::Direction, std::string > hal::EnumStrings< graph_algorithm::NetlistGraph::Direction >::data |
Definition at line 897 of file netlist_graph.cpp.
References hal::graph_algorithm::NetlistGraph::ALL, hal::graph_algorithm::NetlistGraph::IN, hal::graph_algorithm::NetlistGraph::NONE, and hal::graph_algorithm::NetlistGraph::OUT.
std::map< BooleanFunction::Value, std::string > hal::EnumStrings< BooleanFunction::Value >::data |
Definition at line 18 of file boolean_function.cpp.
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.
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.
std::map< SMT::SolverResultType, std::string > hal::EnumStrings< SMT::SolverResultType >::data |
Definition at line 362 of file types.cpp.
References hal::SMT::Sat, hal::SMT::Unknown, and hal::SMT::UnSat.
std::map< NetlistEvent::event, std::string > hal::EnumStrings< NetlistEvent::event >::data |
Definition at line 12 of file event_handler.cpp.
References hal::NetlistEvent::design_name_changed, hal::NetlistEvent::device_name_changed, hal::NetlistEvent::id_changed, hal::NetlistEvent::input_filename_changed, hal::NetlistEvent::marked_global_gnd, hal::NetlistEvent::marked_global_input, hal::NetlistEvent::marked_global_output, hal::NetlistEvent::marked_global_vcc, hal::NetlistEvent::unmarked_global_gnd, hal::NetlistEvent::unmarked_global_input, hal::NetlistEvent::unmarked_global_output, and hal::NetlistEvent::unmarked_global_vcc.
std::map< GateEvent::event, std::string > hal::EnumStrings< GateEvent::event >::data |
Definition at line 26 of file event_handler.cpp.
References hal::GateEvent::boolean_function_changed, hal::GateEvent::created, hal::GateEvent::location_changed, hal::GateEvent::name_changed, and hal::GateEvent::removed.
std::map< NetEvent::event, std::string > hal::EnumStrings< NetEvent::event >::data |
Definition at line 33 of file event_handler.cpp.
References hal::NetEvent::created, hal::NetEvent::dst_added, hal::NetEvent::dst_removed, hal::NetEvent::name_changed, hal::NetEvent::removed, hal::NetEvent::src_added, and hal::NetEvent::src_removed.
std::map< ModuleEvent::event, std::string > hal::EnumStrings< ModuleEvent::event >::data |
Definition at line 42 of file event_handler.cpp.
References hal::ModuleEvent::created, hal::ModuleEvent::gate_assigned, hal::ModuleEvent::gate_removed, hal::ModuleEvent::gates_assign_begin, hal::ModuleEvent::gates_assign_end, hal::ModuleEvent::gates_remove_begin, hal::ModuleEvent::gates_remove_end, hal::ModuleEvent::name_changed, hal::ModuleEvent::parent_changed, hal::ModuleEvent::pin_changed, hal::ModuleEvent::removed, hal::ModuleEvent::submodule_added, hal::ModuleEvent::submodule_removed, and hal::ModuleEvent::type_changed.
std::map< GroupingEvent::event, std::string > hal::EnumStrings< GroupingEvent::event >::data |
Definition at line 58 of file event_handler.cpp.
References hal::GroupingEvent::created, hal::GroupingEvent::gate_assigned, hal::GroupingEvent::gate_removed, hal::GroupingEvent::module_assigned, hal::GroupingEvent::module_removed, hal::GroupingEvent::name_changed, hal::GroupingEvent::net_assigned, hal::GroupingEvent::net_removed, and hal::GroupingEvent::removed.
std::map< AsyncSetResetBehavior, std::string > hal::EnumStrings< AsyncSetResetBehavior >::data |
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.
std::map< GateTypeProperty, std::string > hal::EnumStrings< GateTypeProperty >::data |
Definition at line 6 of file gate_type_property.cpp.
References hal::c_and, hal::c_aoi, hal::c_buffer, hal::c_carry, hal::c_full_adder, hal::c_half_adder, hal::c_inverter, hal::c_lut, hal::c_mux, hal::c_nand, hal::c_nor, hal::c_oai, hal::c_or, hal::c_xnor, hal::c_xor, hal::combinational, hal::dsp, hal::ff, hal::fifo, hal::ground, hal::io, hal::latch, hal::oscillator, hal::pll, hal::power, hal::ram, hal::scan, hal::sequential, hal::shift_register, and hal::tristate.
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.
std::map< PinEvent, std::string > hal::EnumStrings< PinEvent >::data |
Definition at line 10 of file pin_event.cpp.
References hal::GroupCreate, hal::GroupDelete, hal::GroupDirChange, hal::GroupRename, hal::GroupReorder, hal::GroupTypeChange, hal::PinAssignToGroup, hal::PinCreate, hal::PinDelete, hal::PinDirChange, hal::PinRename, hal::PinReorder, hal::PinTypeChange, and hal::unknown.
std::map< PinType, std::string > hal::EnumStrings< PinType >::data |
Definition at line 6 of file pin_type.cpp.
References hal::address, hal::carry, hal::clock, hal::control, hal::data, hal::done, hal::enable, hal::error, hal::error_detection, hal::ground, hal::io_pad, hal::lut, hal::neg_state, hal::none, hal::power, hal::reset, hal::select, hal::set, hal::state, hal::status, and hal::sum.
std::map< GateTypeComponent::ComponentType, std::string > hal::EnumStrings< GateTypeComponent::ComponentType >::data |
Definition at line 15 of file gate_type_component.cpp.
References hal::GateTypeComponent::ff, hal::GateTypeComponent::init, hal::GateTypeComponent::latch, hal::GateTypeComponent::lut, hal::GateTypeComponent::mac, hal::GateTypeComponent::ram, hal::GateTypeComponent::ram_port, and hal::GateTypeComponent::state.
|
static |