Struct DSEExtConstFolder 

pub struct DSEExtConstFolder { /* private fields */ }

Constant folding helper for DSEExt.

Implementations

impl DSEExtConstFolder

pub fn new() -> Self

pub fn add_i64(&mut self, a: i64, b: i64) -> Option<i64>

pub fn sub_i64(&mut self, a: i64, b: i64) -> Option<i64>

pub fn mul_i64(&mut self, a: i64, b: i64) -> Option<i64>

pub fn div_i64(&mut self, a: i64, b: i64) -> Option<i64>

pub fn rem_i64(&mut self, a: i64, b: i64) -> Option<i64>

pub fn neg_i64(&mut self, a: i64) -> Option<i64>

pub fn shl_i64(&mut self, a: i64, s: u32) -> Option<i64>

pub fn shr_i64(&mut self, a: i64, s: u32) -> Option<i64>

pub fn and_i64(&mut self, a: i64, b: i64) -> i64

pub fn or_i64(&mut self, a: i64, b: i64) -> i64

pub fn xor_i64(&mut self, a: i64, b: i64) -> i64

pub fn not_i64(&mut self, a: i64) -> i64

pub fn fold_count(&self) -> usize

pub fn failure_count(&self) -> usize

pub fn enable(&mut self)

pub fn disable(&mut self)

pub fn is_enabled(&self) -> bool

Trait Implementations

impl Clone for DSEExtConstFolder

fn clone(&self) -> DSEExtConstFolder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DSEExtConstFolder

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

Formats the value using the given formatter.

impl Default for DSEExtConstFolder

fn default() -> DSEExtConstFolder

Returns the “default value” for a type.