Struct Int 

pub struct Int(/* private fields */);

Mathematical integers for writting specifications. Mathematical integers are unbounded and arithmetic operation on them never over or underflow.

Implementations

impl Int

pub fn pow2(self) -> Self

Raises 2 at the power self

pub fn _unsafe_from_str(s: &str) -> Self

Constructs a Int out of a string literal. This function assumes its argument consists only of decimal digits, with optionally a minus sign prefix.

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

impl Int

pub fn to_u8(self) -> u8

impl Int

pub fn to_u16(self) -> u16

impl Int

pub fn to_u32(self) -> u32

impl Int

pub fn to_u64(self) -> u64

impl Int

pub fn to_u128(self) -> u128

impl Int

pub fn to_usize(self) -> usize

impl Int

pub fn to_i8(self) -> i8

impl Int

pub fn to_i16(self) -> i16

impl Int

pub fn to_i32(self) -> i32

impl Int

pub fn to_i64(self) -> i64

impl Int

pub fn to_i128(self) -> i128

impl Int

pub fn to_isize(self) -> isize

Trait Implementations

impl Add for Int

type Output = Int

The resulting type after applying the + operator.

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

Performs the + operation.

impl Clone for Int

fn clone(&self) -> Int

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Concretization<i8> for Int

fn concretize(self) -> i8

Maps an abstract value and lowers it to its concrete counterpart.

impl Concretization<i16> for Int

fn concretize(self) -> i16

Maps an abstract value and lowers it to its concrete counterpart.

impl Concretization<i32> for Int

fn concretize(self) -> i32

Maps an abstract value and lowers it to its concrete counterpart.

impl Concretization<i64> for Int

fn concretize(self) -> i64

Maps an abstract value and lowers it to its concrete counterpart.

impl Concretization<i128> for Int

fn concretize(self) -> i128

Maps an abstract value and lowers it to its concrete counterpart.

impl Concretization<isize> for Int

fn concretize(self) -> isize

Maps an abstract value and lowers it to its concrete counterpart.

impl Concretization<u8> for Int

fn concretize(self) -> u8

Maps an abstract value and lowers it to its concrete counterpart.

impl Concretization<u16> for Int

fn concretize(self) -> u16

Maps an abstract value and lowers it to its concrete counterpart.

impl Concretization<u32> for Int

fn concretize(self) -> u32

Maps an abstract value and lowers it to its concrete counterpart.

impl Concretization<u64> for Int

fn concretize(self) -> u64

Maps an abstract value and lowers it to its concrete counterpart.

impl Concretization<u128> for Int

fn concretize(self) -> u128

Maps an abstract value and lowers it to its concrete counterpart.

impl Concretization<usize> for Int

fn concretize(self) -> usize

Maps an abstract value and lowers it to its concrete counterpart.

impl Copy for Int

impl Debug for Int

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

Formats the value using the given formatter.

impl Display for Int

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

Formats the value using the given formatter.

impl Div for Int

type Output = Int

The resulting type after applying the / operator.

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

Performs the / operation.

impl Eq for Int

impl Mul for Int

type Output = Int

The resulting type after applying the * operator.

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

Performs the * operation.

impl Neg for Int

type Output = Int

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Ord for Int

fn cmp(&self, other: &Int) -> 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,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for Int

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for Int

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

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

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

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

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

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

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

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

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

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

impl StructuralPartialEq for Int

impl Sub for Int

type Output = Int

The resulting type after applying the - operator.

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

Performs the - operation.