Struct NativeFixedU64 

pub struct NativeFixedU64<const F: u32> { /* private fields */ }

Native Fixed point numbers with F bits of precision

Implementations

impl<const F: u32> NativeFixedU64<F>

pub fn new(v: NativeInt) -> Self

pub fn one() -> Self

pub fn to_bits(&self) -> u64

pub fn from_bits(bits: u64) -> Self

pub fn mul_by_int(&self, v: NativeInt) -> Self

pub fn div_by_int(&self, v: NativeInt) -> Self

pub fn checked_mul(&self, v: Self) -> Self

pub fn checked_add(&self, v: Self) -> Self

pub fn checked_div(&self, v: Self) -> Self

pub fn saturating_sub(&self, v: Self) -> Self

pub fn checked_sub(&self, v: Self) -> Self

pub fn ge(&self, v: NativeInt) -> bool

pub fn gt(&self, v: NativeInt) -> bool

pub fn le(&self, v: NativeInt) -> bool

pub fn lt(&self, v: NativeInt) -> bool

pub fn to_floor(&self) -> NativeInt

pub fn floor(&self) -> Self

pub fn to_ceil(&self) -> NativeInt

pub fn ceil(&self) -> Self

Trait Implementations

impl<const F: u32> Add for NativeFixedU64<F>

type Output = NativeFixedU64<F>

The resulting type after applying the + operator.

fn add(self, v: Self) -> Self::Output

Performs the + operation.

impl<const F: u32> Clone for NativeFixedU64<F>

fn clone(&self) -> NativeFixedU64<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const F: u32> CvlrLog for NativeFixedU64<F>

fn log(&self, tag: &str, logger: &mut CvlrLogger)

impl<const F: u32> Debug for NativeFixedU64<F>

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

Formats the value using the given formatter.

impl<const F: u32, T: Into<NativeInt>> Div<T> for NativeFixedU64<F>

type Output = NativeFixedU64<F>

The resulting type after applying the / operator.

fn div(self, v: T) -> Self::Output

Performs the / operation.

impl<const F: u32> Div for NativeFixedU64<F>

type Output = NativeFixedU64<F>

The resulting type after applying the / operator.

fn div(self, v: Self) -> Self::Output

Performs the / operation.

impl<const F: u32, T: Into<NativeInt>> From<T> for NativeFixedU64<F>

fn from(value: T) -> Self

Converts to this type from the input type.

impl<const F: u32, T: Into<NativeInt>> Mul<T> for NativeFixedU64<F>

type Output = NativeFixedU64<F>

The resulting type after applying the * operator.

fn mul(self, v: T) -> Self::Output

Performs the * operation.

impl<const F: u32> Mul for NativeFixedU64<F>

type Output = NativeFixedU64<F>

The resulting type after applying the * operator.

fn mul(self, v: Self) -> Self::Output

Performs the * operation.

impl<const F: u32> Nondet for NativeFixedU64<F>

fn nondet() -> Self

fn nondet_with<F>(func: F) -> Self

where F: FnOnce(&Self) -> bool,

impl<const F: u32> Ord for NativeFixedU64<F>

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

This method returns an Ordering between self and other.

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

Compares and returns the maximum of two values.

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

Compares and returns the minimum of two values.

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

Restrict a value to a certain interval.

impl<const F: u32> PartialEq for NativeFixedU64<F>

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl<const F: u32> PartialOrd for NativeFixedU64<F>

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

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

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

Tests less than (for self and other) and is used by the < operator.

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

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

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

Tests greater than (for self and other) and is used by the > operator.

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

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

impl<const F: u32> Sub for NativeFixedU64<F>

type Output = NativeFixedU64<F>

The resulting type after applying the - operator.

fn sub(self, v: Self) -> Self::Output

Performs the - operation.

impl<const F: u32> Copy for NativeFixedU64<F>

impl<const F: u32> Eq for NativeFixedU64<F>