NuSMV/code/nusmv/core/simulate/SimulateState_private.h File Reference

#include "nusmv/core/utils/object.h"
#include "nusmv/core/utils/object_private.h"
#include "nusmv/core/dd/DDMgr.h"
#include "nusmv/core/dd/dd.h"
#include "nusmv/core/trace/TraceLabel.h"

Go to the source code of this file.

Data Structures
struct	SimulateState
	Private and protected interface of class 'SimulateState'. More...
Functions
void	simulate_state_init (SimulateState_ptr const self, DDMgr_ptr const dd_mgr, bdd_ptr const bdd, TraceLabel const trace_label)
	The SimulateState class private initializer.

---

Function Documentation

void simulate_state_init	(	SimulateState_ptr const	self,
		DDMgr_ptr const	dd_mgr,
		bdd_ptr const	bdd,
		TraceLabel const	trace_label
	)

The SimulateState class private initializer.

The SimulateState class private initializer

See also:

SimulateState_create