Howard cycles

[Lecrapouille]

Currently

struct CriticalCycleResult
{
    bool success = false;
    std::stringstream message;
    size_t cycles;                                        // TO BE MERGED
    std::vector<Arc*> arcs;                         // TO BE MERGED
    std::vector<double> eigenvector;
    std::vector<double> durations;
};

Ideally should be:

struct CriticalCycleResult
{
    bool success = false;
    std::stringstream message;
    std::vector<std::vector<Arc*>> cycles;
    std::vector<double> eigenvector;
    std::vector<double> durations;
};

[Lecrapouille]

Algorithme a implementer: pour tous les transitions, partir de la transition, parcourir les arcs trouvés par Howard, si en parcourant on retombe sur la transiton => on garde la transition.

Afficher de 2 manieres differentes:

• afficher les cycles en gras
• afficher en pas gras, les arcs des transitions qui ne sont pas dans le cycle.