d2/db9/Static_8h_source.html

//

// Created by awing on 6/29/26.

//


#ifndef GRAFCET_STATIC_H

#define GRAFCET_STATIC_H


#include "Grafcet.h"


bool check(const Grafcet::StateMachine& graph);


void exportToDot(std::ostream& out, const Grafcet::StateMachine& graph);


#endif //GRAFCET_STATIC_H

Grafcet.h
Header wrapper pour faciliter les import.

Grafcet::StateMachine
La machine à état permettant de parcourir le grafcet.
Definition StateMachine.h:25