Enum ESat 

pub enum ESat {
    True,
    False,
    Undefined,
}

Represents the satisfaction state of a constraint.

This enum indicates whether a constraint is satisfied, not satisfied, or if it is not yet possible to determine its satisfaction state.

Variants

True

The constraint is satisfied.

False

The constraint is not satisfied.

Undefined

The satisfaction state cannot be determined yet.

Trait Implementations

impl Clone for ESat

fn clone(&self) -> ESat

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ESat

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

Formats the value using the given formatter.

impl PartialEq for ESat

fn eq(&self, other: &ESat) -> 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 Copy for ESat

impl Eq for ESat

impl StructuralPartialEq for ESat