split_conjunct_bool_expr

taco_parser::tla

Function split_conjunct_bool_expr 

Source 
fn split_conjunct_bool_expr<T: Atomic>(
    bexpr: BooleanExpression<T>,
) -> Vec<BooleanExpression<T>>
Expand description

Split a conjunction of boolean expressions into a vector

This function splits only conjuncts on the top level ! It does not transform expressions into CNF