clause_graph Struct Reference

#include <clgInt.h>

Data Fields
int	label
struct Clg_Vertex *	left
struct Clg_Vertex *	right
int	size

---

Detailed Description

Todo:

Missing synopsis

Todo:

Missing description

---

Field Documentation

int clause_graph::label

struct Clg_Vertex* clause_graph::left [read]

struct Clg_Vertex* clause_graph::right [read]

int clause_graph::size

---

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

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