Struct ipasir::InvalidLitVal

pub struct InvalidLitVal(pub c_int);

Encountered when trying to create a literal with an invalid value.

Note

Invalid values are the following

• 0: Because it cannot have positive or negative polarity and because it is explicitely forbidden by the IPASIR specification
• INT_MIN: Because it cannot have positive polarity because -INT_MIN == INT_MIN.

Trait Implementations

impl Clone for InvalidLitVal

fn clone(&self) -> InvalidLitVal

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for InvalidLitVal

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

Formats the value using the given formatter.

impl Display for InvalidLitVal

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

Formats the value using the given formatter.

impl Eq for InvalidLitVal

impl Error for InvalidLitVal

fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any.

fn backtrace(&self) -> Option<&Backtrace>

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

Returns a stack backtrace, if available, of where this error occurred.

fn description(&self) -> &str

Deprecated since 1.42.0:

use the Display impl or to_string()

if let Err(e) = "xc".parse::<u32>() { // Print e itself, no need for description(). eprintln!("Error: {}", e); }

fn cause(&self) -> Option<&dyn Error>

Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

impl From<InvalidLitVal> for SolverError

fn from(err: InvalidLitVal) -> Self

Performs the conversion.

impl PartialEq<InvalidLitVal> for InvalidLitVal

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

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

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

This method tests for !=.

impl StructuralEq for InvalidLitVal

impl StructuralPartialEq for InvalidLitVal