clause_ptr

Public Attributes
struct logic_upd_clause *	luc
struct logic_upd_index *	lui
struct dynamic_clause *	ic
struct static_clause *	sc
struct static_mega_clause *	mc
struct static_index *	si

Detailed Description

Definition at line 161 of file clause.h.

Member Data Documentation

ic

struct dynamic_clause* ic

Definition at line 164 of file clause.h.

luc

struct logic_upd_clause* luc

Definition at line 162 of file clause.h.

lui

struct logic_upd_index* lui

Definition at line 163 of file clause.h.

mc

struct static_mega_clause* mc

Definition at line 166 of file clause.h.

sc

struct static_clause* sc

Definition at line 165 of file clause.h.

si

struct static_index* si

Definition at line 167 of file clause.h.

---

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

• /home/vsc/github/yap/H/clause.h