mcrl2::gui::qt::SettingInt

Include file:

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

Private attributes

int m_value

Public member functions

SettingInt(int value)
int value()

public-slot

setValue

signal

changed