SMTMethod.h File Reference

#include <map>
#include <cvc4/cvc4.h>
#include "gsjj/passive/Method.h"

Include dependency graph for SMTMethod.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	gsjj::passive::SMT::SMTMethod
	The base class for every SMT-based method. More...

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.