Fragments of cycle-checking code integrated into the HCDDES and META Simulink code generators.

Files:

CycleGraphs.h -- Boost::graph definitions for the graph data types JohnsonsAlgorithm.h -- Boost::graph implementation of Johnson's cycle enumeration algorithm.

CyberCycles -- interface between the AVM Meta tools paradigm and the cycle checking algorithm. CycleCheckerMain -- simple test file for cycle enumeration.