Here is a list of all typedefs with links to the classes they belong to:

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

- 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 >, small_shared_n_way_ptrt< Ts >