FUNBEAUX(3)

NAME

beh_addbeaux , beh_delbeaux , beh_rmvbeaux , beh_frebeaux

SYNOPSYS

struct beaux *beh_addbeaux (list, name, abl, bdd)
struct beaux *list;
char *name;
struct chain *abl;
struct node *bdd;
struct beaux *beh_delbeaux (list, pnt, mode)
struct beaux *list;
struct beaux *pnt;
char mode;
struct beaux *beh_rmvbeaux (list, name, mode)
struct beaux *list;
char *name;
char mode;
void beh_frebeaux (list)
struct beaux *list;

PARAMETERS

list
    pointer of a list of beaux structures

name
    name of the simple internal signal to be added to or removed from the list

abl the abl representing the expression of the simple internal signal

bdd the bdd representing the expression of the simple internal signal

pnt pointer of the beaux structure to be removed from the list

mode
    recursive mode (Y or N)

DESCRIPTION

A beaux is a data structure representing a one-bit simple internal signal.

beh_addbeaux() adds a beaux structure at the top of a list of beaux structures. The name registred in the beaux structure is produced by namealloc(). The function returns the pointer of the new list. No checks are made by this function.

beh_delbeaux() deletes a beaux structure (pointed by pnt) from a list of beaux structures. The function returns the pointer of the new list. No action is made if the structure pointed by pnt doesn't belong to the list. If mode is set to 'Y' all objects (abl) pointed by the beaux will also be removed. If mode is set to 'N' and there is any object (abl) pointed by the beaux a warning message is printed on the standard error output.

beh_rmvbeaux() deletes a beaux structure (named name) from a list of beaux structures. name is supposed to be produced by namealloc(). The function returns the pointer of the new list. No action is made if the structure named by name doesn't belong to the list. If mode is set to 'Y' all objects (abl) pointed by the beaux will also be removed. If mode is set to 'N' and there is any object (abl) pointed by the beaux a warning message is printed on the standard error output.

beh_frebeaux() deletes a list of beaux structures (pointed by list) and all objects (abl) pointed by any beaux structure of the list. No action is made if list is an empty list (NULL pointer). No checks are made by this function.

EXAMPLE

#include <beh108.h>
struct beaux *list;
char *name;
name = namealloc ("carry_3");
list = beh_addbeaux (list,"carry_2", NULL, NULL);
list = beh_rmvbeaux (list,name);

SEE ALSO

beh(3), log(1), beaux(3), namealloc(3)