org.dllearner.gui.widgets
Classes
AbstractWidgetPanel
WidgetPanelBoolean
WidgetPanelDefault
WidgetPanelDouble
WidgetPanelInteger
WidgetPanelString
WidgetPanelStringSet
WidgetPanelStringTupleList
WidgetPanelURL