Function biodivine_lib_bdd::boolean_expression::_impl_parser::index_of_first

source · [−]
fn index_of_first(data: &[ExprToken], token: ExprToken) -> Option<usize>
Expand description

(internal) Utility method to find first occurrence of a specific token in the token tree.