Trait clock_zones::AnyClock[−][src]

pub trait AnyClock: Copy + ClockToIndex {
    fn as_clock(&self) -> Clock { ... }

    fn is_zero(&self) -> bool { ... }

    fn is_variable(&self) -> bool { ... }
}

Either a Clock or a Variable.

Provided methods

fn as_clock(&self) -> Clock[src]

Converts the AnyClock into a Clock.

fn is_zero(&self) -> bool[src]

Checks whether the clock is the constant zero clock.

fn is_variable(&self) -> bool[src]

Checks whether the clock is a clock variable.

Loading content...

Implementors

Loading content...