ilasynth  1.0
ILASynth: Template-based ILA Synthesis Engine
Public Attributes | List of all members
ilasynth::HornTranslator::Instr_t Struct Reference

Public Attributes

std::string _name
 
hvptr_t _decodeFunc
 
std::map< std::string, hvptr_t_nxtFuncs
 
std::set< std::string > _childInstrs
 

Member Data Documentation

◆ _childInstrs

std::set<std::string> ilasynth::HornTranslator::Instr_t::_childInstrs

◆ _decodeFunc

hvptr_t ilasynth::HornTranslator::Instr_t::_decodeFunc

◆ _name

std::string ilasynth::HornTranslator::Instr_t::_name

◆ _nxtFuncs

std::map<std::string, hvptr_t> ilasynth::HornTranslator::Instr_t::_nxtFuncs

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