Initial version of donated sources by Avertec, 3.4p5.
[tas-yagle.git] / distrib / sources / beh / beh / beh_addbeder.c
1
2 /* ###--------------------------------------------------------------### */
3 /* file : beh_addbeder.c */
4 /* date : Mar 17 1995 */
5 /* version : v109 */
6 /* authors : Laurent VUILLEMIN */
7 /* content : low-level function */
8 /* ###--------------------------------------------------------------### */
9
10 #include <stdio.h>
11 #include MUT_H
12 #include LOG_H
13 #include BEH_H
14
15 /* ###--------------------------------------------------------------### */
16 /* function : beh_addbeder */
17 /* description : create a BEDER structure at the top of the list */
18 /* called func. : mbkalloc */
19 /* ###--------------------------------------------------------------### */
20
21 beder_list *beh_addbeder (last_beder, bdd_expr, index)
22
23 beder_list *last_beder;
24 pNode bdd_expr ;
25 short index ;
26
27 {
28 struct beder *ptder;
29
30 ptder = (struct beder *) mbkalloc (sizeof(struct beder));
31
32 ptder->BDD = bdd_expr ;
33 ptder->INDEX = index ;
34 ptder->NEXT = last_beder;
35
36 return (ptder);
37 }