Enum ai_kit::constraints::SolveResult

pub enum SolveResult<T: ConstraintValue> {
    Conflict,
    Partial(Bindings<T>),
    Success(Bindings<T>),
}

Variants

Conflict

A conflict was found, no solution possible

Partial(Bindings<T>)

Incomplete solution; could not solve all constraints

Success(Bindings<T>)

Successful solution

Methods

impl<T: ConstraintValue> SolveResult<T>

fn ok(&self) -> Option<Bindings<T>>

fn and_then(&self, f: &Fn(&Bindings<T>) -> Self) -> Self

fn if_partial(&self, f: &Fn(&Bindings<T>) -> Self) -> Self

Trait Implementations

impl<T: Clone + ConstraintValue> Clone for SolveResult<T>

fn clone(&self) -> SolveResult<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug + ConstraintValue> Debug for SolveResult<T>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<T: Eq + ConstraintValue> Eq for SolveResult<T>

impl<T: PartialEq + ConstraintValue> PartialEq for SolveResult<T>

fn eq(&self, __arg_0: &SolveResult<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &SolveResult<T>) -> bool

This method tests for !=.

impl<T: ConstraintValue> Display for SolveResult<T>

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

Formats the value using the given formatter.