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 222 of file def_struct.h.

Field Documentation

ptr_psi_term wl_goal::aaaa_1

Definition at line 224 of file def_struct.h.

ptr_psi_term wl_goal::bbbb_1

Definition at line 225 of file def_struct.h.

GENERIC wl_goal::cccc_1

Definition at line 226 of file def_struct.h.

ptr_goal wl_goal::next

Definition at line 227 of file def_struct.h.

ptr_definition wl_goal::pending

Definition at line 228 of file def_struct.h.

goals wl_goal::type

Definition at line 223 of file def_struct.h.


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