#include "gsjj/passive/utils.h"
#include <algorithm>
#include <fstream>
#include <random>
#include "MapleCOMSPS_LRB/utils/System.h"

Include dependency graph for utils.cpp:

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 . More...

std::set< char >	gsjj::passive::computeAlphabet (const std::set< std::string > &S)
	Computes the alphabet $\Sigma$ from the words in . More...

void	gsjj::passive::readFromFile (const std::string &inputFile, std::set< std::string > &Sp, std::set< std::string > &Sm)
	Reads the and 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 ()

Namespaces

Functions