clause_obj

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 152 of file clause.h.

Member Data Documentation

ic

struct dynamic_clause ic

Definition at line 155 of file clause.h.

luc

struct logic_upd_clause luc

Definition at line 153 of file clause.h.

lui

struct logic_upd_index lui

Definition at line 154 of file clause.h.

mc

struct static_mega_clause mc

Definition at line 157 of file clause.h.

sc

struct static_clause sc

Definition at line 156 of file clause.h.

si

struct static_index si

Definition at line 158 of file clause.h.

---

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

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