Wild Life  2.29
 All Data Structures Files Functions Variables Typedefs Macros
Data Fields
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 227 of file def_struct.h.

Field Documentation

ptr_psi_term wl_goal::aaaa_1

Definition at line 229 of file def_struct.h.

ptr_psi_term wl_goal::bbbb_1

Definition at line 230 of file def_struct.h.

GENERIC wl_goal::cccc_1

Definition at line 231 of file def_struct.h.

ptr_goal wl_goal::next

Definition at line 232 of file def_struct.h.

ptr_definition wl_goal::pending

Definition at line 233 of file def_struct.h.

goals wl_goal::type

Definition at line 228 of file def_struct.h.


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