smv.h

这个工具集提供以下结构化分析和UML分析中所用的图形化绘图工具：ER-diagrams, data and event flow diagrams and state-transition diagr

/* This file generates quick-and-dirty NuSMV output */

#include "llist.h"
#include "lstring.h"
#include "graph.h"

class SMV {
public:
	SMV(Graph *st);
	~SMV();

	void WriteSMV(const char *filename, List<string> *internal,
				const string *formula);
private:
	static void AddNames(List<string> *names, List<string> *guards,
				const string *statename);
	Graph *graph;
};