cfl_determin.cpp File Reference

powerset construction More...

#include "cfl_determin.h"

Go to the source code of this file.

Namespaces

 faudes
 libFAUDES resides within the namespace faudes.
 

Functions

void faudes::UniqueInit (Generator &rGen)
 Make initial states unique. More...
 
void faudes::UniqueInit (const Generator &rGen, Generator &rResGen)
 Make initial states unique. More...
 
void faudes::Deterministic (const Generator &rGen, Generator &rResGen)
 Make generator deterministic. More...
 
void faudes::aDeterministic (const Generator &rGen, Generator &rResGen)
 Make generator deterministic. More...
 
void faudes::Deterministic (const Generator &rGen, std::map< Idx, StateSet > &rEntryStatesMap, Generator &rResGen)
 Make generator deterministic. More...
 
void faudes::Deterministic (const Generator &rGen, std::vector< StateSet > &rPowerStates, std::vector< Idx > &rDetStates, Generator &rResGen)
 Make generator deterministic. More...
 

Detailed Description

powerset construction

Definition in file cfl_determin.cpp.

libFAUDES 2.32b --- 2024.03.01 --- c++ api documentaion by doxygen