ilasynth
1.0
ILASynth: Template-based ILA Synthesis Engine
|
#include <abstraction.hpp>
Public Attributes | |
nptr_t | valid |
abstraction_ptr_t | abs |
abstraction_ptr_t ilasynth::Abstraction::uabstraction_t::abs |
nptr_t ilasynth::Abstraction::uabstraction_t::valid |