Struct sat::Literal

pub struct Literal { /* fields omitted */ }

A literal; a variable or negated variable.

Literals support the ! (negation) operator.

Trait Implementations

impl Copy for Literal

impl Clone for Literal

fn clone(&self) -> Literal

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Not for Literal

type Output = Literal

The resulting type after applying the ! operator

fn not(self) -> Literal

The method for the unary ! operator