Struct solhop_types::Lit

pub struct Lit(_);

A literal.

Implementations

impl Lit

pub fn sign(self) -> bool

Returns true if literal is signed (i.e. a negated literal).

pub fn var(self) -> Var

Returns the var corresponding to the literal.

pub fn index(self) -> usize

Returns the actual value stored inside that can be used to index arrays.

pub fn new(var: Var, sign: bool) -> Lit

Create lit from var and sign

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 Not for Lit

type Output = Self

The resulting type after applying the ! operator.

fn not(self) -> Self

Returns x for -x and -x for x.

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 StructuralPartialEq for Lit