Here is a list of all documented namespace typedefs with links to the namespaces they belong to:

atomic_prop_set : spot
cspins_state : spot
cube : spot
edge_filter : spot
ltsmin_kripkecube_ptr : spot
one_parse_error : spot
parse_aut_error : spot
parse_aut_error_list : spot
parse_error_list : spot
process_timer : spot
product_states : spot
shared_state_set : spot
state_map : spot
state_set : spot
string_hash : spot