Struct ipasir::Lit

#[repr(transparent)]pub struct Lit(_);

A literal of the IPASIR implementing solver.

Methods

impl Lit

pub unsafe fn new_unchecked(val: c_int) -> Self

Creates a new Lit from the given value.

Safety

This does not check if the given value is zero and thus invalid.

pub fn to_raw(self) -> c_int

Returns the underlying c_int representation of self.

pub fn var(self) -> Var

Returns the variable of self.

pub fn sign(self) -> Sign

Returns the sign of self.

Trait Implementations

impl Clone for Lit

fn clone(&self) -> Lit

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Lit

impl Debug for Lit

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

Formats the value using the given formatter.

impl Eq for Lit

impl PartialEq<Lit> for Lit

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

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

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

This method tests for !=.

impl StructuralEq for Lit

impl StructuralPartialEq for Lit

impl TryFrom<i32> for Lit

type Error = InvalidLitVal

The type returned in the event of a conversion error.

fn try_from(val: c_int) -> StdResult<Self, Self::Error>

Performs the conversion.