ark::gui::GuiCommunicationsPlugin

Defined in header “ark/gui/gui/gui_comms_plugin.hh”.


This plugin visualizes the GUI communication statistics.

Methods

  • GuiCommunicationsPlugin(std::string name, std::string comms_namespace)
    Constructor.

  • ~GuiCommunicationsPlugin()
    Destructor; implemented in source for forward declares.

  • void initialize(gui::PluginInterface & interface)
    Called to initialize and construct this plugin.