57 void set_parameter(
const std::vector<PluginParameter>& params)
override;
void set_parameter(const std::vector< PluginParameter > ¶ms) override
Set values for a vector of configurable parameters.
std::vector< PluginParameter > get_parameter() const override
Get a vector of configurable parameters.
GuiExtensionDotViewer()
Default constructor for GuiExtensionDotViewer.
void netlist_about_to_close(Netlist *netlist) override