Struct ratsat::clause::Lit
[−]
[src]
pub struct Lit(_);
Methods
impl Lit
[src]
pub const UNDEF: Lit
UNDEF: Lit = Lit(!1)
pub const ERROR: Lit
ERROR: Lit = Lit(!0)
pub fn idx(&self) -> u32
[src]
pub fn sign(&self) -> bool
[src]
pub fn var(&self) -> Var
[src]
Trait Implementations
impl Clone for Lit
[src]
fn clone(&self) -> Lit
[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 Lit
[src]
impl PartialEq for Lit
[src]
fn eq(&self, __arg_0: &Lit) -> bool
[src]
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &Lit) -> bool
[src]
This method tests for !=
.
impl Eq for Lit
[src]
impl PartialOrd for Lit
[src]
fn partial_cmp(&self, __arg_0: &Lit) -> Option<Ordering>
[src]
This method returns an ordering between self
and other
values if one exists. Read more
fn lt(&self, __arg_0: &Lit) -> bool
[src]
This method tests less than (for self
and other
) and is used by the <
operator. Read more
fn le(&self, __arg_0: &Lit) -> bool
[src]
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
fn gt(&self, __arg_0: &Lit) -> bool
[src]
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
fn ge(&self, __arg_0: &Lit) -> bool
[src]
This method tests greater than or equal to (for self
and other
) and is used by the >=
operator. Read more
impl Ord for Lit
[src]
fn cmp(&self, __arg_0: &Lit) -> Ordering
[src]
This method returns an Ordering
between self
and other
. Read more
fn max(self, other: Self) -> Self
1.21.0[src]
Compares and returns the maximum of two values. Read more
fn min(self, other: Self) -> Self
1.21.0[src]
Compares and returns the minimum of two values. Read more
impl Debug for Lit
[src]
fn fmt(&self, f: &mut Formatter) -> Result
[src]
Formats the value using the given formatter. Read more
impl Not for Lit
[src]
type Output = Self
The resulting type after applying the !
operator.
fn not(self) -> Self
[src]
Performs the unary !
operation.
impl BitXor<bool> for Lit
[src]
type Output = Self
The resulting type after applying the ^
operator.
fn bitxor(self, rhs: bool) -> Self
[src]
Performs the ^
operation.
impl BitXorAssign<bool> for Lit
[src]
fn bitxor_assign(&mut self, rhs: bool)
[src]
Performs the ^=
operation.