Struct awint_macro_internals::Usb

pub struct Usb {
    pub s: Vec<char>,
    pub x: i128,
}

Usize and/or String Bound. If s.is_empty(), then there is no arbitrary string in the bound and the base value is 0. x is added on to the value.

Fields

s: Vec<char>

x: i128

Implementations

impl Usb

pub const fn zero() -> Self

pub fn new_s(s: &[char]) -> Self

pub const fn val(x: i128) -> Self

pub fn simplify(&mut self) -> Result<(), String>

Tries to parse the s part of self as an integer and adds it to x. Performs advanced simplifications such as interpreting ({+/-}{string/i128} {+/-} {+/-}{string/i128}). Returns true if simplification happened

pub fn static_val(&self) -> Option<i128>

pub fn is_guaranteed_zero(&self) -> bool

Returns if we statically determine the bitwidth to be zero

Trait Implementations

impl Clone for Usb

fn clone(&self) -> Usb

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Usb

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

Formats the value using the given formatter.

impl Default for Usb

fn default() -> Usb

Returns the “default value” for a type.

impl Hash for Usb

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 PartialEq for Usb

fn eq(&self, other: &Usb) -> 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 Eq for Usb

impl StructuralPartialEq for Usb