PIPS
effects-simple-local.h
Go to the documentation of this file.
1
/*
2
3
$Id: effects-simple-local.h 23065 2016-03-02 09:05:50Z coelho $
4
5
Copyright 1989-2016 MINES ParisTech
6
7
This file is part of PIPS.
8
9
PIPS is free software: you can redistribute it and/or modify it
10
under the terms of the GNU General Public License as published by
11
the Free Software Foundation, either version 3 of the License, or
12
any later version.
13
14
PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
15
WARRANTY; without even the implied warranty of MERCHANTABILITY or
16
FITNESS FOR A PARTICULAR PURPOSE.
17
18
See the GNU General Public License for more details.
19
20
You should have received a copy of the GNU General Public License
21
along with PIPS. If not, see <http://www.gnu.org/licenses/>.
22
23
*/
24
25
/* actions interpretation for simple effects prettyprinting */
26
typedef
enum
{
act_rw
,
act_inout
,
act_live_in
,
act_live_out
}
27
simple_effects_actions_interpretations
;
28
29
/* copies an effect with no subcript expression */
30
#define make_sdfi_effect(e) \
31
(reference_indices(effect_any_reference(e)) == NIL) ? \
32
make_simple_effect(make_reference(reference_variable(effect_any_reference(e)), NIL),\
33
copy_action(effect_action(e)), \
34
make_approximation(approximation_tag(effect_approximation(e)), UU)) : \
35
make_simple_effect(make_reference(reference_variable(effect_any_reference(e)), NIL), \
36
copy_action(effect_action(e)), \
37
make_approximation(is_approximation_may, UU))
simple_effects_actions_interpretations
simple_effects_actions_interpretations
actions interpretation for simple effects prettyprinting
Definition:
effects-simple-local.h:26
act_inout
@ act_inout
Definition:
effects-simple-local.h:26
act_live_out
@ act_live_out
Definition:
effects-simple-local.h:26
act_rw
@ act_rw
Definition:
effects-simple-local.h:26
act_live_in
@ act_live_in
Definition:
effects-simple-local.h:26
pips
src
Libs
effects-simple
effects-simple-local.h
Generated on Thu Sep 26 2024 22:11:37 for PIPS by
1.9.1