NuSMV/code/nusmv/core/rbc/clg/clgInt.h File Reference

#include "nusmv/core/rbc/clg/clg.h"
#include "nusmv/core/utils/utils.h"

Go to the source code of this file.

Data Structures
struct	clause_graph
Defines
#define	CLG_CONJ   10
	The internal header of the tl package.
#define	CLG_DISJ   11

---

Define Documentation

#define CLG_CONJ   10

The internal header of the tl package.

Author:

Dan Sheridan & Marco Roveri None

Todo:

Missing synopsis

Todo:

Missing description

#define CLG_DISJ   11

Todo:

Missing synopsis

Todo:

Missing description