Skip to main content

classify_temporal_formula

tensorlogic_ir

Function classify_temporal_formula 

Source 
pub fn classify_temporal_formula(expr: &TLExpr) -> TemporalClass
Expand description

Classify a temporal formula.

Determines whether the formula expresses a safety, liveness, fairness, or other temporal property.