![]() |
YAP 7.1.0
|
Public Attributes | |
struct choicept | cp |
struct dependency_frame * | cp_dep_fr |
struct subgoal_frame * | cp_sg_fr |
Definition at line 182 of file tab.structs.h.
struct choicept cp |
Definition at line 183 of file tab.structs.h.
struct dependency_frame* cp_dep_fr |
Definition at line 184 of file tab.structs.h.
struct subgoal_frame* cp_sg_fr |
Definition at line 185 of file tab.structs.h.