- a -

• allValid : calUtil.c
• array_global_index : array.c , array.h
• array_global_insert : array.c , array.h
• asDoubleSpace : calTest.c , calBddReorderTest.c
• aux_vars : testbdd.c
• avail : memblock.c , calMem.c