mcrl2::gui::qt::SettingFloat¶

Include file:

#include "mcrl2/gui/setting.h

class mcrl2::gui::qt::SettingFloat¶

Private attributes¶

float mcrl2::gui::qt::SettingFloat::m_value¶

Public member functions¶

SettingFloat(float value)¶

float value()

public-slot¶

mcrl2::gui::qt::SettingFloat::setValue

signal¶

mcrl2::gui::qt::SettingFloat::changed