PacketFlow.Temporal.Reasoning (packetflow v0.1.0)

Temporal reasoning and logic for time-aware computation

Summary

Functions

deftemporal_constraint(name, constraint_spec, list)

Define temporal constraints

deftemporal_logic(name, list)

Define temporal logic operators

Functions

deftemporal_constraint(name, constraint_spec, list)

(macro)

Define temporal constraints

deftemporal_logic(name, list)

(macro)

Define temporal logic operators