Function biodivine_lib_bdd::boolean_expression::_impl_parser::parse_boolean_expression

pub fn parse_boolean_expression(from: &str) -> Result<BooleanExpression, String>

Takes a String and turns it into a BooleanExpression or Error if the string is not valid.

Syntax for the formula is described in the tutorial.