1
2
3
4
5
6
7
8
9
10
11
12
13
|
extern void RedirectResultAndReturn (int asp,int bsp,int aindex,int bindex,
StateS offstate,StateS demstate,int offasize,int offbsize);
extern int CodeRhsNodeDefs
(Node root_node,NodeDefs defs,int asp,int bsp,struct saved_nid_state **then_or_else,StateS resultstate,struct esc *esc_p,
struct node_id_list_element *a_node_ids,struct node_id_list_element *b_node_ids,
struct node_id_list_element *free_node_ids,int doesnt_fail);
struct saved_node_id_ref_counts* save_lhs_node_id_ref_counts (NodeP node_p,struct saved_node_id_ref_counts *snir_p);
struct saved_node_id_ref_counts* save_rhs_node_id_ref_counts (NodeP node_p,NodeDefP node_defs,
struct saved_node_id_ref_counts *snir_p,struct saved_case_node_id_ref_counts ***scnirc_h);
void restore_node_id_ref_counts (struct saved_node_id_ref_counts *snir_p,struct saved_case_node_id_ref_counts *scnirc_p);
|
