Skip to main content

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".

Implementors§