wl_goal Struct Reference

Data Fields
goals	type
ptr_psi_term	aaaa_1
ptr_psi_term	bbbb_1
GENERIC	cccc_1
ptr_goal	next
ptr_definition	pending

Detailed Description

Definition at line 237 of file def_struct.h.

Field Documentation

ptr_psi_term wl_goal::aaaa_1

Definition at line 239 of file def_struct.h.

ptr_psi_term wl_goal::bbbb_1

Definition at line 240 of file def_struct.h.

GENERIC wl_goal::cccc_1

Definition at line 241 of file def_struct.h.

ptr_goal wl_goal::next

Definition at line 242 of file def_struct.h.

ptr_definition wl_goal::pending

Definition at line 243 of file def_struct.h.

goals wl_goal::type

Definition at line 238 of file def_struct.h.

---

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

• def_struct.h