menu
temporal_logic_flutter package
documentation
temporal_logic_flutter.dart
Next<T>
Next.new const constructor
Next.new const constructor
dark_mode
light_mode
Next<
T
>
constructor
const
Next<
T
>
(
Formula
<
T
>
operand
)
Creates a Next formula.
Implementation
const Next(this.operand);
temporal_logic_flutter package
documentation
temporal_logic_flutter
Next<T>
Next.new const constructor
Next class