menu
temporal_logic_flutter package
documentation
temporal_logic_flutter.dart
Formula<T>
not method
not method
dark_mode
light_mode
not
method
Not
<
T
>
not
(
)
Creates a logical negation (NOT) of this formula.
!this
Implementation
Not<T> not() => Not<T>(this);
temporal_logic_flutter package
documentation
temporal_logic_flutter
Formula<T>
not method
Formula class