parse_boolean_expr

taco_parser::bymc

Function parse_boolean_expr 

Source 
fn parse_boolean_expr<T, U>(
    pair: Pair<'_, Rule>,
    builder: &U,
    ctx: &ByMCParsingContext<'_>,
) -> Result<BooleanExpression<T>, String>
where
    T: Atomic,
    U: IsDeclared<T> + IsDeclared<Parameter>,
Expand description

Parse a constraint from a boolean expression