Struct todc_utils::specifications::register::RegisterSpecification

pub struct RegisterSpecification<T: Default + Eq> { /* private fields */ }

A sequential specification of a register.

Trait Implementations

impl<T: Clone + Debug + Default + Eq + Hash> Specification for RegisterSpecification<T>

type State = T

type Operation = RegisterOperation<T>

fn init() -> Self::State

Returns an initial state for the object.

fn apply( operation: &Self::Operation, state: &Self::State ) -> (bool, Self::State)

Returns whether applying an operation to a given state is valid, and the new state that occurs after the operation has been applied.