- u -

• UAbuildSubset() : cuddApprox.c
• UAmarkNodes() : cuddApprox.c
• ultoa() : stdlib_hack.h
• unate_compl() : espresso.h , unate.c
• unate_complement() : espresso.h , unate.c
• unate_intersect() : espresso.h , unate.c
• uncof_output() : cvrm.c , espresso.h
• undefine_cube_size() : cubehack.c
• unravel() : cvrm.c , espresso.h
• unravel_range() : espresso.h , cvrm.c
• updateEntry() : cuddExact.c
• updateParity() : cuddApprox.c
• updateRefs() : cuddApprox.c
• updateUB() : cuddExact.c
• usage() : main.c , testcudd.c
• util_getopt() : espresso.h