Struct CompetitiveSelectionHard 

pub struct CompetitiveSelectionHard {
    pub scores: Vec<u64>,
    pub allocation: Option<usize>,
}

Hard competitive selection over one seat’s candidate scores.

Fields

scores: Vec<u64>

Candidate scores by candidate index.

allocation: Option<usize>

The winner’s index, or None for NULL (no allocation).

Implementations

impl CompetitiveSelectionHard

pub fn new(num_candidates: usize) -> CompetitiveSelectionHard

Empty allocation, all scores 0 (TLA+ Init).

pub fn evaluate(&mut self)

Evaluate: allocate the seat to the highest-scoring candidate (argmax). Realises the TLA+ Evaluate action; re-establishes WinnerOptimality.

pub fn update_score(&mut self, c: usize, v: u64)

Update one candidate’s score; invalidate the allocation (TLA+ UpdateScore).