cfl_determin.h File Reference

powersetset construction More...

#include "cfl_definitions.h"
#include "cfl_agenerator.h"

Go to the source code of this file.

Namespaces

namespace  faudes
 

libFAUDES resides within the namespace faudes.


Defines

#define FAUDES_DETERMIN_H

Functions

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

Detailed Description

powersetset construction

Definition in file cfl_determin.h.


Define Documentation

#define FAUDES_DETERMIN_H

Definition at line 160 of file cfl_determin.h.

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen