// withDFA.h: interface for the withDFA class.
//
//////////////////////////////////////////////////////////////////////

#if !defined(_WITHDFA_H__)
#define _WITHDFA_H__

#include "MatchingString.h"
#include "Graph.h"

class withDFA : public MatchingString  
{
public:
	withDFA();
	virtual ~withDFA();

	static void test();
	void search();//char *x, int m, char *y, int n

private:
	void preAut(char *x, int m, Graph* aut);
};

#endif // !defined(_WITHDFA_H__)