con_controllability.h File Reference
#include "corefaudes.h"
#include "syn_include.h"

Go to the source code of this file.

Namespaces

 faudes
 

Functions

bool faudes::IsConditionalControllable (const GeneratorVector &specVect, const Generator &pk, const GeneratorVector &genVect, const Generator &gk, const EventSet &ACntrl)
 

Detailed Description

Conditional Controllability

Definition in file con_controllability.h.

libFAUDES 2.33b --- 2025.05.07 --- c++ api documentaion by doxygen