Here is a list of all variables with links to the classes they belong to:
- p -
- p : patternt, small_mapt< T, Ind, Num >, small_shared_n_way_ptrt< Ts >
- p_impl : function_call_harness_generatort
- packed : ansi_c_convert_typet
- padding_sequence : smt2_incremental_decision_proceduret
- param_assignments : interpretert::function_assignments_contextt
- param_index : generic_parameter_specialization_mapt::container_paramt
- param_numbers_to_havoc : havoc_generate_function_bodiest
- param_to_container : generic_parameter_specialization_mapt
- parameter_annotations : java_bytecode_parse_treet::methodt
- parameter_identifiers : goto_functiont
- parameter_map : c_typecheck_baset, string_abstractiont
- parameter_names : framet
- parameter_number : taint_parse_treet::rulet
- parameter_sorts : smt_command_functiont
- parameter_to_history : replace_history_parametert
- parameters : c_definest::definet, function_cfg_infot, smt2_parsert::signature_with_parameter_idst
- parameters_to_havoc : havoc_generate_function_bodiest
- params : statement_list_languaget
- parent : cpp_idt, new_scopet, unsigned_union_find::nodet
- parenthesis_counter : ansi_c_parsert, cpp_parsert
- parenthesis_level : smt2_parsert
- parents : class_hierarchyt::entryt
- parse_path : ansi_c_languaget, cpp_languaget, statement_list_languaget
- parse_result : parse_options_baset
- parse_tree : ansi_c_languaget, ansi_c_parsert, ansi_c_typecheckt, cpp_parsert, java_bytecode_parsert, Parser, statement_list_languaget, statement_list_parsert, statement_list_typecheckt, xml_parsert
- parsed_argv : goto_cc_cmdlinet
- parsed_class : java_bytecode_parse_treet
- parsed_json_file : json_symtab_languaget
- parsed_output : smt2_parser_test_resultt
- partial_inlining_done : goto_instrument_parse_optionst
- partial_interpretation : float_approximationt
- partial_loops : symex_configt
- past_writes : shared_bufferst::cfg_visitort
- path : java_class_loader_baset::classpath_entryt, path_acceleratort, temp_dirt, workt
- path_enumerator : enumerating_loop_accelerationt
- path_limit : enumerating_loop_accelerationt
- path_segment_vccs : goto_symext
- path_storage : goto_symext, multi_path_symex_only_checkert, scratch_programt, single_loop_incremental_symex_checkert
- paths : path_fifot, path_lifot
- pb_constraintmap : pbs_dimacs_cnft
- pbs_path : pbs_dimacs_cnft
- PC : cfg_base_nodet< T, I >
- pc : check_call_sequencet::statet
- PC : dep_nodet
- pc : goto_symex_statet::threadt, goto_trace_stept, interpretert, property_infot, solver_hardnesst::hardness_ssa_keyt, symex_targett::sourcet
- PC : vs_dep_nodet
- pcs : solver_hardnesst::assertion_statst
- peeked : smt2_tokenizert
- PERCENT_SIGN : format_specifiert
- picosat : satcheck_picosatt
- pipe_input : piped_processt
- pipe_output : piped_processt
- pivot_var_no : clauset::stept
- po_graph : event_grapht
- po_order : event_grapht
- point_stack : event_grapht::graph_explorert
- pointee : gdb_apit::pointer_valuet
- pointer : pointer_arithmetict, value_set_dereferencet::valuet
- pointer_abstract_type : vsd_configt
- pointer_guard : value_set_dereferencet::valuet
- pointer_logic : bv_pointers_widet, bv_pointerst, smt2_convt
- pointer_option_mappings : vsd_configt
- pointer_sizes_map : smt2_incremental_decision_proceduret
- pointer_type_selector : ci_lazy_methods_neededt, ci_lazy_methodst, java_bytecode_languaget, java_object_factoryt
- pointer_width : configt::ansi_ct
- pointers : local_bitvector_analysist
- pointers_to_treat_as_arrays : recursive_initialization_configt
- pointers_to_treat_as_cstrings : recursive_initialization_configt
- pointers_to_treat_equal : recursive_initialization_configt
- polynomial_accelerator : enumerating_loop_accelerationt
- pop : bytecode_infot
- pos : ctokenitt
- pos_invariant_clause_map : enumerative_loop_contracts_synthesizert
- position : string_set_char_builtin_functiont
- possible_keys_vector : dense_integer_mapt< K, V, KeyToDenseInteger >
- possible_states : nfat< T >::statet
- post_declarator : c_declarationt
- post_dominators : dependence_grapht, variable_sensitivity_dependence_grapht
- post_process_function : lazy_goto_functions_mapt, lazy_goto_modelt
- post_process_functions : lazy_goto_modelt
- post_processing_done : prop_conv_solvert
- postamble : dfcc_wrapper_programt
- postconditions : dfcc_wrapper_programt
- postponed_list : bv_pointers_widet, bv_pointerst
- potential_null_function_pointers : recursive_initialization_configt
- poUrfe_order : event_grapht
- pragma_cprover_stack : ansi_c_parsert
- pragma_pack : ansi_c_parsert
- pre_declarator : c_declarationt
- pRead_buf : mz_zip_reader_extract_iter_state
- preamble : dfcc_wrapper_programt
- precision : format_specifiert, format_spect, format_tokent
- preconditions : dfcc_wrapper_programt
- predecessors : java_bytecode_convert_methodt::converted_instructiont
- prefix : ansi_c_scopet, cpp_idt, goto_convertt::targetst
- prefixed_name : ansi_c_identifiert
- premise : string_not_contains_constraintt
- preorder_relation : memory_snapshot_harness_generatort::preordert< Key >
- preprocessing_limit : satcheck_cadical_baset
- preprocessor : configt::ansi_ct
- preprocessor_options : configt::ansi_ct
- preserve_all_direct_paths : aggressive_slicert
- pretty_name : symbolt
- prev_value : address_of_aware_replace_symbolt::set_require_lvalue_and_backupt
- previous : __CPROVER_jsa_abstract_node, __CPROVER_jsa_concrete_node, local_control_flow_decisiont
- previous_index : __CPROVER_jsa_iterator
- previous_line_no : parsert
- previous_node_id : __CPROVER_jsa_iterator
- print_enum_int_value : expr2c_configurationt
- print_struct_body_in_type : expr2c_configurationt
- process : smt_piped_solver_processt
- process_state : piped_processt
- processed_functions : lazy_goto_functions_mapt
- produce_hybrid_binary : as_modet, gcc_modet
- productions_map : enumerator_factoryt
- program : acceleratet, cone_of_influencet, overflow_instrumentert
- progress : bv_refinementt, incremental_goto_checkert::resultt
- proof : satcheck_minisat1_prooft
- prop : boolbv_mapt, bv_refinementt::infot, bv_utilst, float_utilst, prop_conv_solvert
- prop_conv : prop_minimizet
- prop_ptr : solver_factoryt::solvert
- propagation : goto_statet
- proper_bool_cnt : ansi_c_convert_typet
- properties : cegis_verifiert, goto_verifiert
- property_class : cover_instrumenter_baset
- property_decider : multi_path_symex_checkert, single_loop_incremental_symex_checkert, single_path_symex_checkert
- property_id : goto_trace_stept, SSA_stept
- property_id_to_trace_index : goto_trace_storaget
- property_ids : properties_criteriont
- ptr32_cnt : ansi_c_convert_typet
- ptr64_cnt : ansi_c_convert_typet
- ptr_hash : irep_hash_container_baset
- ptr_pred : __CPROVER_contracts_ptr_pred_ctx_t
- ptr_pred_ctx : dfcc_wrapper_programt
- pure_accelerator : path_acceleratort
- pure_contract_symbol : dfcc_contract_functionst
- pure_contract_symbols : dfcct
- push : bytecode_infot
- pWrite_buf : mz_zip_reader_extract_iter_state
- pZip : mz_zip_reader_extract_iter_state
1.9.8