ClgManager Struct Reference

#include <clg.h>

Related Functions
(Note that these are not member functions.)
ClgManager_ptr	ClgManager_create (void)
	Creates an instance of the clause manager.

---

Detailed Description

Todo:

Missing synopsis

Todo:

Missing description

---

Friends And Related Function Documentation

ClgManager_ptr ClgManager_create

(

void

)

[related]

Creates an instance of the clause manager.

AutomaticStart

Creates an instance of the clause manager

---

The documentation for this struct was generated from the following file:

• NuSMV/code/nusmv/core/rbc/clg/clg.h