mcrl2::gui::qt::SettingEnum

Include file:

#include "mcrl2/gui/setting.h
class mcrl2::gui::qt::SettingEnum

Public types

type Item

typedef for QPair< int, QString >

Private attributes

QList<Item> m_items

Public member functions

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