Skip to main content

extract_atom_helper

taco_model_checker::internal_spec::extraction

Function extract_atom_helper 

Source 
fn extract_atom_helper(
    expr: NonNegatedELTLExpression,
) -> Result<UpwardsClosedSet, ExtractionError>
Expand description

Upwards closed set of a single atom