libgsjj  1
Deterministic finite automata learning library
Namespaces | Functions
utils.h File Reference
#include <set>
#include <string>
Include dependency graph for utils.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 gsjj
 The namespace of the library.
 
 gsjj::passive
 Defines the passive methods for automatically learning deterministic finite automata.
 

Functions

std::set< std::string > gsjj::passive::computeS (const std::set< std::string > &Sp, const std::set< std::string > &Sm)
 Computes $S = S_+ \cup S_-$. More...
 
std::set< std::string > gsjj::passive::computePrefixes (const std::set< std::string > &S)
 Computes $Pref(S)$. More...
 
std::set< char > gsjj::passive::computeAlphabet (const std::set< std::string > &S)
 Computes the alphabet $\Sigma$ from the words in $S$. More...
 
void gsjj::passive::readFromFile (const std::string &inputFile, std::set< std::string > &Sp, std::set< std::string > &Sm)
 Reads the $S_+$ and $S_-$ sets from a file. More...
 
void gsjj::passive::generateRandomly (unsigned int numberWords, unsigned int minLength, unsigned int maxLength, unsigned int alphabetSize, std::set< std::string > &Sp, std::set< std::string > &Sm, double SpProbability=0.5)
 Generates randomly a sample set. More...
 
double gsjj::passive::getCPUTime ()