Index A | B | C | D | E | G | I | L | M | N | O | P | R | S | T | U | V | W A append_array_criterion() (svvamp.StudyProfileCriteria method) append_boolean_criterion() (svvamp.StudyProfileCriteria method) append_manipulation_criterion() (svvamp.StudyRuleCriteria method) (svvamp.VotingRuleTasks method) append_manipulation_criterion_c() (svvamp.StudyRuleCriteria method) (svvamp.VotingRuleTasks method) append_matrix_criterion() (svvamp.StudyProfileCriteria method) append_numerical_criterion() (svvamp.StudyProfileCriteria method) (svvamp.StudyRuleCriteria method) (svvamp.VotingRuleTasks method) append_result_criterion() (svvamp.StudyRuleCriteria method) (svvamp.VotingRuleTasks method) append_special_candidates_criterion() (svvamp.StudyProfileCriteria method) append_task() (svvamp.VotingRuleTasks method) append_utility_criterion() (svvamp.StudyRuleCriteria method) (svvamp.VotingRuleTasks method) B ballot_borda_ut (svvamp.ProfileUM property) ballot_rk (svvamp.ProfileUM property) ballots_ (svvamp.Rule property) (svvamp.RuleApproval property) (svvamp.RuleExhaustiveBallot property) (svvamp.RuleIRV property) (svvamp.RuleKApproval property) (svvamp.RuleMajorityJudgment property) (svvamp.RulePlurality property) (svvamp.RulePluralityWithRunoff property) (svvamp.RuleRangeVoting property) (svvamp.RuleVeto property) borda_score_c_rk (svvamp.Profile property) borda_score_c_ut (svvamp.Profile property) C c_has_supporters_ (svvamp.Rule property) c_might_be_there_when_cw_is_eliminated_irv_style (svvamp.Profile property) candidates_alive (svvamp.PluralityEliminationEngine property) candidates_by_decreasing_borda_score_rk (svvamp.Profile property) candidates_by_decreasing_borda_score_ut (svvamp.Profile property) candidates_by_scores_best_to_worst_ (svvamp.Rule property) (svvamp.RuleBaldwin property) (svvamp.RuleBenham property) (svvamp.RuleBlack property) (svvamp.RuleBucklin property) (svvamp.RuleCondorcetAbsIRV property) (svvamp.RuleCondorcetVtbIRV property) (svvamp.RuleCoombs property) (svvamp.RuleExhaustiveBallot property) (svvamp.RuleIRV property) (svvamp.RuleIRVAverage property) (svvamp.RuleIteratedBucklin property) (svvamp.RuleKemeny property) (svvamp.RuleKimRoush property) (svvamp.RuleNanson property) (svvamp.RulePluralityWithRunoff property) (svvamp.RuleRankedPairs property) (svvamp.RuleSchulze property) (svvamp.RuleSlater property) (svvamp.RuleSmithIRV property) (svvamp.RuleSplitCycle property) (svvamp.RuleSTAR property) (svvamp.RuleTideman property) (svvamp.RuleViennot property) (svvamp.RuleWoodall property) candidates_cm_ (svvamp.Rule property) candidates_icm_ (svvamp.Rule property) candidates_im_ (svvamp.Rule property) candidates_tm_ (svvamp.Rule property) candidates_um_ (svvamp.Rule property) check_option_allowed() (svvamp.Rule class method) check_sanity() (svvamp.StudyProfileCriteria method) (svvamp.StudyRuleCriteria method) (svvamp.VotingRuleTasks method) cm_complexity_index_bar_plot() (svvamp.ExperimentsCompiler method) cm_option (svvamp.Rule property) cm_power_index_ (svvamp.Rule property) cm_power_index_bar_plot() (svvamp.ExperimentsCompiler method) cm_rate_bar_plot() (svvamp.ExperimentsCompiler method) cm_tm_um_rate_bar_plot() (svvamp.ExperimentsCompiler method) cm_xm_rate_bar_plot() (svvamp.ExperimentsCompiler method) condorcet_admissible_candidates (svvamp.Profile property) condorcet_consistency_bar_plot() (svvamp.ExperimentsCompiler method) condorcet_winner_rk (svvamp.Profile property) condorcet_winner_rk_ctb (svvamp.Profile property) condorcet_winner_ut_abs (svvamp.Profile property) condorcet_winner_ut_abs_ctb (svvamp.Profile property) condorcet_winner_ut_rel (svvamp.Profile property) condorcet_winner_ut_rel_ctb (svvamp.Profile property) D decreasing_borda_scores_rk (svvamp.Profile property) decreasing_borda_scores_ut (svvamp.Profile property) demo() (svvamp.Profile method) demo_manipulation_() (svvamp.Rule method) demo_profile_() (svvamp.Rule method) demo_results_() (svvamp.Rule method) df_computation_time() (svvamp.ExperimentsCompiler method) df_computation_time_cumulative() (svvamp.ExperimentsCompiler method) E elects_condorcet_winner_rk_even_with_cm_ (svvamp.Rule property) eliminate_candidate() (svvamp.PluralityEliminationEngine method) eliminate_candidate_and_update_scores() (svvamp.PluralityEliminationEngine method) elimination_path_ (svvamp.RuleExhaustiveBallot property) (svvamp.RuleIRV property) example_subset_iia_ (svvamp.Rule property) example_winner_iia_ (svvamp.Rule property) exists_condorcet_admissible (svvamp.Profile property) exists_condorcet_order_rk (svvamp.Profile property) exists_condorcet_order_rk_ctb (svvamp.Profile property) exists_condorcet_order_ut_abs (svvamp.Profile property) exists_condorcet_order_ut_abs_ctb (svvamp.Profile property) exists_condorcet_order_ut_rel (svvamp.Profile property) exists_condorcet_order_ut_rel_ctb (svvamp.Profile property) exists_condorcet_winner_rk (svvamp.Profile property) exists_condorcet_winner_rk_ctb (svvamp.Profile property) exists_condorcet_winner_ut_abs (svvamp.Profile property) exists_condorcet_winner_ut_abs_ctb (svvamp.Profile property) exists_condorcet_winner_ut_rel (svvamp.Profile property) exists_condorcet_winner_ut_rel_ctb (svvamp.Profile property) exists_majority_favorite_rk (svvamp.Profile property) exists_majority_favorite_rk_ctb (svvamp.Profile property) exists_majority_favorite_ut (svvamp.Profile property) exists_majority_favorite_ut_ctb (svvamp.Profile property) exists_pair_safe_condorcet_winner (svvamp.Profile property) exists_resistant_condorcet_winner (svvamp.Profile property) exists_set_safe_condorcet_winner (svvamp.Profile property) exists_super_condorcet_winner (svvamp.Profile property) exists_weak_condorcet_winner (svvamp.Profile property) ExperimentAnalyzer (class in svvamp) ExperimentsCompiler (class in svvamp) extend() (svvamp.VotingRuleTasks method) G GeneratorProfile (class in svvamp) GeneratorProfileCubicUniform (class in svvamp) GeneratorProfileEuclideanBox (class in svvamp) GeneratorProfileGaussianWell (class in svvamp) GeneratorProfileIanc (class in svvamp) GeneratorProfileIc (class in svvamp) GeneratorProfileLadder (class in svvamp) GeneratorProfileNoise (class in svvamp) GeneratorProfileNoisedFile (class in svvamp) GeneratorProfilePerturbedCulture (class in svvamp) GeneratorProfileSpheroid (class in svvamp) GeneratorProfileUnanimous (class in svvamp) GeneratorProfileUniformFewRankings (class in svvamp) GeneratorProfileVMFHypercircle (class in svvamp) GeneratorProfileVMFHypersphere (class in svvamp) I icm_option (svvamp.Rule property) iia_subset_maximum_size (svvamp.Rule property) im_option (svvamp.Rule property) initialize_random_seeds() (in module svvamp) is_alive (svvamp.PluralityEliminationEngine attribute) is_cm_ (svvamp.Rule property) is_cm_c_() (svvamp.Rule method) is_cm_c_with_bounds_() (svvamp.Rule method) is_icm_ (svvamp.Rule property) is_icm_c_() (svvamp.Rule method) is_icm_c_with_bounds_() (svvamp.Rule method) is_iia_ (svvamp.Rule property) is_im_ (svvamp.Rule property) is_im_c_() (svvamp.Rule method) is_im_c_with_voters_() (svvamp.Rule method) is_im_v_() (svvamp.Rule method) is_im_v_with_candidates_() (svvamp.Rule method) is_not_iia_ (svvamp.Rule property) is_tm_ (svvamp.Rule property) is_tm_c_() (svvamp.Rule method) is_um_ (svvamp.Rule property) is_um_c_() (svvamp.Rule method) is_xm_ (svvamp.Rule property) L labels_candidates (svvamp.Profile property) (svvamp.ProfileSubsetCandidates property) (svvamp.ProfileUM property) line() (svvamp.ExperimentsCompiler method) log_() (svvamp.Rule method) log_cm_ (svvamp.Rule property) log_depth (svvamp.MyLog attribute) log_icm_ (svvamp.Rule property) log_identity (svvamp.MyLog attribute) log_iia_ (svvamp.Rule property) log_im_ (svvamp.Rule property) log_tm_ (svvamp.Rule property) log_um_ (svvamp.Rule property) log_xm_ (svvamp.Rule property) loser (svvamp.PluralityEliminationEngine attribute) losing_candidates_ (svvamp.Rule property) loss_social_welfare_bar_plot() (svvamp.ExperimentsCompiler method) M majority_favorite_rk (svvamp.Profile property) majority_favorite_rk_ctb (svvamp.Profile property) majority_favorite_ut (svvamp.Profile property) majority_favorite_ut_ctb (svvamp.Profile property) margins_ (svvamp.RuleExhaustiveBallot property) (svvamp.RuleIRV property) matrix_duels_rk (svvamp.Profile property) (svvamp.ProfileSubsetCandidates property) (svvamp.ProfileUM property) matrix_duels_ut (svvamp.Profile property) (svvamp.ProfileSubsetCandidates property) (svvamp.ProfileUM property) matrix_victories_rk (svvamp.Profile property) (svvamp.ProfileSubsetCandidates property) matrix_victories_rk_ctb (svvamp.Profile property) (svvamp.ProfileSubsetCandidates property) matrix_victories_ut_abs (svvamp.Profile property) (svvamp.ProfileSubsetCandidates property) matrix_victories_ut_abs_ctb (svvamp.Profile property) (svvamp.ProfileSubsetCandidates property) matrix_victories_ut_rel (svvamp.Profile property) (svvamp.ProfileSubsetCandidates property) matrix_victories_ut_rel_ctb (svvamp.Profile property) (svvamp.ProfileSubsetCandidates property) mean_utility_c (svvamp.Profile property) mean_utility_max (svvamp.Profile property) mean_utility_mean (svvamp.Profile property) mean_utility_min (svvamp.Profile property) mean_utility_std (svvamp.Profile property) mean_utility_w_ (svvamp.Rule property) meets_condorcet_c_rk (svvamp.Rule property) meets_condorcet_c_rk_ctb (svvamp.Rule property) meets_condorcet_c_ut_abs (svvamp.Rule property) meets_condorcet_c_ut_abs_ctb (svvamp.Rule property) meets_condorcet_c_ut_rel (svvamp.Rule property) meets_condorcet_c_ut_rel_ctb (svvamp.Rule property) meets_ignmc_c (svvamp.Rule property) meets_ignmc_c_ctb (svvamp.Rule property) meets_infmc_c (svvamp.Rule property) meets_infmc_c_ctb (svvamp.Rule property) meets_majority_favorite_c_rk (svvamp.Rule property) meets_majority_favorite_c_rk_ctb (svvamp.Rule property) meets_majority_favorite_c_ut (svvamp.Rule property) meets_majority_favorite_c_ut_ctb (svvamp.Rule property) my_tikzplotlib_save() (svvamp.ExperimentsCompiler method) MyLog (class in svvamp) mylog() (svvamp.MyLog method) mylogm() (svvamp.MyLog method) mylogv() (svvamp.MyLog method) N n_c (svvamp.Profile property) (svvamp.ProfileSubsetCandidates property) (svvamp.ProfileUM property) n_v (svvamp.Profile property) (svvamp.ProfileSubsetCandidates property) (svvamp.ProfileUM property) nb_candidates_alive (svvamp.PluralityEliminationEngine property) nb_candidates_cm_ (svvamp.Rule property) nb_candidates_cm_bar_plot() (svvamp.ExperimentsCompiler method) nb_candidates_cm_line_plot() (svvamp.ExperimentsCompiler method) nb_candidates_rate_line_plot() (svvamp.ExperimentsCompiler method) nb_condorcet_admissible (svvamp.Profile property) nb_weak_condorcet_winners (svvamp.Profile property) necessary_coalition_size_cm_ (svvamp.Rule property) necessary_coalition_size_icm_ (svvamp.Rule property) necessary_coalition_size_to_break_irv_immunity (svvamp.Profile property) not_exists_condorcet_admissible (svvamp.Profile property) not_exists_condorcet_order_rk (svvamp.Profile property) not_exists_condorcet_order_rk_ctb (svvamp.Profile property) not_exists_condorcet_order_ut_abs (svvamp.Profile property) not_exists_condorcet_order_ut_abs_ctb (svvamp.Profile property) not_exists_condorcet_order_ut_rel (svvamp.Profile property) not_exists_condorcet_order_ut_rel_ctb (svvamp.Profile property) not_exists_condorcet_winner_rk (svvamp.Profile property) not_exists_condorcet_winner_rk_ctb (svvamp.Profile property) not_exists_condorcet_winner_ut_abs (svvamp.Profile property) not_exists_condorcet_winner_ut_abs_ctb (svvamp.Profile property) not_exists_condorcet_winner_ut_rel (svvamp.Profile property) not_exists_condorcet_winner_ut_rel_ctb (svvamp.Profile property) not_exists_majority_favorite_rk (svvamp.Profile property) not_exists_majority_favorite_rk_ctb (svvamp.Profile property) not_exists_majority_favorite_ut (svvamp.Profile property) not_exists_majority_favorite_ut_ctb (svvamp.Profile property) not_exists_pair_safe_condorcet_winner (svvamp.Profile property) not_exists_resistant_condorcet_winner (svvamp.Profile property) not_exists_set_safe_condorcet_winner (svvamp.Profile property) not_exists_weak_condorcet_winner (svvamp.Profile property) O options (svvamp.Rule property) options_parameters (svvamp.Rule attribute) P pair_safe_condorcet_winner (svvamp.Profile property) plot3() (svvamp.Profile method) plot4() (svvamp.Profile method) plurality_scores_rk (svvamp.Profile property) (svvamp.ProfileUM property) plurality_scores_ut (svvamp.Profile property) (svvamp.ProfileUM property) PluralityEliminationEngine (class in svvamp) PluralityEliminationEngineProfile (class in svvamp) PluralityEliminationEngineProfileUM (class in svvamp) preferences_borda_rk (svvamp.Profile property) (svvamp.ProfileSubsetCandidates property) (svvamp.ProfileUM property) preferences_borda_ut (svvamp.Profile property) (svvamp.ProfileSubsetCandidates property) (svvamp.ProfileUM property) preferences_rk (svvamp.Profile property) (svvamp.ProfileSubsetCandidates property) (svvamp.ProfileUM property) preferences_ut (svvamp.Profile property) (svvamp.ProfileSubsetCandidates property) (svvamp.ProfileUM property) Profile (class in svvamp) profile_features_bar_plot() (svvamp.ExperimentsCompiler method) ProfileFromFile (class in svvamp) profiles_scatter_plot() (svvamp.ExperimentsCompiler method) ProfileSubsetCandidates (class in svvamp) ProfileUM (class in svvamp) pscw_line() (svvamp.ExperimentsCompiler method) R rate_bar_plot() (svvamp.ExperimentsCompiler method) rate_of_equivalence_classes (svvamp.Profile property) relative_social_welfare_c (svvamp.Profile property) relative_social_welfare_w_ (svvamp.Rule property) remove() (svvamp.StudyProfileCriteria method) (svvamp.StudyRuleCriteria method) remove_criterion() (svvamp.VotingRuleTasks method) remove_option() (svvamp.VotingRuleTasks method) remove_rule() (svvamp.VotingRuleTasks method) rename_numerical_criterion() (svvamp.StudyProfileCriteria method) replace_rule_names() (svvamp.ExperimentsCompiler method) resistant_condorcet_line() (svvamp.ExperimentsCompiler method) resistant_condorcet_winner (svvamp.Profile property) Rule (class in svvamp) RuleApproval (class in svvamp) RuleBaldwin (class in svvamp) RuleBenham (class in svvamp) RuleBlack (class in svvamp) RuleBorda (class in svvamp) RuleBucklin (class in svvamp) RuleCondorcetAbsIRV (class in svvamp) RuleCondorcetVtbIRV (class in svvamp) RuleCoombs (class in svvamp) RuleCopeland (class in svvamp) RuleDodgson (class in svvamp) RuleExhaustiveBallot (class in svvamp) RuleIRV (class in svvamp) RuleIRVAverage (class in svvamp) RuleIteratedBucklin (class in svvamp) RuleKApproval (class in svvamp) RuleKemeny (class in svvamp) RuleKimRoush (class in svvamp) RuleMajorityJudgment (class in svvamp) RuleMaximin (class in svvamp) RuleNanson (class in svvamp) RulePlurality (class in svvamp) RulePluralityWithRunoff (class in svvamp) RuleRangeVoting (class in svvamp) RuleRankedPairs (class in svvamp) RuleSchulze (class in svvamp) RuleSimplifiedDodgson (class in svvamp) RuleSlater (class in svvamp) RuleSmithIRV (class in svvamp) RuleSplitCycle (class in svvamp) RuleSTAR (class in svvamp) RuleTideman (class in svvamp) RuleVeto (class in svvamp) RuleViennot (class in svvamp) RuleWoodall (class in svvamp) RuleYoung (class in svvamp) S score_w_ (svvamp.Rule property) (svvamp.RuleRankedPairs property) (svvamp.RuleSchulze property) scores (svvamp.PluralityEliminationEngine property) (svvamp.PluralityEliminationEngineProfile property) (svvamp.PluralityEliminationEngineProfileUM property) scores_ (svvamp.Rule property) (svvamp.RuleApproval property) (svvamp.RuleBaldwin property) (svvamp.RuleBenham property) (svvamp.RuleBlack property) (svvamp.RuleBorda property) (svvamp.RuleBucklin property) (svvamp.RuleCondorcetAbsIRV property) (svvamp.RuleCondorcetVtbIRV property) (svvamp.RuleCoombs property) (svvamp.RuleCopeland property) (svvamp.RuleExhaustiveBallot property) (svvamp.RuleIRV property) (svvamp.RuleIRVAverage property) (svvamp.RuleIteratedBucklin property) (svvamp.RuleKApproval property) (svvamp.RuleKemeny property) (svvamp.RuleKimRoush property) (svvamp.RuleMajorityJudgment property) (svvamp.RuleMaximin property) (svvamp.RuleNanson property) (svvamp.RulePlurality property) (svvamp.RulePluralityWithRunoff property) (svvamp.RuleRangeVoting property) (svvamp.RuleRankedPairs property) (svvamp.RuleSchulze property) (svvamp.RuleSimplifiedDodgson property) (svvamp.RuleSlater property) (svvamp.RuleSmithIRV property) (svvamp.RuleSplitCycle property) (svvamp.RuleSTAR property) (svvamp.RuleTideman property) (svvamp.RuleVeto property) (svvamp.RuleViennot property) (svvamp.RuleWoodall property) scores_best_to_worst_ (svvamp.Rule property) (svvamp.RuleRankedPairs property) (svvamp.RuleSchulze property) scw_line() (svvamp.ExperimentsCompiler method) selected_one_ (svvamp.RulePluralityWithRunoff property) selected_two_ (svvamp.RulePluralityWithRunoff property) set_option() (svvamp.VotingRuleTasks method) set_safe_condorcet_winner (svvamp.Profile property) size_bicoalition (svvamp.Profile property) smith_set_rk (svvamp.Profile property) smith_set_rk_ctb (svvamp.Profile property) smith_set_ut_abs (svvamp.Profile property) smith_set_ut_abs_ctb (svvamp.Profile property) smith_set_ut_rel (svvamp.Profile property) smith_set_ut_rel_ctb (svvamp.Profile property) sscw_line() (svvamp.ExperimentsCompiler method) StudyProfileCriteria (class in svvamp) StudyRuleCriteria (class in svvamp) sufficient_coalition_size_cm_ (svvamp.Rule property) sufficient_coalition_size_icm_ (svvamp.Rule property) T theta_critical_ (svvamp.Rule property) theta_empirical (svvamp.Profile property) threshold_c_prevents_w_condorcet_ut_abs (svvamp.Profile property) tm_option (svvamp.Rule property) tm_rate_bar_plot() (svvamp.ExperimentsCompiler method) to_doctest_string() (svvamp.Profile method) total_utility_c (svvamp.Profile property) (svvamp.ProfileSubsetCandidates property) total_utility_max (svvamp.Profile property) total_utility_mean (svvamp.Profile property) total_utility_min (svvamp.Profile property) total_utility_std (svvamp.Profile property) total_utility_w_ (svvamp.Rule property) U um_option (svvamp.Rule property) um_rate_bar_plot() (svvamp.ExperimentsCompiler method) update_options() (svvamp.Rule method) update_scores() (svvamp.PluralityEliminationEngine method) (svvamp.PluralityEliminationEngineProfile method) (svvamp.PluralityEliminationEngineProfileUM method) V v_has_same_ordinal_preferences_as_previous_voter (svvamp.Profile property) v_im_for_c_ (svvamp.Rule property) v_might_im_for_c_ (svvamp.Rule property) v_wants_to_help_c_ (svvamp.Rule property) voters_im_ (svvamp.Rule property) VotingRuleTasks (class in svvamp) W w_ (svvamp.Rule property) (svvamp.RuleApproval property) (svvamp.RuleBaldwin property) (svvamp.RuleBenham property) (svvamp.RuleBlack property) (svvamp.RuleBorda property) (svvamp.RuleBucklin property) (svvamp.RuleCondorcetAbsIRV property) (svvamp.RuleCondorcetVtbIRV property) (svvamp.RuleCoombs property) (svvamp.RuleDodgson property) (svvamp.RuleExhaustiveBallot property) (svvamp.RuleIRV property) (svvamp.RuleIRVAverage property) (svvamp.RuleIteratedBucklin property) (svvamp.RuleKApproval property) (svvamp.RuleKemeny property) (svvamp.RuleKimRoush property) (svvamp.RuleMajorityJudgment property) (svvamp.RuleMaximin property) (svvamp.RuleNanson property) (svvamp.RulePlurality property) (svvamp.RulePluralityWithRunoff property) (svvamp.RuleRangeVoting property) (svvamp.RuleRankedPairs property) (svvamp.RuleSchulze property) (svvamp.RuleSimplifiedDodgson property) (svvamp.RuleSlater property) (svvamp.RuleSmithIRV property) (svvamp.RuleSplitCycle property) (svvamp.RuleSTAR property) (svvamp.RuleTideman property) (svvamp.RuleVeto property) (svvamp.RuleViennot property) (svvamp.RuleWoodall property) (svvamp.RuleYoung property) w_is_condorcet_admissible_ (svvamp.Rule property) w_is_condorcet_winner_rk_ (svvamp.Rule property) w_is_condorcet_winner_rk_ctb_ (svvamp.Rule property) w_is_condorcet_winner_ut_abs_ (svvamp.Rule property) w_is_condorcet_winner_ut_abs_ctb_ (svvamp.Rule property) w_is_condorcet_winner_ut_rel_ (svvamp.Rule property) w_is_condorcet_winner_ut_rel_ctb_ (svvamp.Rule property) w_is_not_condorcet_admissible_ (svvamp.Rule property) w_is_not_condorcet_winner_rk_ (svvamp.Rule property) w_is_not_condorcet_winner_rk_ctb_ (svvamp.Rule property) w_is_not_condorcet_winner_ut_abs_ (svvamp.Rule property) w_is_not_condorcet_winner_ut_abs_ctb_ (svvamp.Rule property) w_is_not_condorcet_winner_ut_rel_ (svvamp.Rule property) w_is_not_condorcet_winner_ut_rel_ctb_ (svvamp.Rule property) w_is_not_resistant_condorcet_winner_ (svvamp.Rule property) w_is_not_weak_condorcet_winner_ (svvamp.Rule property) w_is_resistant_condorcet_winner_ (svvamp.Rule property) w_is_weak_condorcet_winner_ (svvamp.Rule property) w_missed_condorcet_admissible_ (svvamp.Rule property) w_missed_condorcet_winner_rk_ (svvamp.Rule property) w_missed_condorcet_winner_rk_ctb_ (svvamp.Rule property) w_missed_condorcet_winner_ut_abs_ (svvamp.Rule property) w_missed_condorcet_winner_ut_abs_ctb_ (svvamp.Rule property) w_missed_condorcet_winner_ut_rel_ (svvamp.Rule property) w_missed_condorcet_winner_ut_rel_ctb_ (svvamp.Rule property) w_missed_resistant_condorcet_winner_ (svvamp.Rule property) w_missed_weak_condorcet_winner_ (svvamp.Rule property) weak_condorcet_winners (svvamp.Profile property) worst_relative_welfare_with_cm_ (svvamp.Rule property)