Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package smartlamp

Provides sample smart-lamp implementation under test for Uppaal TRON.

See:
          Description

Interface Summary
LevelListener  
 

Class Summary
AutoOffLightController  
Dimmer  
LevelBar  
LevelHistory  
LevelLamp  
LightController  
 

Package smartlamp Description

Provides sample smart-lamp implementation under test for Uppaal TRON.

Related Documentation

For overviews, tutorials, examples, guides, and tool documentation, please see:

Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES