Struct splr::types::Flag

pub struct Flag { /* fields omitted */ }

Methods

impl Flag

pub const DEAD: Flag

a clause is stored in DB, but is a garbage now.

pub const LEARNT: Flag

a clause is a generated clause by conflict analysis and is removable.

pub const JUST_USED: Flag

a clause is used recently in conflict analysis.

pub const OCCUR_LINKED: Flag

a clause is registered in vars' occurrence list.

pub const ENQUEUED: Flag

a clause or var is enqueued for eliminator.

pub const ELIMINATED: Flag

a var is eliminated and managed by eliminator.

pub const TOUCHED: Flag

mark to run garbage collector on the corresponding watcher lists

pub const fn empty() -> Flag

Returns an empty set of flags

pub const fn all() -> Flag

Returns the set containing all flags.

pub const fn bits(&self) -> u16

Returns the raw value of the flags currently stored.

pub fn from_bits(bits: u16) -> Option<Flag>

Convert from underlying bit representation, unless that representation contains bits that do not correspond to a flag.

pub const fn from_bits_truncate(bits: u16) -> Flag

Convert from underlying bit representation, dropping any bits that do not correspond to flags.

pub const fn is_empty(&self) -> bool

Returns true if no flags are currently stored.

pub const fn is_all(&self) -> bool

Returns true if all flags are currently set.

pub const fn intersects(&self, other: Flag) -> bool

Returns true if there are flags common to both self and other.

pub const fn contains(&self, other: Flag) -> bool

Returns true all of the flags in other are contained within self.

pub fn insert(&mut self, other: Flag)

Inserts the specified flags in-place.

pub fn remove(&mut self, other: Flag)

Removes the specified flags in-place.

pub fn toggle(&mut self, other: Flag)

Toggles the specified flags in-place.

pub fn set(&mut self, other: Flag, value: bool)

Inserts or removes the specified flags depending on the passed value.

Trait Implementations

impl Eq for Flag

impl Clone for Flag

fn clone(&self) -> Flag

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialOrd<Flag> for Flag

fn partial_cmp(&self, other: &Flag) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Flag) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Flag) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Flag) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Flag) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Extend<Flag> for Flag

fn extend<T: IntoIterator<Item = Flag>>(&mut self, iterator: T)

Extends a collection with the contents of an iterator.

impl PartialEq<Flag> for Flag

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

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

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

This method tests for !=.

impl Ord for Flag

fn cmp(&self, other: &Flag) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

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

Restrict a value to a certain interval.

impl Copy for Flag

impl Hash for Flag

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl Sub<Flag> for Flag

type Output = Flag

The resulting type after applying the - operator.

fn sub(self, other: Flag) -> Flag

Returns the set difference of the two sets of flags.

impl SubAssign<Flag> for Flag

fn sub_assign(&mut self, other: Flag)

Disables all flags enabled in the set.

impl Not for Flag

type Output = Flag

The resulting type after applying the ! operator.

fn not(self) -> Flag

Returns the complement of this set of flags.

impl BitAnd<Flag> for Flag

type Output = Flag

The resulting type after applying the & operator.

fn bitand(self, other: Flag) -> Flag

Returns the intersection between the two sets of flags.

impl BitOr<Flag> for Flag

type Output = Flag

The resulting type after applying the | operator.

fn bitor(self, other: Flag) -> Flag

Returns the union of the two sets of flags.

impl BitXor<Flag> for Flag

type Output = Flag

The resulting type after applying the ^ operator.

fn bitxor(self, other: Flag) -> Flag

Returns the left flags, but with all the right flags toggled.

impl BitAndAssign<Flag> for Flag

fn bitand_assign(&mut self, other: Flag)

Disables all flags disabled in the set.

impl BitOrAssign<Flag> for Flag

fn bitor_assign(&mut self, other: Flag)

Adds the set of flags.

impl BitXorAssign<Flag> for Flag

fn bitxor_assign(&mut self, other: Flag)

Toggles the set of flags.

impl Debug for Flag

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

Formats the value using the given formatter.

impl FromIterator<Flag> for Flag

fn from_iter<T: IntoIterator<Item = Flag>>(iterator: T) -> Flag

Creates a value from an iterator.

impl Octal for Flag

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

Formats the value using the given formatter.

impl Binary for Flag

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

Formats the value using the given formatter.

impl LowerHex for Flag

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

Formats the value using the given formatter.

impl UpperHex for Flag

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

Formats the value using the given formatter.