AlwaysTimed<T> constructor

const AlwaysTimed<T>(
  1. Formula<T> operand,
  2. TimeInterval interval
)

Creates a timed always formula G_I φ.

Implementation

const AlwaysTimed(this.operand, this.interval);