Struct mop_blocks::CstrResult

pub struct CstrResult { /* fields omitted */ }

Constraint result

Methods

impl CstrResult

pub fn new() -> Self

pub fn add_single_weight(&mut self)

pub fn add_weight(&mut self, weight: usize)

pub fn clear(&mut self)

pub fn has_some_weight(&self) -> bool

pub fn push_reason(&mut self, reason: &str)

pub fn push_reason_and_add_weight(&mut self, reason: &str, weight: usize)

pub fn push_reason_and_add_single_weight(&mut self, reason: &str)

pub fn reasons(&self) -> &str

pub fn weight(&self) -> usize

Trait Implementations

impl Clone for CstrResult

fn clone(&self) -> CstrResult

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CstrResult

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

Formats the value using the given formatter.

impl Default for CstrResult

fn default() -> CstrResult

Returns the "default value" for a type.

impl PartialEq for CstrResult

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.