Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- u -

• UAbuildSubset() : cuddApprox.c
• UAmarkNodes() : cuddApprox.c
• uint16 : extra.h
• uint32 : extra.h
• uint64 : extra.h
• uint8 : extra.h
• 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
• UNDERSCORE : extraBddKmap.c
• UNDETERMINED : csat_apis.h
• Unit_IsConstant : reo.h
• Unit_Not : reo.h
• Unit_NotCond : reo.h
• Unit_Regular : reo.h
• unravel() : cvrm.c , espresso.h
• unravel_range() : cvrm.c , espresso.h
• UNSATISFIABLE : csat_apis.h
• unwrap_onset : espresso.h , globals.c
• updateEntry() : cuddExact.c
• updateParity() : cuddApprox.c
• updateRefs() : cuddApprox.c
• updateUB() : cuddExact.c
• usage() : main.c , testcudd.c
• USE_COMPL_LIFT : compl.c
• USE_COMPL_LIFT_ONSET : compl.c
• USE_COMPL_LIFT_ONSET_COMPLEX : compl.c
• USE_GIMPEL : mincov.c
• USE_INDEP_SET : mincov.c
• use_random_order : globals.c , espresso.h
• use_super_gasp : globals.c , espresso.h
• util_cpu_time : util_hack.h
• util_file_search : util_hack.h
• util_getopt : util_hack.h , espresso.h
• util_getopt_reset : util_hack.h
• util_optarg : util_hack.h , util_old.h
• util_optind : util_hack.h , util_old.h
• util_print_time : util_hack.h
• util_strsav : util_hack.h
• util_tilde_expand : util_hack.h