con_supcc.h File Reference
#include "corefaudes.h"
#include "con_include.h"
#include "op_include.h"
#include "syn_include.h"
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.
|