![]() |
HAL
|
Classes | |
class | hal::ContextManagerWidget |
Provides the user with an interface to manage GraphContexts. More... | |
class | hal::ContextProxyModel |
A proxy model to filter the ContextTableModel by a given string. More... | |
class | hal::ContextTreeModel |
Base model for the ContextManagerWidget to manage GraphContexts. More... | |
class | hal::PinProxyModel |
A proxy model to filter the ContextTableModel by a given string. More... | |
Contains classes related to the ContextManagerWidget.