NuSMV/code/nusmv/core/prop/Prop_Rewriter_private.h File Reference

#include "nusmv/core/prop/Prop_Rewriter.h"
#include "nusmv/core/utils/EnvObject.h"
#include "nusmv/core/utils/EnvObject_private.h"
#include "nusmv/core/utils/defs.h"
#include "nusmv/core/prop/Prop.h"

Go to the source code of this file.

Data Structures
struct	Prop_Rewriter
	Public interface of class 'Prop_Rewriter'. More...
Typedefs
typedef Prop_ptr(*	Prop_Rewriter_rewrite_method )(Prop_Rewriter_ptr)
	Private and protected interface of class 'Prop_Rewriter'.

---

Typedef Documentation

typedef Prop_ptr(* Prop_Rewriter_rewrite_method)(Prop_Rewriter_ptr)

Private and protected interface of class 'Prop_Rewriter'.

Author:

Michele Dorigatti This file can be included only by derived and friend classes

Prop_Rewriter class definition derived from class Object

See also:

Base class Object

Todo:

Missing synopsis

Todo:

Missing description