Skip to main content

contains_globally

taco_model_checker::internal_spec

Function contains_globally 

Source 
fn contains_globally(expr: &NonNegatedELTLExpression) -> bool
Expand description

Check whether the expression contains a [] operator