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

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

Go to the source code of this file.

Functions
node_ptr	Wff2Nnf (const NuSMVEnv_ptr env, node_ptr wff)
	Public interface for well-formed-formula to well-formed-formula conversions.

---

Function Documentation

node_ptr Wff2Nnf	(	const NuSMVEnv_ptr	env,
		node_ptr	wff
	)

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

Author:

Alessandro Mariotti

Todo:

: Missing description

Makes the negative normal form of given WFF A positive (1) polarity will not negate entire formula

node hash may change