temporal_logic_core 0.1.0 copy "temporal_logic_core: ^0.1.0" to clipboard
temporal_logic_core: ^0.1.0 copied to clipboard

Published 6 months ago • verified publishercaph.jp
SDKDartFlutter
PlatformAndroidiOSLinuxmacOSwebWindows
→

Metadata

Core LTL/MTL AST, evaluator, and builder DSL for Dart.

More...

0.1.0 #

  • Initial release.
  • Provides core classes for propositional and LTL formulas (Formula, AtomicProposition, And, Or, Not, Implies, Next, Always, Eventually, Until, WeakUntil, Release).
  • Includes Trace and TraceEvent for representing timed event sequences.
  • Provides evaluateTrace function for evaluating formulas on traces, returning EvaluationResult.
  • Includes helper functions for formula construction in builder.dart (e.g., state, always, eventually, until).
  • Basic LogicalConnectives extension for formula building (and, or, implies, not).

← Metadata

0
likes
140
points
29
downloads

Publisher

verified publishercaph.jp

Weekly Downloads

Metadata

Core LTL/MTL AST, evaluator, and builder DSL for Dart.

Homepage
Repository (GitHub)
View/report issues

Documentation

API reference

License

MIT (license)

Dependencies

meta

More

Packages that depend on temporal_logic_core

Back