Struct quaigh::network::Signal

pub struct Signal { /* private fields */ }

Representation of a signal (a boolean variable or its complement)

May be 0, 1, x or !x. Design inputs and constants get a special representation.

Implementations

impl Signal

pub fn zero() -> Signal

Constant zero signal

pub fn one() -> Signal

Constant one signal

pub fn from_var(v: u32) -> Signal

Create a signal from a variable index

pub fn from_input(v: u32) -> Signal

Create a signal from a design input index

pub fn var(&self) -> u32

Obtain the variable index associated with the signal

pub fn input(&self) -> u32

Obtain the design input index associated with the signal

pub fn ind(&self) -> u32

Obtain the internal index associated with the signal: 0 for a constant, otherwise var() + 1

pub fn is_constant(&self) -> bool

Returns true if the signal represents a constant

pub fn is_input(&self) -> bool

Returns true if the signal represents a design input

pub fn is_var(&self) -> bool

Returns true if the signal represents an internal variable

pub fn is_inverted(&self) -> bool

Returns true if the signal is implicitly inverted

False for inputs, variables and zero. True for their complement and for one.

pub fn raw(&self) -> u32

Return the internal representation of the signal

Trait Implementations

impl BitXor<&bool> for &Signal

type Output = Signal

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: &bool) -> Self::Output

Performs the ^ operation.

impl BitXor<&bool> for Signal

type Output = Signal

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: &bool) -> Self::Output

Performs the ^ operation.

impl BitXor<bool> for &Signal

type Output = Signal

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: bool) -> Self::Output

Performs the ^ operation.

impl BitXor<bool> for Signal

type Output = Signal

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: bool) -> Self::Output

Performs the ^ operation.

impl BitXorAssign<bool> for Signal

fn bitxor_assign(&mut self, rhs: bool)

Performs the ^= operation.

impl Clone for Signal

fn clone(&self) -> Signal

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Signal

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Signal

fn default() -> Signal

Returns the “default value” for a type.

impl Display for Signal

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<bool> for Signal

fn from(b: bool) -> Signal

Converts to this type from the input type.

impl Hash for Signal

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Not for &Signal

type Output = Signal

The resulting type after applying the ! operator.

fn not(self) -> Signal

Performs the unary ! operation.

impl Not for Signal

type Output = Signal

The resulting type after applying the ! operator.

fn not(self) -> Signal

Performs the unary ! operation.

impl Ord for Signal

fn cmp(&self, other: &Signal) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for Signal

fn eq(&self, other: &Signal) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for Signal

fn partial_cmp(&self, other: &Signal) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for Signal

impl Eq for Signal

impl StructuralEq for Signal

impl StructuralPartialEq for Signal