libgsjj  1
Deterministic finite automata learning library
utils.h
Go to the documentation of this file.
1 #pragma once
2 
3 #include <set>
4 #include <string>
5 
6 namespace gsjj {
7  namespace passive {
16  std::set<std::string> computeS(const std::set<std::string> &Sp, const std::set<std::string> &Sm);
17 
22  std::set<std::string> computePrefixes(const std::set<std::string> &S);
23 
28  std::set<char> computeAlphabet(const std::set<std::string> &S);
29 
36  void readFromFile(const std::string &inputFile, std::set<std::string> &Sp, std::set<std::string> &Sm);
37 
51  void 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);
52 
53  double getCPUTime();
54  }
55 }
The namespace of the library.
Definition: binary.h:11
std::set< std::string > computePrefixes(const std::set< std::string > &S)
Computes .
Definition: utils.cpp:17
double getCPUTime()
Definition: utils.cpp:81
std::set< std::string > computeS(const std::set< std::string > &Sp, const std::set< std::string > &Sm)
Computes .
Definition: utils.cpp:11
void readFromFile(const std::string &inputFile, std::set< std::string > &Sp, std::set< std::string > &Sm)
Reads the and sets from a file.
Definition: utils.cpp:37
std::set< char > computeAlphabet(const std::set< std::string > &S)
Computes the alphabet from the words in .
Definition: utils.cpp:27
void 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.
Definition: utils.cpp:54