mcrl2::gui::qt::SettingFloat

Include file:

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

Private attributes

float m_value

Public member functions

SettingFloat(float value)
float value()

public-slot

setValue

signal

changed