Go to the source code of this file.
Functions | |
ptr_int_list | appendIntList (ptr_int_list tail, ptr_int_list more) |
void | mark_ancestors (ptr_definition def, long *flags) |
static long | bfs (ptr_definition p, ptr_int_list ans, ptr_int_list pattern, long *flags) |
static ptr_int_list | makeUnitList (ptr_definition x) |
ptr_int_list | lub (ptr_psi_term a, ptr_psi_term b, ptr_psi_term *pp) |
ptr_int_list appendIntList | ( | ptr_int_list | tail, |
ptr_int_list | more | ||
) |
Definition at line 28 of file lub.c.
References wl_int_list::next, NULL, STACK_ALLOC, and wl_int_list::value_1.
|
static |
Definition at line 66 of file lub.c.
References appendIntList(), assert, bit_length(), built_in, mark_ancestors(), wl_int_list::next, NULL, or_codes(), STACK_ALLOC, sub_CodeType(), top, and wl_int_list::value_1.
ptr_int_list lub | ( | ptr_psi_term | a, |
ptr_psi_term | b, | ||
ptr_psi_term * | pp | ||
) |
Definition at line 150 of file lub.c.
References bfs(), wl_definition::code, copyTypeCode(), decode(), isSubTypeValue(), isValue(), makeUnitList(), NULL, or_codes(), stack_alloc(), sub_type(), top, wl_psi_term::type, and type_count.
|
static |
Definition at line 132 of file lub.c.
References wl_int_list::next, NULL, STACK_ALLOC, and wl_int_list::value_1.
void mark_ancestors | ( | ptr_definition | def, |
long * | flags | ||
) |
Definition at line 45 of file lub.c.
References bit_length(), wl_definition::code, wl_int_list::next, and wl_int_list::value_1.