Trait snarkvm_wasm::traits::integers::integer::Integer [−][src]
pub trait Integer: Debug + Clone { type IntegerType; const SIZE: usize; fn constant(value: Self::IntegerType) -> Self; fn one() -> Self; fn zero() -> Self; fn new(bits: Vec<Boolean, Global>, value: Option<Self::IntegerType>) -> Self; fn is_constant(&self) -> bool; fn to_bits_le(&self) -> Vec<Boolean, Global>; fn from_bits_le(bits: &[Boolean]) -> Self; fn get_value(&self) -> Option<String>; fn result_is_constant(first: &Self, second: &Self) -> bool { ... } }
Expand description
The interface for a singed or unsigned integer gadget.
Associated Types
type IntegerType
Associated Constants
Required methods
fn constant(value: Self::IntegerType) -> Self
fn is_constant(&self) -> bool
fn is_constant(&self) -> bool
Returns true if all bits in this Int
are constant
fn to_bits_le(&self) -> Vec<Boolean, Global>
fn from_bits_le(bits: &[Boolean]) -> Self
Provided methods
fn result_is_constant(first: &Self, second: &Self) -> bool
fn result_is_constant(first: &Self, second: &Self) -> bool
Returns true if both Int
objects have constant bits