1 #ifndef _newgen_effects_included
2 #define _newgen_effects_included
3 #define _gen_effects_start 132
10 #if !defined(_newgen_entity_domain_defined_)
11 #define _newgen_entity_domain_defined_
12 #define ENTITY_NEWGEN_DOMAIN (entity_domain)
13 #define entity_NEWGEN_DOMAIN (entity_domain)
17 #if !defined(_newgen_reference_domain_defined_)
18 #define _newgen_reference_domain_defined_
19 #define REFERENCE_NEWGEN_DOMAIN (reference_domain)
20 #define reference_NEWGEN_DOMAIN (reference_domain)
24 #if !defined(_newgen_preference_domain_defined_)
25 #define _newgen_preference_domain_defined_
26 #define PREFERENCE_NEWGEN_DOMAIN (preference_domain)
27 #define preference_NEWGEN_DOMAIN (preference_domain)
31 #if !defined(_newgen_expression_domain_defined_)
32 #define _newgen_expression_domain_defined_
33 #define EXPRESSION_NEWGEN_DOMAIN (expression_domain)
34 #define expression_NEWGEN_DOMAIN (expression_domain)
38 #if !defined(_newgen_statement_domain_defined_)
39 #define _newgen_statement_domain_defined_
40 #define STATEMENT_NEWGEN_DOMAIN (statement_domain)
41 #define statement_NEWGEN_DOMAIN (statement_domain)
45 #if !defined(_newgen_Psysteme_domain_defined_)
46 #define _newgen_Psysteme_domain_defined_
47 #define newgen_Psysteme(p) (p)
48 #define PSYSTEME_NEWGEN_EXTERNAL (_gen_effects_start+0)
49 #define PSYSTEME_NEWGEN_DOMAIN (PSYSTEME_NEWGEN_EXTERNAL)
50 #define Psysteme_NEWGEN_DOMAIN (PSYSTEME_NEWGEN_EXTERNAL)
53 #define action_kind_domain (_gen_effects_start+1)
54 #if !defined(_newgen_action_kind_domain_defined_)
55 #define _newgen_action_kind_domain_defined_
56 #define ACTION_KIND_NEWGEN_DOMAIN (action_kind_domain)
57 #define action_kind_NEWGEN_DOMAIN (action_kind_domain)
61 #define action_domain (_gen_effects_start+2)
62 #if !defined(_newgen_action_domain_defined_)
63 #define _newgen_action_domain_defined_
64 #define ACTION_NEWGEN_DOMAIN (action_domain)
65 #define action_NEWGEN_DOMAIN (action_domain)
69 #define approximation_domain (_gen_effects_start+3)
70 #if !defined(_newgen_approximation_domain_defined_)
71 #define _newgen_approximation_domain_defined_
72 #define APPROXIMATION_NEWGEN_DOMAIN (approximation_domain)
73 #define approximation_NEWGEN_DOMAIN (approximation_domain)
77 #define cell_interpretation_domain (_gen_effects_start+4)
78 #if !defined(_newgen_cell_interpretation_domain_defined_)
79 #define _newgen_cell_interpretation_domain_defined_
80 #define CELL_INTERPRETATION_NEWGEN_DOMAIN (cell_interpretation_domain)
81 #define cell_interpretation_NEWGEN_DOMAIN (cell_interpretation_domain)
85 #define cell_domain (_gen_effects_start+5)
86 #if !defined(_newgen_cell_domain_defined_)
87 #define _newgen_cell_domain_defined_
88 #define CELL_NEWGEN_DOMAIN (cell_domain)
89 #define cell_NEWGEN_DOMAIN (cell_domain)
93 #define cell_relation_domain (_gen_effects_start+6)
94 #if !defined(_newgen_cell_relation_domain_defined_)
95 #define _newgen_cell_relation_domain_defined_
96 #define CELL_RELATION_NEWGEN_DOMAIN (cell_relation_domain)
97 #define cell_relation_NEWGEN_DOMAIN (cell_relation_domain)
101 #define cell_relations_domain (_gen_effects_start+7)
102 #if !defined(_newgen_cell_relations_domain_defined_)
103 #define _newgen_cell_relations_domain_defined_
104 #define CELL_RELATIONS_NEWGEN_DOMAIN (cell_relations_domain)
105 #define cell_relations_NEWGEN_DOMAIN (cell_relations_domain)
109 #define descriptor_domain (_gen_effects_start+8)
110 #if !defined(_newgen_descriptor_domain_defined_)
111 #define _newgen_descriptor_domain_defined_
112 #define DESCRIPTOR_NEWGEN_DOMAIN (descriptor_domain)
113 #define descriptor_NEWGEN_DOMAIN (descriptor_domain)
117 #define effect_domain (_gen_effects_start+9)
118 #if !defined(_newgen_effect_domain_defined_)
119 #define _newgen_effect_domain_defined_
120 #define EFFECT_NEWGEN_DOMAIN (effect_domain)
121 #define effect_NEWGEN_DOMAIN (effect_domain)
125 #define effects_classes_domain (_gen_effects_start+10)
126 #if !defined(_newgen_effects_classes_domain_defined_)
127 #define _newgen_effects_classes_domain_defined_
128 #define EFFECTS_CLASSES_NEWGEN_DOMAIN (effects_classes_domain)
129 #define effects_classes_NEWGEN_DOMAIN (effects_classes_domain)
133 #define effects_domain (_gen_effects_start+11)
134 #if !defined(_newgen_effects_domain_defined_)
135 #define _newgen_effects_domain_defined_
136 #define EFFECTS_NEWGEN_DOMAIN (effects_domain)
137 #define effects_NEWGEN_DOMAIN (effects_domain)
141 #define entity_effects_domain (_gen_effects_start+12)
142 #if !defined(_newgen_entity_effects_domain_defined_)
143 #define _newgen_entity_effects_domain_defined_
144 #define ENTITY_EFFECTS_NEWGEN_DOMAIN (entity_effects_domain)
145 #define entity_effects_NEWGEN_DOMAIN (entity_effects_domain)
149 #define gap_domain (_gen_effects_start+13)
150 #if !defined(_newgen_gap_domain_defined_)
151 #define _newgen_gap_domain_defined_
152 #define GAP_NEWGEN_DOMAIN (gap_domain)
153 #define gap_NEWGEN_DOMAIN (gap_domain)
157 #define interpreted_cell_domain (_gen_effects_start+14)
158 #if !defined(_newgen_interpreted_cell_domain_defined_)
159 #define _newgen_interpreted_cell_domain_defined_
160 #define INTERPRETED_CELL_NEWGEN_DOMAIN (interpreted_cell_domain)
161 #define interpreted_cell_NEWGEN_DOMAIN (interpreted_cell_domain)
165 #define path_selector_domain (_gen_effects_start+15)
166 #if !defined(_newgen_path_selector_domain_defined_)
167 #define _newgen_path_selector_domain_defined_
168 #define PATH_SELECTOR_NEWGEN_DOMAIN (path_selector_domain)
169 #define path_selector_NEWGEN_DOMAIN (path_selector_domain)
173 #define path_selectors_domain (_gen_effects_start+16)
174 #if !defined(_newgen_path_selectors_domain_defined_)
175 #define _newgen_path_selectors_domain_defined_
176 #define PATH_SELECTORS_NEWGEN_DOMAIN (path_selectors_domain)
177 #define path_selectors_NEWGEN_DOMAIN (path_selectors_domain)
181 #define persistant_expression_to_effects_domain (_gen_effects_start+17)
182 #if !defined(_newgen_persistant_expression_to_effects_domain_defined_)
183 #define _newgen_persistant_expression_to_effects_domain_defined_
184 #define PERSISTANT_EXPRESSION_TO_EFFECTS_NEWGEN_DOMAIN (persistant_expression_to_effects_domain)
185 #define persistant_expression_to_effects_NEWGEN_DOMAIN (persistant_expression_to_effects_domain)
189 #define recursive_selector_domain (_gen_effects_start+18)
190 #if !defined(_newgen_recursive_selector_domain_defined_)
191 #define _newgen_recursive_selector_domain_defined_
192 #define RECURSIVE_SELECTOR_NEWGEN_DOMAIN (recursive_selector_domain)
193 #define recursive_selector_NEWGEN_DOMAIN (recursive_selector_domain)
197 #define statement_cell_relations_domain (_gen_effects_start+19)
198 #if !defined(_newgen_statement_cell_relations_domain_defined_)
199 #define _newgen_statement_cell_relations_domain_defined_
200 #define STATEMENT_CELL_RELATIONS_NEWGEN_DOMAIN (statement_cell_relations_domain)
201 #define statement_cell_relations_NEWGEN_DOMAIN (statement_cell_relations_domain)
205 #define statement_effects_domain (_gen_effects_start+20)
206 #if !defined(_newgen_statement_effects_domain_defined_)
207 #define _newgen_statement_effects_domain_defined_
208 #define STATEMENT_EFFECTS_NEWGEN_DOMAIN (statement_effects_domain)
209 #define statement_effects_NEWGEN_DOMAIN (statement_effects_domain)
216 #define ACTION_KIND(x) ((action_kind)((x).p))
217 #define action_kind_CAST(x) ACTION_KIND(x)
218 #define ACTION_KIND_CAST(x) ACTION_KIND(x)
219 #define ACTION_KIND_(x) ((x).e)
220 #define ACTION_KIND_TYPE action_kind
221 #define action_kind_TYPE action_kind
222 #define action_kind_undefined ((action_kind)gen_chunk_undefined)
223 #define action_kind_undefined_p(x) ((x)==action_kind_undefined)
230 #define gen_ACTION_KIND_cons gen_action_kind_cons
257 #define action_kind_domain_number(x) ((x)->_type_)
258 #define action_kind_tag(x) ((x)->_action_kind_tag__)
259 #define action_kind_store_p(x) (action_kind_tag(x)==is_action_kind_store)
260 #define action_kind_store_(x) action_kind_store(x)
261 #define action_kind_store(x) ((x)->_action_kind_union_._action_kind_store_.u)
262 #define action_kind_environment_p(x) (action_kind_tag(x)==is_action_kind_environment)
263 #define action_kind_environment_(x) action_kind_environment(x)
264 #define action_kind_environment(x) ((x)->_action_kind_union_._action_kind_environment_.u)
265 #define action_kind_type_declaration_p(x) (action_kind_tag(x)==is_action_kind_type_declaration)
266 #define action_kind_type_declaration_(x) action_kind_type_declaration(x)
267 #define action_kind_type_declaration(x) ((x)->_action_kind_union_._action_kind_type_declaration_.u)
271 #define ACTION(x) ((action)((x).p))
272 #define action_CAST(x) ACTION(x)
273 #define ACTION_CAST(x) ACTION(x)
274 #define ACTION_(x) ((x).e)
275 #define ACTION_TYPE action
276 #define action_TYPE action
277 #define action_undefined ((action)gen_chunk_undefined)
278 #define action_undefined_p(x) ((x)==action_undefined)
285 #define gen_ACTION_cons gen_action_cons
309 #define action_domain_number(x) ((x)->_type_)
310 #define action_tag(x) ((x)->_action_tag__)
311 #define action_read_p(x) (action_tag(x)==is_action_read)
312 #define action_read_(x) action_read(x)
313 #define action_read(x) ((x)->_action_union_._action_read_)
314 #define action_write_p(x) (action_tag(x)==is_action_write)
315 #define action_write_(x) action_write(x)
316 #define action_write(x) ((x)->_action_union_._action_write_)
320 #define APPROXIMATION(x) ((approximation)((x).p))
321 #define approximation_CAST(x) APPROXIMATION(x)
322 #define APPROXIMATION_CAST(x) APPROXIMATION(x)
323 #define APPROXIMATION_(x) ((x).e)
324 #define APPROXIMATION_TYPE approximation
325 #define approximation_TYPE approximation
326 #define approximation_undefined ((approximation)gen_chunk_undefined)
327 #define approximation_undefined_p(x) ((x)==approximation_undefined)
334 #define gen_APPROXIMATION_cons gen_approximation_cons
361 #define approximation_domain_number(x) ((x)->_type_)
362 #define approximation_tag(x) ((x)->_approximation_tag__)
363 #define approximation_may_p(x) (approximation_tag(x)==is_approximation_may)
364 #define approximation_may_(x) approximation_may(x)
365 #define approximation_may(x) ((x)->_approximation_union_._approximation_may_.u)
366 #define approximation_must_p(x) (approximation_tag(x)==is_approximation_must)
367 #define approximation_must_(x) approximation_must(x)
368 #define approximation_must(x) ((x)->_approximation_union_._approximation_must_.u)
369 #define approximation_exact_p(x) (approximation_tag(x)==is_approximation_exact)
370 #define approximation_exact_(x) approximation_exact(x)
371 #define approximation_exact(x) ((x)->_approximation_union_._approximation_exact_.u)
375 #define CELL_INTERPRETATION(x) ((cell_interpretation)((x).p))
376 #define cell_interpretation_CAST(x) CELL_INTERPRETATION(x)
377 #define CELL_INTERPRETATION_CAST(x) CELL_INTERPRETATION(x)
378 #define CELL_INTERPRETATION_(x) ((x).e)
379 #define CELL_INTERPRETATION_TYPE cell_interpretation
380 #define cell_interpretation_TYPE cell_interpretation
381 #define cell_interpretation_undefined ((cell_interpretation)gen_chunk_undefined)
382 #define cell_interpretation_undefined_p(x) ((x)==cell_interpretation_undefined)
389 #define gen_CELL_INTERPRETATION_cons gen_cell_interpretation_cons
413 #define cell_interpretation_domain_number(x) ((x)->_type_)
414 #define cell_interpretation_tag(x) ((x)->_cell_interpretation_tag__)
415 #define cell_interpretation_value_of_p(x) (cell_interpretation_tag(x)==is_cell_interpretation_value_of)
416 #define cell_interpretation_value_of_(x) cell_interpretation_value_of(x)
417 #define cell_interpretation_value_of(x) ((x)->_cell_interpretation_union_._cell_interpretation_value_of_.u)
418 #define cell_interpretation_address_of_p(x) (cell_interpretation_tag(x)==is_cell_interpretation_address_of)
419 #define cell_interpretation_address_of_(x) cell_interpretation_address_of(x)
420 #define cell_interpretation_address_of(x) ((x)->_cell_interpretation_union_._cell_interpretation_address_of_.u)
424 #define CELL(x) ((cell)((x).p))
425 #define cell_CAST(x) CELL(x)
426 #define CELL_CAST(x) CELL(x)
427 #define CELL_(x) ((x).e)
428 #define CELL_TYPE cell
429 #define cell_TYPE cell
430 #define cell_undefined ((cell)gen_chunk_undefined)
431 #define cell_undefined_p(x) ((x)==cell_undefined)
438 #define gen_CELL_cons gen_cell_cons
465 #define cell_domain_number(x) ((x)->_type_)
466 #define cell_tag(x) ((x)->_cell_tag__)
467 #define cell_reference_p(x) (cell_tag(x)==is_cell_reference)
468 #define cell_reference_(x) cell_reference(x)
469 #define cell_reference(x) ((x)->_cell_union_._cell_reference_)
470 #define cell_preference_p(x) (cell_tag(x)==is_cell_preference)
471 #define cell_preference_(x) cell_preference(x)
472 #define cell_preference(x) ((x)->_cell_union_._cell_preference_)
473 #define cell_gap_p(x) (cell_tag(x)==is_cell_gap)
474 #define cell_gap_(x) cell_gap(x)
475 #define cell_gap(x) ((x)->_cell_union_._cell_gap_)
479 #define CELL_RELATION(x) ((cell_relation)((x).p))
480 #define cell_relation_CAST(x) CELL_RELATION(x)
481 #define CELL_RELATION_CAST(x) CELL_RELATION(x)
482 #define CELL_RELATION_(x) ((x).e)
483 #define CELL_RELATION_TYPE cell_relation
484 #define cell_relation_TYPE cell_relation
485 #define cell_relation_undefined ((cell_relation)gen_chunk_undefined)
486 #define cell_relation_undefined_p(x) ((x)==cell_relation_undefined)
493 #define gen_CELL_RELATION_cons gen_cell_relation_cons
509 #define cell_relation_domain_number(x) ((x)->_type_)
510 #define cell_relation_first_(x) cell_relation_first(x)
511 #define cell_relation_first(x) ((x)->_cell_relation_first_)
512 #define cell_relation_second_(x) cell_relation_second(x)
513 #define cell_relation_second(x) ((x)->_cell_relation_second_)
514 #define cell_relation_approximation_(x) cell_relation_approximation(x)
515 #define cell_relation_approximation(x) ((x)->_cell_relation_approximation_)
516 #define cell_relation_descriptor_(x) cell_relation_descriptor(x)
517 #define cell_relation_descriptor(x) ((x)->_cell_relation_descriptor_)
521 #define CELL_RELATIONS(x) ((cell_relations)((x).p))
522 #define cell_relations_CAST(x) CELL_RELATIONS(x)
523 #define CELL_RELATIONS_CAST(x) CELL_RELATIONS(x)
524 #define CELL_RELATIONS_(x) ((x).e)
525 #define CELL_RELATIONS_TYPE cell_relations
526 #define cell_relations_TYPE cell_relations
527 #define cell_relations_undefined ((cell_relations)gen_chunk_undefined)
528 #define cell_relations_undefined_p(x) ((x)==cell_relations_undefined)
535 #define gen_CELL_RELATIONS_cons gen_cell_relations_cons
548 #define cell_relations_domain_number(x) ((x)->_type_)
549 #define cell_relations_list(x) ((x)->_cell_relations_holder_)
553 #define DESCRIPTOR(x) ((descriptor)((x).p))
554 #define descriptor_CAST(x) DESCRIPTOR(x)
555 #define DESCRIPTOR_CAST(x) DESCRIPTOR(x)
556 #define DESCRIPTOR_(x) ((x).e)
557 #define DESCRIPTOR_TYPE descriptor
558 #define descriptor_TYPE descriptor
559 #define descriptor_undefined ((descriptor)gen_chunk_undefined)
560 #define descriptor_undefined_p(x) ((x)==descriptor_undefined)
567 #define gen_DESCRIPTOR_cons gen_descriptor_cons
594 #define descriptor_domain_number(x) ((x)->_type_)
595 #define descriptor_tag(x) ((x)->_descriptor_tag__)
596 #define descriptor_convexunion_p(x) (descriptor_tag(x)==is_descriptor_convexunion)
597 #define descriptor_convexunion_(x) descriptor_convexunion(x)
598 #define descriptor_convexunion(x) ((x)->_descriptor_union_._descriptor_convexunion_)
599 #define descriptor_convex_p(x) (descriptor_tag(x)==is_descriptor_convex)
600 #define descriptor_convex_(x) descriptor_convex(x)
601 #define descriptor_convex(x) ((x)->_descriptor_union_._descriptor_convex_)
602 #define descriptor_none_p(x) (descriptor_tag(x)==is_descriptor_none)
603 #define descriptor_none_(x) descriptor_none(x)
604 #define descriptor_none(x) ((x)->_descriptor_union_._descriptor_none_.u)
608 #define EFFECT(x) ((effect)((x).p))
609 #define effect_CAST(x) EFFECT(x)
610 #define EFFECT_CAST(x) EFFECT(x)
611 #define EFFECT_(x) ((x).e)
612 #define EFFECT_TYPE effect
613 #define effect_TYPE effect
614 #define effect_undefined ((effect)gen_chunk_undefined)
615 #define effect_undefined_p(x) ((x)==effect_undefined)
622 #define gen_EFFECT_cons gen_effect_cons
638 #define effect_domain_number(x) ((x)->_type_)
639 #define effect_cell_(x) effect_cell(x)
640 #define effect_cell(x) ((x)->_effect_cell_)
641 #define effect_action_(x) effect_action(x)
642 #define effect_action(x) ((x)->_effect_action_)
643 #define effect_approximation_(x) effect_approximation(x)
644 #define effect_approximation(x) ((x)->_effect_approximation_)
645 #define effect_descriptor_(x) effect_descriptor(x)
646 #define effect_descriptor(x) ((x)->_effect_descriptor_)
650 #define EFFECTS_CLASSES(x) ((effects_classes)((x).p))
651 #define effects_classes_CAST(x) EFFECTS_CLASSES(x)
652 #define EFFECTS_CLASSES_CAST(x) EFFECTS_CLASSES(x)
653 #define EFFECTS_CLASSES_(x) ((x).e)
654 #define EFFECTS_CLASSES_TYPE effects_classes
655 #define effects_classes_TYPE effects_classes
656 #define effects_classes_undefined ((effects_classes)gen_chunk_undefined)
657 #define effects_classes_undefined_p(x) ((x)==effects_classes_undefined)
664 #define gen_EFFECTS_CLASSES_cons gen_effects_classes_cons
677 #define effects_classes_domain_number(x) ((x)->_type_)
678 #define effects_classes_classes(x) ((x)->_effects_classes_holder_)
682 #define EFFECTS(x) ((effects)((x).p))
683 #define effects_CAST(x) EFFECTS(x)
684 #define EFFECTS_CAST(x) EFFECTS(x)
685 #define EFFECTS_(x) ((x).e)
686 #define EFFECTS_TYPE effects
687 #define effects_TYPE effects
688 #define effects_undefined ((effects)gen_chunk_undefined)
689 #define effects_undefined_p(x) ((x)==effects_undefined)
696 #define gen_EFFECTS_cons gen_effects_cons
709 #define effects_domain_number(x) ((x)->_type_)
710 #define effects_effects(x) ((x)->_effects_holder_)
714 #define ENTITY_EFFECTS(x) ((entity_effects)((x).p))
715 #define entity_effects_CAST(x) ENTITY_EFFECTS(x)
716 #define ENTITY_EFFECTS_CAST(x) ENTITY_EFFECTS(x)
717 #define ENTITY_EFFECTS_(x) ((x).e)
718 #define ENTITY_EFFECTS_TYPE entity_effects
719 #define entity_effects_TYPE entity_effects
720 #define entity_effects_undefined ((entity_effects)gen_chunk_undefined)
721 #define entity_effects_undefined_p(x) ((x)==entity_effects_undefined)
728 #define gen_ENTITY_EFFECTS_cons gen_entity_effects_cons
741 #define entity_effects_domain_number(x) ((x)->_type_)
742 #define entity_effects_hash_table(x) ((x)->_entity_effects_holder_)
743 #define entity_effects_key_type entity
744 #define entity_effects_value_type effects
745 #define ENTITY_EFFECTS_MAP(k,v,c,f) FUNCTION_MAP(entity_effects,p,p,k,v,c,f)
746 #define ENTITY_EFFECTS_FOREACH(k,v,f) FUNCTION_FOREACH(entity_effects,p,p,k,v,f)
755 #define GAP(x) ((gap)((x).p))
756 #define gap_CAST(x) GAP(x)
757 #define GAP_CAST(x) GAP(x)
758 #define GAP_(x) ((x).e)
761 #define gap_undefined ((gap)gen_chunk_undefined)
762 #define gap_undefined_p(x) ((x)==gap_undefined)
769 #define gen_GAP_cons gen_gap_cons
783 #define gap_domain_number(x) ((x)->_type_)
784 #define gap_variable_(x) gap_variable(x)
785 #define gap_variable(x) ((x)->_gap_variable_)
786 #define gap_path_selectors_(x) gap_path_selectors(x)
787 #define gap_path_selectors(x) ((x)->_gap_path_selectors_)
791 #define INTERPRETED_CELL(x) ((interpreted_cell)((x).p))
792 #define interpreted_cell_CAST(x) INTERPRETED_CELL(x)
793 #define INTERPRETED_CELL_CAST(x) INTERPRETED_CELL(x)
794 #define INTERPRETED_CELL_(x) ((x).e)
795 #define INTERPRETED_CELL_TYPE interpreted_cell
796 #define interpreted_cell_TYPE interpreted_cell
797 #define interpreted_cell_undefined ((interpreted_cell)gen_chunk_undefined)
798 #define interpreted_cell_undefined_p(x) ((x)==interpreted_cell_undefined)
805 #define gen_INTERPRETED_CELL_cons gen_interpreted_cell_cons
819 #define interpreted_cell_domain_number(x) ((x)->_type_)
820 #define interpreted_cell_cell_(x) interpreted_cell_cell(x)
821 #define interpreted_cell_cell(x) ((x)->_interpreted_cell_cell_)
822 #define interpreted_cell_cell_interpretation_(x) interpreted_cell_cell_interpretation(x)
823 #define interpreted_cell_cell_interpretation(x) ((x)->_interpreted_cell_cell_interpretation_)
827 #define PATH_SELECTOR(x) ((path_selector)((x).p))
828 #define path_selector_CAST(x) PATH_SELECTOR(x)
829 #define PATH_SELECTOR_CAST(x) PATH_SELECTOR(x)
830 #define PATH_SELECTOR_(x) ((x).e)
831 #define PATH_SELECTOR_TYPE path_selector
832 #define path_selector_TYPE path_selector
833 #define path_selector_undefined ((path_selector)gen_chunk_undefined)
834 #define path_selector_undefined_p(x) ((x)==path_selector_undefined)
841 #define gen_PATH_SELECTOR_cons gen_path_selector_cons
865 #define path_selector_domain_number(x) ((x)->_type_)
866 #define path_selector_tag(x) ((x)->_path_selector_tag__)
867 #define path_selector_expression_p(x) (path_selector_tag(x)==is_path_selector_expression)
868 #define path_selector_expression_(x) path_selector_expression(x)
869 #define path_selector_expression(x) ((x)->_path_selector_union_._path_selector_expression_)
870 #define path_selector_recursive_selector_p(x) (path_selector_tag(x)==is_path_selector_recursive_selector)
871 #define path_selector_recursive_selector_(x) path_selector_recursive_selector(x)
872 #define path_selector_recursive_selector(x) ((x)->_path_selector_union_._path_selector_recursive_selector_)
876 #define PATH_SELECTORS(x) ((path_selectors)((x).p))
877 #define path_selectors_CAST(x) PATH_SELECTORS(x)
878 #define PATH_SELECTORS_CAST(x) PATH_SELECTORS(x)
879 #define PATH_SELECTORS_(x) ((x).e)
880 #define PATH_SELECTORS_TYPE path_selectors
881 #define path_selectors_TYPE path_selectors
882 #define path_selectors_undefined ((path_selectors)gen_chunk_undefined)
883 #define path_selectors_undefined_p(x) ((x)==path_selectors_undefined)
890 #define gen_PATH_SELECTORS_cons gen_path_selectors_cons
903 #define path_selectors_domain_number(x) ((x)->_type_)
904 #define path_selectors_path_selector(x) ((x)->_path_selectors_holder_)
908 #define PERSISTANT_EXPRESSION_TO_EFFECTS(x) ((persistant_expression_to_effects)((x).p))
909 #define persistant_expression_to_effects_CAST(x) PERSISTANT_EXPRESSION_TO_EFFECTS(x)
910 #define PERSISTANT_EXPRESSION_TO_EFFECTS_CAST(x) PERSISTANT_EXPRESSION_TO_EFFECTS(x)
911 #define PERSISTANT_EXPRESSION_TO_EFFECTS_(x) ((x).e)
912 #define PERSISTANT_EXPRESSION_TO_EFFECTS_TYPE persistant_expression_to_effects
913 #define persistant_expression_to_effects_TYPE persistant_expression_to_effects
914 #define persistant_expression_to_effects_undefined ((persistant_expression_to_effects)gen_chunk_undefined)
915 #define persistant_expression_to_effects_undefined_p(x) ((x)==persistant_expression_to_effects_undefined)
922 #define gen_PERSISTANT_EXPRESSION_TO_EFFECTS_cons gen_persistant_expression_to_effects_cons
935 #define persistant_expression_to_effects_domain_number(x) ((x)->_type_)
936 #define persistant_expression_to_effects_hash_table(x) ((x)->_persistant_expression_to_effects_holder_)
937 #define persistant_expression_to_effects_key_type expression
938 #define persistant_expression_to_effects_value_type effects
939 #define PERSISTANT_EXPRESSION_TO_EFFECTS_MAP(k,v,c,f) FUNCTION_MAP(persistant_expression_to_effects,p,p,k,v,c,f)
940 #define PERSISTANT_EXPRESSION_TO_EFFECTS_FOREACH(k,v,f) FUNCTION_FOREACH(persistant_expression_to_effects,p,p,k,v,f)
949 #define RECURSIVE_SELECTOR(x) ((recursive_selector)((x).p))
950 #define recursive_selector_CAST(x) RECURSIVE_SELECTOR(x)
951 #define RECURSIVE_SELECTOR_CAST(x) RECURSIVE_SELECTOR(x)
952 #define RECURSIVE_SELECTOR_(x) ((x).e)
953 #define RECURSIVE_SELECTOR_TYPE recursive_selector
954 #define recursive_selector_TYPE recursive_selector
955 #define recursive_selector_undefined ((recursive_selector)gen_chunk_undefined)
956 #define recursive_selector_undefined_p(x) ((x)==recursive_selector_undefined)
963 #define gen_RECURSIVE_SELECTOR_cons gen_recursive_selector_cons
977 #define recursive_selector_domain_number(x) ((x)->_type_)
978 #define recursive_selector_basis_(x) recursive_selector_basis(x)
979 #define recursive_selector_basis(x) ((x)->_recursive_selector_basis_)
980 #define recursive_selector_coefficient_(x) recursive_selector_coefficient(x)
981 #define recursive_selector_coefficient(x) ((x)->_recursive_selector_coefficient_)
985 #define STATEMENT_CELL_RELATIONS(x) ((statement_cell_relations)((x).p))
986 #define statement_cell_relations_CAST(x) STATEMENT_CELL_RELATIONS(x)
987 #define STATEMENT_CELL_RELATIONS_CAST(x) STATEMENT_CELL_RELATIONS(x)
988 #define STATEMENT_CELL_RELATIONS_(x) ((x).e)
989 #define STATEMENT_CELL_RELATIONS_TYPE statement_cell_relations
990 #define statement_cell_relations_TYPE statement_cell_relations
991 #define statement_cell_relations_undefined ((statement_cell_relations)gen_chunk_undefined)
992 #define statement_cell_relations_undefined_p(x) ((x)==statement_cell_relations_undefined)
999 #define gen_STATEMENT_CELL_RELATIONS_cons gen_statement_cell_relations_cons
1012 #define statement_cell_relations_domain_number(x) ((x)->_type_)
1013 #define statement_cell_relations_hash_table(x) ((x)->_statement_cell_relations_holder_)
1014 #define statement_cell_relations_key_type statement
1015 #define statement_cell_relations_value_type cell_relations
1016 #define STATEMENT_CELL_RELATIONS_MAP(k,v,c,f) FUNCTION_MAP(statement_cell_relations,p,p,k,v,c,f)
1017 #define STATEMENT_CELL_RELATIONS_FOREACH(k,v,f) FUNCTION_FOREACH(statement_cell_relations,p,p,k,v,f)
1026 #define STATEMENT_EFFECTS(x) ((statement_effects)((x).p))
1027 #define statement_effects_CAST(x) STATEMENT_EFFECTS(x)
1028 #define STATEMENT_EFFECTS_CAST(x) STATEMENT_EFFECTS(x)
1029 #define STATEMENT_EFFECTS_(x) ((x).e)
1030 #define STATEMENT_EFFECTS_TYPE statement_effects
1031 #define statement_effects_TYPE statement_effects
1032 #define statement_effects_undefined ((statement_effects)gen_chunk_undefined)
1033 #define statement_effects_undefined_p(x) ((x)==statement_effects_undefined)
1040 #define gen_STATEMENT_EFFECTS_cons gen_statement_effects_cons
1053 #define statement_effects_domain_number(x) ((x)->_type_)
1054 #define statement_effects_hash_table(x) ((x)->_statement_effects_holder_)
1055 #define statement_effects_key_type statement
1056 #define statement_effects_value_type effects
1057 #define STATEMENT_EFFECTS_MAP(k,v,c,f) FUNCTION_MAP(statement_effects,p,p,k,v,c,f)
1058 #define STATEMENT_EFFECTS_FOREACH(k,v,f) FUNCTION_FOREACH(statement_effects,p,p,k,v,f)
1065 #define effects_spec "\
1066 --NEWGEN-START 132\n\
1067 import entity from \"ri.newgen\";\n\
1068 import reference from \"ri.newgen\";\n\
1069 import preference from \"ri.newgen\";\n\
1070 import expression from \"ri.newgen\";\n\
1071 import statement from \"ri.newgen\";\n\
1072 external Psysteme;\n\
1073 action_kind = store:unit + environment:unit + type_declaration:unit;\n\
1074 action = read:action_kind + write:action_kind;\n\
1075 approximation = may:unit + must:unit + exact:unit;\n\
1076 cell_interpretation = value_of:unit + address_of:unit;\n\
1077 cell = reference:reference + preference:preference + gap:gap;\n\
1078 cell_relation = first:interpreted_cell x second:interpreted_cell x approximation:approximation x descriptor:descriptor;\n\
1079 cell_relations = list:cell_relation*;\n\
1080 descriptor = convexunion:Psysteme* + convex:Psysteme + none:unit;\n\
1081 effect = cell:cell x action:action x approximation:approximation x descriptor:descriptor;\n\
1082 effects_classes = classes:effects*;\n\
1083 effects = effects:effect*;\n\
1084 entity_effects = entity:entity -> effects:effects;\n\
1085 gap = variable:entity x path_selectors:path_selectors;\n\
1086 interpreted_cell = cell:cell x cell_interpretation:cell_interpretation;\n\
1087 path_selector = expression:expression + recursive_selector:recursive_selector;\n\
1088 path_selectors = path_selector:path_selector*;\n\
1089 persistant_expression_to_effects = persistant expression:expression -> effects:effects;\n\
1090 recursive_selector = basis:path_selectors* x coefficient:expression;\n\
1091 statement_cell_relations = persistant statement:statement -> cell_relations:cell_relations;\n\
1092 statement_effects = persistant statement:statement -> effects:effects;\n\
void write_entity_effects(FILE *, entity_effects)
path_selector make_path_selector(enum path_selector_utype, void *)
interpreted_cell check_interpreted_cell(interpreted_cell)
descriptor copy_descriptor(descriptor)
DESCRIPTOR.
path_selector make_path_selector_expression(expression)
void free_entity_effects(entity_effects)
void action_kind_non_recursive_free(action_kind)
approximation make_approximation_must(void)
void write_interpreted_cell(FILE *, interpreted_cell)
struct _newgen_struct_effect_ * effect
void effect_non_recursive_free(effect)
descriptor check_descriptor(descriptor)
action_kind read_action_kind(FILE *)
cell_relations read_cell_relations(FILE *)
persistant_expression_to_effects check_persistant_expression_to_effects(persistant_expression_to_effects)
void free_effects_classes(effects_classes)
action_kind make_action_kind_environment(void)
bool cell_relation_consistent_p(cell_relation)
path_selector copy_path_selector(path_selector)
PATH_SELECTOR.
cell make_cell_preference(preference)
bool bound_statement_effects_p(statement_effects, statement)
void write_statement_effects(FILE *, statement_effects)
void update_statement_effects(statement_effects, statement, effects)
void cell_assign_contents(cell, cell)
struct _newgen_struct_path_selectors_ * path_selectors
statement_cell_relations read_statement_cell_relations(FILE *)
void statement_effects_assign_contents(statement_effects, statement_effects)
list gen_cell_relations_cons(cell_relations, list)
cell copy_cell(cell)
CELL.
bool effects_classes_consistent_p(effects_classes)
bool effects_classes_defined_p(effects_classes)
@ is_path_selector_expression
@ is_path_selector_recursive_selector
struct _newgen_struct_reference_ * reference
struct _newgen_struct_approximation_ * approximation
effects copy_effects(effects)
EFFECTS.
list gen_approximation_cons(approximation, list)
cell_interpretation copy_cell_interpretation(cell_interpretation)
CELL_INTERPRETATION.
effects_classes read_effects_classes(FILE *)
cell_relations delete_statement_cell_relations(statement_cell_relations, statement)
void descriptor_assign_contents(descriptor, descriptor)
recursive_selector check_recursive_selector(recursive_selector)
bool cell_interpretation_defined_p(cell_interpretation)
string action_kind_tag_as_string(enum action_kind_utype)
effects apply_statement_effects(statement_effects, statement)
struct _newgen_struct_statement_ * statement
void free_cell_relations(cell_relations)
cell_relation read_cell_relation(FILE *)
bool cell_relations_defined_p(cell_relations)
action_kind make_action_kind_store(void)
struct _newgen_struct_effects_classes_ * effects_classes
bool interpreted_cell_consistent_p(interpreted_cell)
persistant_expression_to_effects copy_persistant_expression_to_effects(persistant_expression_to_effects)
PERSISTANT_EXPRESSION_TO_EFFECTS.
void action_non_recursive_free(action)
list gen_path_selectors_cons(path_selectors, list)
bool gap_consistent_p(gap)
void interpreted_cell_assign_contents(interpreted_cell, interpreted_cell)
void cell_non_recursive_free(cell)
void update_entity_effects(entity_effects, entity, effects)
string cell_interpretation_tag_as_string(enum cell_interpretation_utype)
void free_path_selector(path_selector)
bool persistant_expression_to_effects_consistent_p(persistant_expression_to_effects)
effect check_effect(effect)
void approximation_non_recursive_free(approximation)
void write_gap(FILE *, gap)
bool bound_statement_cell_relations_p(statement_cell_relations, statement)
path_selector read_path_selector(FILE *)
cell_relation copy_cell_relation(cell_relation)
CELL_RELATION.
effects delete_entity_effects(entity_effects, entity)
cell_interpretation read_cell_interpretation(FILE *)
bool descriptor_consistent_p(descriptor)
cell make_cell(enum cell_utype, void *)
void extend_statement_cell_relations(statement_cell_relations, statement, cell_relations)
action make_action_write(action_kind)
list gen_statement_effects_cons(statement_effects, list)
bool descriptor_defined_p(descriptor)
bool bound_entity_effects_p(entity_effects, entity)
interpreted_cell read_interpreted_cell(FILE *)
list gen_cell_relation_cons(cell_relation, list)
effects apply_entity_effects(entity_effects, entity)
bool action_kind_defined_p(action_kind)
struct _newgen_struct_cell_relation_ * cell_relation
descriptor read_descriptor(FILE *)
void free_effects(effects)
statement_effects read_statement_effects(FILE *)
void write_cell(FILE *, cell)
string action_tag_as_string(enum action_utype)
string path_selector_tag_as_string(enum path_selector_utype)
void write_action(FILE *, action)
void effects_classes_assign_contents(effects_classes, effects_classes)
list gen_persistant_expression_to_effects_cons(persistant_expression_to_effects, list)
action_kind make_action_kind_type_declaration(void)
bool action_defined_p(action)
cell make_cell_reference(reference)
bool effect_consistent_p(effect)
effects read_effects(FILE *)
cell_interpretation make_cell_interpretation_value_of(void)
@ is_action_kind_environment
@ is_action_kind_type_declaration
gap make_gap(entity, path_selectors)
bool action_consistent_p(action)
bool effect_defined_p(effect)
list gen_effects_classes_cons(effects_classes, list)
void effects_non_recursive_free(effects)
persistant_expression_to_effects make_persistant_expression_to_effects(void)
void interpreted_cell_non_recursive_free(interpreted_cell)
void write_persistant_expression_to_effects(FILE *, persistant_expression_to_effects)
bool entity_effects_consistent_p(entity_effects)
void write_effect(FILE *, effect)
recursive_selector make_recursive_selector(list, expression)
descriptor make_descriptor(enum descriptor_utype, void *)
void write_effects(FILE *, effects)
void statement_cell_relations_non_recursive_free(statement_cell_relations)
void path_selectors_assign_contents(path_selectors, path_selectors)
approximation check_approximation(approximation)
void update_statement_cell_relations(statement_cell_relations, statement, cell_relations)
list gen_gap_cons(gap, list)
struct _newgen_struct_gap_ * gap
effects check_effects(effects)
struct _newgen_struct_cell_ * cell
struct _newgen_struct_action_kind_ * action_kind
cell_relations apply_statement_cell_relations(statement_cell_relations, statement)
void write_effects_classes(FILE *, effects_classes)
recursive_selector copy_recursive_selector(recursive_selector)
RECURSIVE_SELECTOR.
string descriptor_tag_as_string(enum descriptor_utype)
string cell_tag_as_string(enum cell_utype)
void action_assign_contents(action, action)
path_selectors copy_path_selectors(path_selectors)
PATH_SELECTORS.
effects delete_statement_effects(statement_effects, statement)
cell_interpretation_utype
@ is_cell_interpretation_address_of
@ is_cell_interpretation_value_of
void write_path_selector(FILE *, path_selector)
interpreted_cell copy_interpreted_cell(interpreted_cell)
INTERPRETED_CELL.
cell_relations copy_cell_relations(cell_relations)
CELL_RELATIONS.
void persistant_expression_to_effects_non_recursive_free(persistant_expression_to_effects)
cell_interpretation make_cell_interpretation(enum cell_interpretation_utype, void *)
bool statement_cell_relations_consistent_p(statement_cell_relations)
void entity_effects_non_recursive_free(entity_effects)
bool action_kind_consistent_p(action_kind)
action check_action(action)
struct _newgen_struct_recursive_selector_ * recursive_selector
cell_relation make_cell_relation(interpreted_cell, interpreted_cell, approximation, descriptor)
void extend_persistant_expression_to_effects(persistant_expression_to_effects, expression, effects)
approximation copy_approximation(approximation)
APPROXIMATION.
list gen_recursive_selector_cons(recursive_selector, list)
cell_interpretation make_cell_interpretation_address_of(void)
void free_statement_cell_relations(statement_cell_relations)
approximation read_approximation(FILE *)
void action_kind_assign_contents(action_kind, action_kind)
void free_cell_relation(cell_relation)
void path_selector_assign_contents(path_selector, path_selector)
void extend_entity_effects(entity_effects, entity, effects)
action_kind check_action_kind(action_kind)
void free_interpreted_cell(interpreted_cell)
bool statement_effects_consistent_p(statement_effects)
bool statement_effects_defined_p(statement_effects)
struct _newgen_struct_cell_interpretation_ * cell_interpretation
recursive_selector read_recursive_selector(FILE *)
void cell_relation_non_recursive_free(cell_relation)
path_selector check_path_selector(path_selector)
void free_statement_effects(statement_effects)
list gen_entity_effects_cons(entity_effects, list)
cell_relations check_cell_relations(cell_relations)
void write_path_selectors(FILE *, path_selectors)
list gen_action_cons(action, list)
action read_action(FILE *)
statement_cell_relations copy_statement_cell_relations(statement_cell_relations)
STATEMENT_CELL_RELATIONS.
bool cell_relation_defined_p(cell_relation)
action copy_action(action)
ACTION.
void statement_cell_relations_assign_contents(statement_cell_relations, statement_cell_relations)
effect copy_effect(effect)
EFFECT.
void free_persistant_expression_to_effects(persistant_expression_to_effects)
struct _newgen_struct_persistant_expression_to_effects_ * persistant_expression_to_effects
void gap_non_recursive_free(gap)
void free_cell_interpretation(cell_interpretation)
void write_cell_relations(FILE *, cell_relations)
void free_path_selectors(path_selectors)
void effect_assign_contents(effect, effect)
approximation make_approximation_exact(void)
void cell_interpretation_assign_contents(cell_interpretation, cell_interpretation)
void recursive_selector_non_recursive_free(recursive_selector)
list gen_cell_cons(cell, list)
path_selectors check_path_selectors(path_selectors)
void effects_assign_contents(effects, effects)
void statement_effects_non_recursive_free(statement_effects)
list gen_cell_interpretation_cons(cell_interpretation, list)
bool interpreted_cell_defined_p(interpreted_cell)
bool effects_defined_p(effects)
bool cell_defined_p(cell)
struct _newgen_struct_effects_ * effects
list gen_effects_cons(effects, list)
struct _newgen_struct_action_ * action
void update_persistant_expression_to_effects(persistant_expression_to_effects, expression, effects)
void descriptor_non_recursive_free(descriptor)
bool cell_interpretation_consistent_p(cell_interpretation)
effects apply_persistant_expression_to_effects(persistant_expression_to_effects, expression)
action_kind make_action_kind(enum action_kind_utype, void *)
entity_effects copy_entity_effects(entity_effects)
ENTITY_EFFECTS.
void recursive_selector_assign_contents(recursive_selector, recursive_selector)
bool bound_persistant_expression_to_effects_p(persistant_expression_to_effects, expression)
approximation make_approximation_may(void)
void path_selectors_non_recursive_free(path_selectors)
bool entity_effects_defined_p(entity_effects)
bool cell_relations_consistent_p(cell_relations)
struct _newgen_struct_path_selector_ * path_selector
path_selector make_path_selector_recursive_selector(recursive_selector)
effect make_effect(cell, action, approximation, descriptor)
path_selectors make_path_selectors(list)
void extend_statement_effects(statement_effects, statement, effects)
void write_approximation(FILE *, approximation)
list gen_path_selector_cons(path_selector, list)
void free_recursive_selector(recursive_selector)
list gen_effect_cons(effect, list)
bool statement_cell_relations_defined_p(statement_cell_relations)
action make_action(enum action_utype, void *)
list gen_action_kind_cons(action_kind, list)
bool recursive_selector_defined_p(recursive_selector)
void cell_relation_assign_contents(cell_relation, cell_relation)
void free_approximation(approximation)
struct _newgen_struct_statement_effects_ * statement_effects
list gen_interpreted_cell_cons(interpreted_cell, list)
effects_classes copy_effects_classes(effects_classes)
EFFECTS_CLASSES.
struct _newgen_struct_expression_ * expression
statement_effects copy_statement_effects(statement_effects)
STATEMENT_EFFECTS.
string approximation_tag_as_string(enum approximation_utype)
@ is_descriptor_convexunion
bool approximation_consistent_p(approximation)
void path_selector_non_recursive_free(path_selector)
descriptor make_descriptor_none(void)
bool effects_consistent_p(effects)
cell_relations make_cell_relations(list)
void entity_effects_assign_contents(entity_effects, entity_effects)
effects_classes make_effects_classes(list)
action make_action_read(action_kind)
list gen_statement_cell_relations_cons(statement_cell_relations, list)
bool recursive_selector_consistent_p(recursive_selector)
void free_action_kind(action_kind)
bool approximation_defined_p(approximation)
void cell_interpretation_non_recursive_free(cell_interpretation)
void write_cell_interpretation(FILE *, cell_interpretation)
void effects_classes_non_recursive_free(effects_classes)
path_selectors read_path_selectors(FILE *)
bool path_selector_consistent_p(path_selector)
approximation make_approximation(enum approximation_utype, void *)
effect read_effect(FILE *)
list gen_descriptor_cons(descriptor, list)
struct _newgen_struct_descriptor_ * descriptor
struct _newgen_struct_entity_effects_ * entity_effects
action_kind copy_action_kind(action_kind)
ACTION_KIND.
effects_classes check_effects_classes(effects_classes)
entity_effects check_entity_effects(entity_effects)
struct _newgen_struct_entity_ * entity
entity_effects make_entity_effects(void)
void write_action_kind(FILE *, action_kind)
persistant_expression_to_effects read_persistant_expression_to_effects(FILE *)
struct _newgen_struct_cell_relations_ * cell_relations
void cell_relations_assign_contents(cell_relations, cell_relations)
void write_statement_cell_relations(FILE *, statement_cell_relations)
void approximation_assign_contents(approximation, approximation)
statement_cell_relations check_statement_cell_relations(statement_cell_relations)
entity_effects read_entity_effects(FILE *)
effects delete_persistant_expression_to_effects(persistant_expression_to_effects, expression)
void write_descriptor(FILE *, descriptor)
cell_relation check_cell_relation(cell_relation)
bool path_selectors_consistent_p(path_selectors)
void persistant_expression_to_effects_assign_contents(persistant_expression_to_effects, persistant_expression_to_effects)
void cell_relations_non_recursive_free(cell_relations)
cell_interpretation check_cell_interpretation(cell_interpretation)
effects make_effects(list)
descriptor make_descriptor_convexunion(list)
bool path_selector_defined_p(path_selector)
void write_cell_relation(FILE *, cell_relation)
void write_recursive_selector(FILE *, recursive_selector)
statement_effects make_statement_effects(void)
struct _newgen_struct_statement_cell_relations_ * statement_cell_relations
statement_cell_relations make_statement_cell_relations(void)
descriptor make_descriptor_convex(Psysteme)
struct _newgen_struct_interpreted_cell_ * interpreted_cell
void free_descriptor(descriptor)
struct _newgen_struct_preference_ * preference
interpreted_cell make_interpreted_cell(cell, cell_interpretation)
bool cell_consistent_p(cell)
bool persistant_expression_to_effects_defined_p(persistant_expression_to_effects)
void gap_assign_contents(gap, gap)
bool path_selectors_defined_p(path_selectors)
statement_effects check_statement_effects(statement_effects)
union _newgen_struct_action_::@47 _action_union_
enum action_utype _action_tag__
action_kind _action_write_
read:action_kind
action_kind _action_read_
gen_chunk _action_kind_type_declaration_
environment:unit
union _newgen_struct_action_kind_::@46 _action_kind_union_
gen_chunk _action_kind_environment_
store:unit
gen_chunk _action_kind_store_
enum action_kind_utype _action_kind_tag__
union _newgen_struct_approximation_::@48 _approximation_union_
enum approximation_utype _approximation_tag__
gen_chunk _approximation_exact_
must:unit
gen_chunk _approximation_may_
gen_chunk _approximation_must_
may:unit
preference _cell_preference_
reference:reference
enum cell_utype _cell_tag__
union _newgen_struct_cell_::@50 _cell_union_
gap _cell_gap_
preference:preference
reference _cell_reference_
gen_chunk _cell_interpretation_value_of_
union _newgen_struct_cell_interpretation_::@49 _cell_interpretation_union_
enum cell_interpretation_utype _cell_interpretation_tag__
gen_chunk _cell_interpretation_address_of_
value_of:unit
approximation _cell_relation_approximation_
second:interpreted_cell
interpreted_cell _cell_relation_second_
first:interpreted_cell
descriptor _cell_relation_descriptor_
approximation:approximation
interpreted_cell _cell_relation_first_
list _cell_relations_holder_
gen_chunk _descriptor_none_
convex:Psysteme
union _newgen_struct_descriptor_::@51 _descriptor_union_
list _descriptor_convexunion_
enum descriptor_utype _descriptor_tag__
Psysteme _descriptor_convex_
convexunion:Psysteme*
action _effect_action_
cell:cell
descriptor _effect_descriptor_
approximation:approximation
approximation _effect_approximation_
action:action
list _effects_classes_holder_
hash_table _entity_effects_holder_
path_selectors _gap_path_selectors_
variable:entity
cell_interpretation _interpreted_cell_cell_interpretation_
cell:cell
cell _interpreted_cell_cell_
enum path_selector_utype _path_selector_tag__
expression _path_selector_expression_
union _newgen_struct_path_selector_::@52 _path_selector_union_
recursive_selector _path_selector_recursive_selector_
expression:expression
list _path_selectors_holder_
hash_table _persistant_expression_to_effects_holder_
list _recursive_selector_basis_
expression _recursive_selector_coefficient_
basis:path_selectors*
hash_table _statement_cell_relations_holder_
hash_table _statement_effects_holder_
The structure used to build lists in NewGen.
A gen_chunk is used to store every object.