HUCTLp / com.github.sybila.huctl / Formula / Future / quantifier

quantifier

val quantifier: PathQuantifier

Overrides Temporal.quantifier

Specifies the condition for selecting paths originating in the inspected state.