- _ -

• __float128_is_keyword : ansi_c_parsert , configt::ansi_ct
• __location : typecheckt::errort
• _children : structured_data_entryt
• _code : goto_programt::instructiont
• _data : structured_datat
• _description : replacement_predicatet
• _err : consolet
• _identifier : smt_command_functiont
• _impl : verification_resultt
• _init_done : consolet
• _inner_symbol : replacement_predicatet
• _is_terminal : consolet
• _iterations : cover_goalst , prop_minimizet
• _match : replacement_predicatet
• _no_variables : cnft
• _number_covered : cover_goalst
• _number_objectives : prop_minimizet
• _number_satisfied : prop_minimizet
• _out : consolet
• _properties : verification_resultt::verification_result_implt
• _remaining_vccs : goto_symext
• _size : sparse_vectort< T >
• _source_location : goto_programt::instructiont
• _total_vccs : goto_symext
• _type : goto_programt::instructiont
• _ui : ui_message_handlert
• _use_SGR : consolet
• _value : prop_minimizet
• _verifier_result : verification_resultt::verification_result_implt
• _width : consolet
• _width_is_set : consolet