Here is a list of all documented variables with links to the class documentation for each member:
- p -
- parent : spot::iterable_uf< State, StateHash, StateEqual >::uf_element, spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element, spot::zielonka_tree::zielonka_node
- parity_equiv : spot::to_parity_options
- parity_max : spot::reduce_parity_data
- parity_odd : spot::reduce_parity_data
- parity_prefix : spot::to_parity_options
- parity_prefix_general : spot::to_parity_options
- parity_type_to_parity : spot::to_parity_options
- partial_degen : spot::to_parity_options
- paths : spot::mtdfa_stats
- patterns_ : spot::random_formula
- piprime1 : spot::reduce_parity_data
- piprime2 : spot::reduce_parity_data
- player_map : spot::game_relabeling_map
- pool_ : spot::twa_product
- poprem_ : spot::couvreur99_check
- pos : spot::couvreur99_check_shy, spot::hoa_abort
- pref_ : spot::postprocessor
- prefix : spot::twa_run, spot::twa_word
- pretty_print : spot::to_parity_options
- prime : spot::fnv< T, typename std::enable_if< sizeof(T)==4 >::type >, spot::fnv< T, typename std::enable_if< sizeof(T)==8 >::type >
- proba : spot::random_formula::op_proba
- proba_ : spot::random_formula
- proba_2_ : spot::random_formula
- proba_2_or_more_ : spot::random_formula
- proba_size_ : spot::random_formula
- propagate_col : spot::to_parity_options
- props : spot::twa
