NuSMV/code/nusmv/core/wff/w2w/w2wInt.h File Reference

#include "nusmv/core/utils/utils.h"
#include "nusmv/core/node/node.h"
#include "nusmv/core/wff/w2w/w2w.h"

Go to the source code of this file.

Defines
#define	ENV_W2W_WFF2NNF_HASH   "ewnh"
	Private interface for well-formed-formula to well-formed-formula conversions.

---

Define Documentation

#define ENV_W2W_WFF2NNF_HASH   "ewnh"

Private interface for well-formed-formula to well-formed-formula conversions.

Author:

Alessandro Mariotti

Todo:

: Missing description

Todo:

Missing synopsis

Todo:

Missing description