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

#include "nusmv/core/prop/PropDb.h"
#include "nusmv/core/prop/Prop.h"
#include "nusmv/core/utils/object.h"
#include "nusmv/core/utils/object_private.h"
#include "nusmv/core/utils/utils.h"
#include "nusmv/core/utils/array.h"
#include "nusmv/core/utils/EnvObject.h"
#include "nusmv/core/utils/EnvObject_private.h"

Go to the source code of this file.

Data Structures
struct	PropDb
	Public interface of class 'PropDb'. More...
Typedefs
typedef int(*	PropDb_prop_create_and_add_method )(PropDb_ptr, SymbTable_ptr, node_ptr, Prop_Type)
	Private and protected interface of class 'PropDb'.
typedef void(*	PropDb_verify_all_method )(const PropDb_ptr)

---

Typedef Documentation

typedef int(* PropDb_prop_create_and_add_method)(PropDb_ptr, SymbTable_ptr, node_ptr, Prop_Type)

Private and protected interface of class 'PropDb'.

Author:

Roberto Cavada This file can be included only by derived and friend classes

PropDb class definition derived from class Object

See also:

Base class Object

Todo:

Missing synopsis

Todo:

Missing description

typedef void(* PropDb_verify_all_method)(const PropDb_ptr)

Todo:

Missing synopsis

Todo:

Missing description