generator_choicept

Public Attributes
struct choicept	cp
struct dependency_frame *	cp_dep_fr
struct subgoal_frame *	cp_sg_fr

Detailed Description

Definition at line 182 of file tab.structs.h.

Member Data Documentation

cp

struct choicept cp

Definition at line 183 of file tab.structs.h.

cp_dep_fr

struct dependency_frame* cp_dep_fr

Definition at line 184 of file tab.structs.h.

cp_sg_fr

struct subgoal_frame* cp_sg_fr

Definition at line 185 of file tab.structs.h.

---

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

• /home/vsc/github/yap/OPTYap/tab.structs.h