PacketFlow.Temporal.Logic behaviour (packetflow v0.1.0)

Summary

Callbacks

after?(time1, time2)
before?(time1, time2)
duration(start_time, end_time)
during?(time, start_time, end_time)
now()
overlap?(interval1, interval2)

Callbacks

after?(time1, time2)

@callback after?(time1 :: integer(), time2 :: integer()) :: boolean()

before?(time1, time2)

@callback before?(time1 :: integer(), time2 :: integer()) :: boolean()

duration(start_time, end_time)

@callback duration(start_time :: integer(), end_time :: integer()) :: integer()

during?(time, start_time, end_time)

@callback during?(time :: integer(), start_time :: integer(), end_time :: integer()) ::
  boolean()

now()

@callback now() :: integer()

overlap?(interval1, interval2)

@callback overlap?(
  interval1 :: {integer(), integer()},
  interval2 :: {integer(), integer()}
) :: boolean()