Enum canrun::state::constraints::TwoOfThree

pub enum TwoOfThree<A: Debug, B: Debug, C: Debug> {
    AB(Rc<A>, Rc<B>, Val<C>),
    BC(Val<A>, Rc<B>, Rc<C>),
    AC(Rc<A>, Val<B>, Rc<C>),
}

Resolve two out of three Vals or return an Err(VarWatch) in a Constraint.

Variants

AB(Rc<A>, Rc<B>, Val<C>)

Returned when the first and second Vals are successfully resolved.

BC(Val<A>, Rc<B>, Rc<C>)

Returned when the second and third Vals are successfully resolved.

AC(Rc<A>, Val<B>, Rc<C>)

Returned when the first and third Vals are successfully resolved.

Implementations

impl<A: Debug, B: Debug, C: Debug> TwoOfThree<A, B, C>

pub fn resolve<'a, D>(
    a: &Val<A>,
    b: &Val<B>,
    c: &Val<C>,
    state: &State<'a, D>
) -> Result<TwoOfThree<A, B, C>, VarWatch> where
    D: DomainType<'a, A> + DomainType<'a, B> + DomainType<'a, C>, 

Attempt to resolve a TwoOfThree enum from a State.