BiermannMethod.cpp File Reference

#include "gsjj/passive/SMT/BiermannMethod.h"
#include "gsjj/passive/MethodFactory.h"

Include dependency graph for BiermannMethod.cpp:

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.
	gsjj::passive::SMT
	Contains every method that relies on a SMT solver.