Strategic Axioms
==========


## Strategy Proofness

```{eval-rst}

.. autofunction:: pref_voting.strategic_axioms.has_strategy_proofness_violation

.. autofunction:: pref_voting.strategic_axioms.find_all_strategy_proofness_violations

```

## Participation

```{eval-rst}

.. autofunction:: pref_voting.variable_voter_axioms.has_participation_violation

.. autofunction:: pref_voting.variable_voter_axioms.find_all_participation_violations

```
## Later No Harm

```{eval-rst}

.. autofunction:: pref_voting.strategic_axioms.has_later_no_harm_violation

.. autofunction:: pref_voting.strategic_axioms.find_all_later_no_harm_violations
```
## Earlier No Help

```{eval-rst}

.. autofunction:: pref_voting.strategic_axioms.has_earlier_no_help_violation

.. autofunction:: pref_voting.strategic_axioms.find_all_earlier_no_help_violations
```