con_2_simple.cpp File Reference

Tutorial, coordination control for prefix-closed languages. More...

#include "libfaudes.h"

Go to the source code of this file.

Functions

int main (void)

Detailed Description

Tutorial, coordination control for prefix-closed languages.

/** @file con_2_simple.cpp
Tutorial, coordination control for prefix-closed languages
@ingroup Tutorials
@include con_2_simple.cpp
*/
#include "libfaudes.h"
// we make the faudes namespace available to our program
using namespace faudes;
/////////////////
// main program
/////////////////
int main(void) {
// Local systems g1, g2, g3, and a global specification spec
System g1, g2, g3, spec;
// Set of controllable events and the initial ek event set
EventSet ec, ek;
// Vectors of local systems and resulting supervisors
GeneratorVector gVector, resVector;
// Computer supervised coordinator
System coord;
g1.Read("data/gen1.gen");
g2.Read("data/gen2.gen");
g3.Read("data/gen3.gen");
spec.Read("data/spec.gen");
ec.Read("data/ec.alph");
ek.Read("data/ek0.alph");
gVector.Append(g1);
gVector.Append(g2);
gVector.Append(g3);
bool result = SupConditionalControllable(spec,gVector,ec,ek,resVector,coord);
FAUDES_TEST_DUMP("computed ok?",result);
}

Definition in file con_2_simple.cpp.

Function Documentation

int main ( void  )

Definition at line 20 of file con_2_simple.cpp.

libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen