Merge pull request #88 from wesholliday/main

Added Participation axiom
voting-tools · Apr 27, 2024 · a723698 · a723698
2 parents 3ca7c81 + 4bfb78a
commit a723698
Show file tree

Hide file tree

Showing 2 changed files with 730 additions and 96 deletions.
diff --git a/docs/source/variable_voter_axioms.md b/docs/source/variable_voter_axioms.md
@@ -52,15 +52,22 @@ Variable Voter Axioms
 
 ```
 
-## Single-Voter Resolvability
+## Participation
 
 ```{eval-rst}
 
-.. autofunction:: pref_voting.variable_voter_axioms.has_single_voter_resolvability_violation
+.. autofunction:: pref_voting.variable_voter_axioms.has_participation_violation
 
-.. autofunction:: pref_voting.variable_voter_axioms.find_all_single_voter_resolvability_violations
+.. autofunction:: pref_voting.variable_voter_axioms.find_all_participation_violations
 
 ```
 
+## Single-Voter Resolvability
 
+```{eval-rst}
+
+.. autofunction:: pref_voting.variable_voter_axioms.has_single_voter_resolvability_violation
+
+.. autofunction:: pref_voting.variable_voter_axioms.find_all_single_voter_resolvability_violations
 
+```