#include "con_supcc.h"
#include "con_include.h"
#include "op_include.h"
#include <vector>
Go to the source code of this file.
Namespaces |
| namespace | faudes |
| | libFAUDES resides within the namespace faudes.
|
Functions |
| bool | faudes::SupConditionalControllable (const Generator &gen, const GeneratorVector &genVector, const EventSet &ACntrl, const EventSet &InitEk, GeneratorVector &supVector, Generator &Coord) |
| | Conditionalcontrollability Checking Algorithm.
|