Function biodivine_lib_bdd::boolean_expression::_impl_parser::parse_boolean_expression

source · [−]
pub fn parse_boolean_expression(from: &str) -> Result<BooleanExpression, String>
Expand description

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.