![]() |
HAL
|
Go to the source code of this file.
Namespaces | |
hal | |
hal::gate_library_writer_manager | |
Typedefs | |
using | hal::gate_library_writer_manager::WriterFactory = std::function< std::unique_ptr< GateLibraryWriter >()> |
Functions | |
void | hal::gate_library_writer_manager::register_writer (const std::string &name, const WriterFactory &writer_factory, const std::vector< std::string > &supported_file_extensions) |
void | hal::gate_library_writer_manager::unregister_writer (const std::string &name) |
bool | hal::gate_library_writer_manager::write (const GateLibrary *gate_lib, const std::filesystem::path &file_path) |