- u -

• u2_valuest : java_bytecode_parse_treet::classt
• underlying_mapt : lazy_goto_functions_mapt
• underlyingt : sparse_vectort< T >
• uninitializedt : uninitialized_domaint
• use_countt : sharing_nodet< keyT, valueT, equalT >