|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
KitAssembler | Assembler for Safe State Machines in the Kit format. |
LineScanner | Scan assembler generated by smakc, to get correspondence between states and assembler lines. |
Tracer | Generate mapping between kit file and the KEP assembler that was generated by smakc. |
Support for the smakc compiler to translate kit files into KEP assembler. This is rather experimental, and could be replaced by an additional backend for the SyncCharts to SC compiler.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |