Struct ratsat::clause::lbool
[−]
[src]
pub struct lbool(_);
Methods
impl lbool[src]
pub const TRUE: lbool
TRUE: lbool = lbool(0)
pub const FALSE: lbool
FALSE: lbool = lbool(1)
pub const UNDEF: lbool
UNDEF: lbool = lbool(2)
pub fn from_u8(v: u8) -> Self[src]
pub fn new(v: bool) -> Self[src]
pub fn to_u8(&self) -> u8[src]
Trait Implementations
impl Clone for lbool[src]
fn clone(&self) -> lbool[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)1.0.0[src]
Performs copy-assignment from source. Read more
impl Copy for lbool[src]
impl Debug for lbool[src]
fn fmt(&self, f: &mut Formatter) -> Result[src]
Formats the value using the given formatter. Read more
impl Default for lbool[src]
impl PartialEq for lbool[src]
fn eq(&self, rhs: &Self) -> bool[src]
This method tests for self and other values to be equal, and is used by ==. Read more
fn ne(&self, other: &Rhs) -> bool1.0.0[src]
This method tests for !=.
impl Eq for lbool[src]
impl BitXor<bool> for lbool[src]
type Output = lbool
The resulting type after applying the ^ operator.
fn bitxor(self, rhs: bool) -> Self[src]
Performs the ^ operation.
impl BitXorAssign<bool> for lbool[src]
fn bitxor_assign(&mut self, rhs: bool)[src]
Performs the ^= operation.
impl BitAnd for lbool[src]
type Output = Self
The resulting type after applying the & operator.
fn bitand(self, rhs: Self) -> Self[src]
Performs the & operation.
impl BitAndAssign for lbool[src]
fn bitand_assign(&mut self, rhs: Self)[src]
Performs the &= operation.
impl BitOr for lbool[src]
type Output = Self
The resulting type after applying the | operator.
fn bitor(self, rhs: Self) -> Self[src]
Performs the | operation.
impl BitOrAssign for lbool[src]
fn bitor_assign(&mut self, rhs: Self)[src]
Performs the |= operation.