Function biodivine_lib_bdd::boolean_expression::_impl_parser::iff

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

(internal) Recursive parsing step 1: extract <=> operators.