Struct VerifyState 

pub struct VerifyState {
    pub round: u8,
    pub well_defined_already_verified: bool,
}

Fields

round: u8

well_defined_already_verified: bool

Implementations

impl VerifyState

pub fn new(round: u8, well_defined_already_verified: bool) -> Self

pub fn is_final_round(&self) -> bool

pub fn new_state_with_round_increased(&self) -> Self

pub fn make_state_with_req_ok_set_to_true(&self) -> Self

pub fn is_round_0(&self) -> bool

pub fn make_final_round_state(&self) -> Self

pub fn new_with_final_round(well_defined_already_verified: bool) -> Self