Enum satoxid::VarType

pub enum VarType<V> {
    Named(Lit<V>),
    Unnamed(i32),
}

Type which represents every used SAT variable by the encoder. It is either a named user defined SAT variable. Or an unnamed generated SAT variable.

Variants

Named(Lit<V>)

Unnamed(i32)

Trait Implementations

impl<V: Clone> Clone for VarType<V>

fn clone(&self) -> VarType<V>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<V: Debug> Debug for VarType<V>

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

Formats the value using the given formatter.

impl<V: SatVar> From<Lit<V>> for VarType<V>

fn from(l: Lit<V>) -> Self

Performs the conversion.

impl<V: SatVar> From<V> for VarType<V>

fn from(v: V) -> Self

Performs the conversion.

impl<V: Hash> Hash for VarType<V>

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<V> Not for VarType<V>

type Output = Self

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<V: Ord> Ord for VarType<V>

fn cmp(&self, other: &VarType<V>) -> Ordering

This method returns an Ordering between self and other.

#[must_use]

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

Compares and returns the maximum of two values.

#[must_use]

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

Compares and returns the minimum of two values.

#[must_use]

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

Restrict a value to a certain interval.

impl<V: PartialEq> PartialEq<VarType<V>> for VarType<V>

fn eq(&self, other: &VarType<V>) -> bool

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

fn ne(&self, other: &VarType<V>) -> bool

This method tests for !=.

impl<V: PartialOrd> PartialOrd<VarType<V>> for VarType<V>

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

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

#[must_use]

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

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

#[must_use]

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

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

#[must_use]

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

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

#[must_use]

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

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

impl<V: Copy> Copy for VarType<V>

impl<V: Eq> Eq for VarType<V>

impl<V> StructuralEq for VarType<V>

impl<V> StructuralPartialEq for VarType<V>