PIPS
|
Go to the source code of this file.
#define debug_print_region | ( | level, | |
message, | |||
region | |||
) | ifdebug(level) { pips_debug(level, "%s\n", message); print_region(region);} |
convenient debug messages
Definition at line 94 of file effects-convex-local.h.
#define debug_region_consistency | ( | reg | ) | ifdebug(1){region_consistent_p(reg);} |
Definition at line 90 of file effects-convex-local.h.
#define debug_regions_consistency | ( | l_reg | ) | ifdebug(1){regions_consistent_p(l_reg);} |
consistency checking
Definition at line 88 of file effects-convex-local.h.
#define effect_region_p | ( | e | ) | (descriptor_convex_p(effect_descriptor(e))) |
Definition at line 85 of file effects-convex-local.h.
#define gen_REGION_cons gen_effect_cons |
Definition at line 34 of file effects-convex-local.h.
#define gen_region_cons gen_effect_cons |
Definition at line 35 of file effects-convex-local.h.
#define make_region | ( | reference, | |
action, | |||
approximation, | |||
system | |||
) |
Definition at line 39 of file effects-convex-local.h.
#define NB_MAX_ARRAY_DIM 12 |
Definition at line 113 of file effects-convex-local.h.
#define R_IN 1 |
Definition at line 102 of file effects-convex-local.h.
#define R_OUT 2 |
Definition at line 103 of file effects-convex-local.h.
#define R_RW 0 |
other things
Definition at line 101 of file effects-convex-local.h.
#define region effect |
simulation of the type region
Definition at line 27 of file effects-convex-local.h.
#define REGION EFFECT /**for casts */ |
Definition at line 28 of file effects-convex-local.h.
#define REGION_ EFFECT_ /**for some left casts */ |
Definition at line 31 of file effects-convex-local.h.
#define region_action | ( | reg | ) | effect_action(reg) |
Definition at line 58 of file effects-convex-local.h.
#define region_action_tag | ( | reg | ) | action_tag(effect_action(reg)) |
Definition at line 64 of file effects-convex-local.h.
#define region_any_reference | ( | reg | ) | (cell_preference_p(effect_cell(reg)) ? preference_reference(cell_preference(effect_cell(reg))) : cell_reference(effect_cell(reg))) |
To be avoided.
Use region_any_reference() instead. I definitely remove this one : it is too dangerous. BC. FC: it should not compile, rather than compile and fail???
Definition at line 56 of file effects-convex-local.h.
#define region_approximation | ( | reg | ) | effect_approximation(reg) |
Definition at line 59 of file effects-convex-local.h.
#define region_approximation_tag | ( | reg | ) | approximation_tag(effect_approximation(reg)) |
Definition at line 65 of file effects-convex-local.h.
#define region_CAST REGION_CAST |
Definition at line 29 of file effects-convex-local.h.
Definition at line 30 of file effects-convex-local.h.
#define region_cell | ( | reg | ) | effect_cell(reg) |
Definition at line 61 of file effects-convex-local.h.
#define region_context | ( | reg | ) | effect_context(reg) |
Definition at line 60 of file effects-convex-local.h.
#define region_empty_p | ( | reg | ) | sc_empty_p(region_system(reg)) |
Definition at line 82 of file effects-convex-local.h.
#define region_entity | ( | reg | ) | reference_variable(region_any_reference(reg)) |
Definition at line 63 of file effects-convex-local.h.
#define region_exact_p | ( | reg | ) | (approximation_tag(effect_approximation(reg)) == is_approximation_exact) |
Definition at line 80 of file effects-convex-local.h.
#define region_may_p | ( | reg | ) | (approximation_tag(effect_approximation(reg)) == is_approximation_may) |
Definition at line 76 of file effects-convex-local.h.
#define region_must_p | ( | reg | ) | (approximation_tag(effect_approximation(reg)) == is_approximation_must) |
Definition at line 78 of file effects-convex-local.h.
#define REGION_NEWGEN_DOMAIN EFFECT_NEWGEN_DOMAIN |
Definition at line 33 of file effects-convex-local.h.
#define region_read_p | ( | reg | ) | (action_tag(effect_action(reg))==is_action_read) |
useful region macros
Definition at line 74 of file effects-convex-local.h.
#define region_rn_p | ( | reg | ) | sc_rn_p(region_system(reg)) |
Definition at line 83 of file effects-convex-local.h.
#define region_scalar_p | ( | reg | ) | (anywhere_effect_p(reg) || entity_scalar_p(region_entity(reg))) |
Definition at line 84 of file effects-convex-local.h.
#define region_system | ( | reg | ) | descriptor_convex(effect_descriptor(reg)) |
Definition at line 69 of file effects-convex-local.h.
#define region_system_ | ( | reg | ) | descriptor_convex_(effect_descriptor(reg)) |
Definition at line 67 of file effects-convex-local.h.
#define REGION_TYPE EFFECT_TYPE |
Definition at line 32 of file effects-convex-local.h.
#define region_undefined effect_undefined |
Definition at line 37 of file effects-convex-local.h.
#define region_undefined_p | ( | reg | ) | effect_undefined_p((reg)) |
Definition at line 38 of file effects-convex-local.h.
#define region_write_p | ( | reg | ) | (action_tag(effect_action(reg))==is_action_write) |
Definition at line 75 of file effects-convex-local.h.
#define SEQUENTIAL_IN_REGION_SUFFIX ".inreg" |
Definition at line 108 of file effects-convex-local.h.
#define SEQUENTIAL_OUT_REGION_SUFFIX ".outreg" |
Definition at line 110 of file effects-convex-local.h.
#define SEQUENTIAL_PROPER_REGION_SUFFIX ".preg" |
Definition at line 106 of file effects-convex-local.h.
#define SEQUENTIAL_REGION_SUFFIX ".reg" |
Definition at line 105 of file effects-convex-local.h.
#define USER_IN_REGION_SUFFIX ".uinreg" |
Definition at line 109 of file effects-convex-local.h.
#define USER_OUT_REGION_SUFFIX ".uoutreg" |
Definition at line 111 of file effects-convex-local.h.
#define USER_REGION_SUFFIX ".ureg" |
Definition at line 107 of file effects-convex-local.h.