ImmutableNot

Trait ImmutableNot 

Source
pub trait ImmutableNot: Network {
    // Required methods
    fn get_inverted(&self, a: Self::Signal) -> Self::Signal;
    fn is_inverted(&self, a: Self::Signal) -> bool;
}
Expand description

Get the inverse of a signal without modifying the network. This can typically be done if the inversion is stored in the signal identifier.

Required Methods§

Source

fn get_inverted(&self, a: Self::Signal) -> Self::Signal

Get the inverted signal.

Source

fn is_inverted(&self, a: Self::Signal) -> bool

Check if this signal is inverted.

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§