Enum KnownConstant 

pub enum KnownConstant {
    Lit(LcnfLit),
    Top,
    Bottom,
}

The known value of a variable for CCP purposes.

Variants

Lit(LcnfLit)

The variable is definitely the given literal.

Top

The variable’s value is not yet determined.

Bottom

The variable could be more than one value (conservative).

Trait Implementations

impl Clone for KnownConstant

fn clone(&self) -> KnownConstant

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for KnownConstant

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

Formats the value using the given formatter.

impl PartialEq for KnownConstant

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for KnownConstant

impl StructuralPartialEq for KnownConstant