mcrl2::gui::qt::SettingEnum¶

Include file:

#include "mcrl2/gui/setting.h

class mcrl2::gui::qt::SettingEnum¶

Public types¶

type mcrl2::gui::qt::SettingEnum::Item¶: typedef for QPair< int, QString >

Private attributes¶

QList<Item> mcrl2::gui::qt::SettingEnum::m_items¶

Public member functions¶

QList<Item> items() const¶

SettingEnum(QList<Item> items, int value = -1)¶