![]() |
PandA-2024.02
|

Files | |
| file | control_flow_checker.cpp [code] |
| file | control_flow_checker.hpp [code] |
| file | controller_creator_base_step.cpp [code] |
| Base class for all controller creation algorithms. | |
| file | controller_creator_base_step.hpp [code] |
| Base class for all the controller creation algorithms. | |
| file | controller_cs.cpp [code] |
| file | controller_cs.hpp [code] |
| Base class for all the controller creation algorithms. | |
| file | fsm_controller.cpp [code] |
| Starting from the FSM graph, it builds a state transition table. | |
| file | fsm_controller.hpp [code] |
| Header class for the creation of the classical FSM controller. | |
| file | pipeline_controller.cpp [code] |
| Starting from the FSM graph, it generates a shift register for control. | |
| file | pipeline_controller.hpp [code] |
| Header class for the creation of a shift register controlling a pipeline. | |
1.8.13