Struct sat::Literal [−] [src]

pub struct Literal {
    // some fields omitted
}

A literal; a variable or negated variable.

Literals support the ! (negation) operator.

Trait Implementations

impl Not for Literal

type Output = Literal

fn not(self) -> Literal

Derived Implementations

impl Clone for Literal

fn clone(&self) -> Literal

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

impl Copy for Literal