menu
temporal_logic_flutter package
documentation
temporal_logic_flutter.dart
StreamMtlChecker<S>
buildCurrentTrace method
buildCurrentTrace method
dark_mode
light_mode
buildCurrentTrace
method
@
protected
Trace
<
S
>
buildCurrentTrace
(
)
inherited
Implementation
@protected TraceType buildCurrentTrace() { return buildTraceSnapshot(_trace); }
temporal_logic_flutter package
documentation
temporal_logic_flutter
StreamMtlChecker<S>
buildCurrentTrace method
StreamMtlChecker class