- i -

• if() : calUtil.c
• impliedp() : cuddEssent.c
• increfs() : bddreorder.c
• index_cmp() : bddsat.c
• IndexCmp() : calBddSatisfy.c
• init_graph() : com_graph.c
• init_size_array() : var_set.c
• initSymmInfo() : cuddExact.c
• integer_get_num_of_digits() : mdd_init.c
• InvalidType() : cuPort.c , calPort.c
• IsInfDouble() : epd.h , epd.c
• IsNanDouble() : epd.c , epd.h
• IsNanOrInfDouble() : epd.c , epd.h