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

Returned when the first and second Vals are successfully resolved.

Tuple Fields of AB

0: Rc<A>1: Rc<B>2: Val<C>

BC

Returned when the second and third Vals are successfully resolved.

Tuple Fields of BC

0: Val<A>1: Rc<B>2: Rc<C>

AC

Returned when the first and third Vals are successfully resolved.

Tuple Fields of AC

0: Rc<A>1: Val<B>2: Rc<C>

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.