EdgeWithInversion

libreda_logic::network

Trait EdgeWithInversion 

Source 
pub trait EdgeWithInversion: Edge {
    // Required methods
    fn is_inverted(&self) -> bool;
    fn invert(self) -> Self;

    // Provided methods
    fn invert_if(self, condition: bool) -> Self { ... }
    fn non_inverted(self) -> Self { ... }
}
Expand description

Trait for an edge ID which encodes an optional inversion of the signal.

Required Methods§

Source

fn is_inverted(&self) -> bool

Check if the signal is inverted along the edge.

Source

fn invert(self) -> Self

Create the inverted version of this edge.

Provided Methods§

Source

fn invert_if(self, condition: bool) -> Self

Create the inverted version of this edge iff condition is set to true, otherwise return a copy of the edge.

Source

fn non_inverted(self) -> Self

Get the non-inverted version of this edge.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§