Function biodivine_lib_bdd::boolean_expression::_impl_parser::parse_formula

source · [−]
fn parse_formula(data: &[ExprToken]) -> Result<Box<BooleanExpression>, String>
Expand description

(internal) Parse a ExprToken tree into a BooleanExpression (or error if invalid).