This example is defined in the directory: /home/lbesnard/Polychrony/V4.19/Linux/Examples/mouse.
This directory contains the description in Signal of a mouse handler, which is a control example. The directory contains three sub-directories:
- MouseProgram which contains the graphical source of the mouse program, embedded in its simulation context; more details
- Static_property which contains the same program, in which the definition of a signal, necessary to prove a static property on the program, has been added; more details
- Dynamic_property which contains the same program, in which some signals, necessary to prove a dynamic property on the program, have been added. more details