Enum canrun::goals::Not

pub enum Not {
    Fail,
    Maybe(Rc<NotConstraint>),
}

A Goal that only succeeds if the sub-goal is proved to always fail.

See not() for more details.

Variants

Fail

A Not with a sub-goal that failed quickly at creation time

Maybe(Rc<NotConstraint>)

A Not goal that needs further evaluation to see if it will succeed.

Trait Implementations

impl Debug for Not

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

Formats the value using the given formatter.

impl Goal for Not

fn apply(&self, state: State) -> Option<State>

Apply the Goal to a state, returning Some if the state is still valid, or None.