stl

Parser handlers for GMSR-based Signal Temporal Logic operations.

Handlers: Or, And, Not, IfThen, IntegerVariable, Always, Eventually, Until