- a -

• abstraction_ptr_t : ilasynth

- b -

• BitvectorChoice : ilasynth
• BoolChoice : ilasynth

- d -

• dtree_ptr_t : ilasynth

- h -

• hcptr_t : ilasynth
• hlptr_t : ilasynth
• hvptr_t : ilasynth

- m -

• mem_write_entry_list_stack_t : ilasynth
• mem_write_entry_list_t : ilasynth
• mem_write_list_t : ilasynth
• MemChoice : ilasynth
• mp_int_t : ilasynth

- n -

• nmap_t : ilasynth
• nodeset_t : ilasynth
• nodevec_t : ilasynth
• nptr_t : ilasynth
• nptr_vec_t : ilasynth

- r -

• rwmap_t : ilasynth

- s -

• simout_ptr_t : ilasynth

- v -

• vlg_addr_t : ilasynth
• vlg_data_t : ilasynth
• vlg_ite_stmt_t : ilasynth
• vlg_ite_stmts_t : ilasynth
• vlg_mem_t : ilasynth
• vlg_mems_t : ilasynth
• vlg_name_t : ilasynth
• vlg_per_mem_access_t : ilasynth
• vlg_sig_t : ilasynth
• vlg_sigs_t : ilasynth
• vlg_stmt_t : ilasynth
• vlg_stmts_t : ilasynth