[][src]Trait spectrusty_core::clock::MemoryContention

pub trait MemoryContention: Copy + Debug {
    pub fn is_contended_address(self, address: u16) -> bool;
}

A trait used by VFrameTsCounter for checking if an address is a contended one.

Required methods

pub fn is_contended_address(self, address: u16) -> bool[src]

Loading content...

Implementors

Loading content...