Struct CountableChoiceWitness 

pub struct CountableChoiceWitness {
    pub choices: Vec<u64>,
}

A concrete witness for countable choice: given a sequence of non-empty sets (represented by a function that picks a canonical element), builds the choice function.

Fields

choices: Vec<u64>

The chosen elements: choices[n] is the chosen element from the n-th set.

Implementations

impl CountableChoiceWitness

pub fn build(sel: impl Fn(usize) -> u64, count: usize) -> Self

Build a countable choice witness from a selection function sel(n) -> element.

pub fn verify(&self, membership: impl Fn(usize, u64) -> bool) -> bool

Verify that the choice function is consistent: choices[n] belongs to set n. membership(n, x) returns true if x is in set n.

pub fn get(&self, n: usize) -> Option<u64>

Retrieve the choice for set n.

pub fn len(&self) -> usize

Number of sets for which a choice has been made.

pub fn is_empty(&self) -> bool

Returns true if no choices have been recorded.

Trait Implementations

impl Clone for CountableChoiceWitness

fn clone(&self) -> CountableChoiceWitness

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CountableChoiceWitness

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.