mcrl2::gui::qt::SettingInt¶

Include file:

#include "mcrl2/gui/setting.h

class mcrl2::gui::qt::SettingInt¶

Private attributes¶

int mcrl2::gui::qt::SettingInt::m_value¶

Public member functions¶

SettingInt(int value)¶

int value()

public-slot¶

mcrl2::gui::qt::SettingInt::setValue

signal¶

mcrl2::gui::qt::SettingInt::changed