effects-simple-local.h File Reference

Go to the source code of this file.

Macros
#define	make_sdfi_effect(e)
	copies an effect with no subcript expression More...

Enumerations
enum	simple_effects_actions_interpretations {   act_rw , act_inout , act_live_in , act_live_out ,   act_rw , act_inout , act_live_in , act_live_out }
	actions interpretation for simple effects prettyprinting More...

Macro Definition Documentation

make_sdfi_effect

#define make_sdfi_effect

(

e

)

Value:

 (reference_indices(effect_any_reference(e)) == NIL) ? \
  make_simple_effect(make_reference(reference_variable(effect_any_reference(e)), NIL),\
     copy_action(effect_action(e)), \
     make_approximation(approximation_tag(effect_approximation(e)), UU)) : \
  make_simple_effect(make_reference(reference_variable(effect_any_reference(e)), NIL), \
              copy_action(effect_action(e)), \
              make_approximation(is_approximation_may, UU))

copies an effect with no subcript expression

Definition at line 30 of file effects-simple-local.h.

Enumeration Type Documentation

simple_effects_actions_interpretations

enum simple_effects_actions_interpretations

actions interpretation for simple effects prettyprinting

Enumerator
act_rw
act_inout
act_live_in
act_live_out
act_rw
act_inout
act_live_in
act_live_out

Definition at line 26 of file effects-simple-local.h.

{act_rw, act_inout, act_live_in, act_live_out}