pyfcstm

Tutorials

  • Tutorial roadmap
  • Quick Start
  • Write your first FCSTM DSL model
  • FCSTM simulation first run
  • First inspect report
  • First generated runtime
  • First diagram
  • Your First Bounded Model Check

How-to Guides

  • How-to roadmap
  • Install pyfcstm
  • CLI workflows
  • BMC Task Recipes
  • DSL task guide
  • Simulation tasks
  • Inspect tasks
  • Generation tasks
  • Visualization tasks
  • Template author tasks
  • Grammar and editor tasks

Explanations

  • Explanation map
  • Architecture explanation
  • DSL semantics explanation
  • Execution semantics explanation
  • How FCSTM Becomes a Bounded Transition System
  • Property Objectives, Definedness, and Bounds
  • BMC solving, witnesses, and replay boundaries
  • Diagnostics explanation
  • Template rendering explanation
  • Grammar tooling explanation

Reference

  • Reference map
  • CLI reference
  • DSL reference
  • Inspect report reference
  • Diagnostics code reference
  • Simulation reference
  • Visualization options reference
  • Template configuration reference
  • Grammar and editor tooling reference
  • Built-in templates reference
  • FBMCQ Language Reference
  • BMC CLI and Result Protocol Reference
  • API Documentation
    • pyfcstm
    • pyfcstm.bmc
    • pyfcstm.config
    • pyfcstm.diagnostics
    • pyfcstm.dsl
    • pyfcstm.entry
      • pyfcstm.entry.base
      • pyfcstm.entry.bmc
      • pyfcstm.entry.cli
      • pyfcstm.entry.dispatch
      • pyfcstm.entry.generate
      • pyfcstm.entry.inspect
      • pyfcstm.entry.plantuml
      • pyfcstm.entry.simulate
        • pyfcstm.entry.simulate.batch
        • pyfcstm.entry.simulate.commands
        • pyfcstm.entry.simulate.completer
        • pyfcstm.entry.simulate.display
        • pyfcstm.entry.simulate.events
        • pyfcstm.entry.simulate.logging
        • pyfcstm.entry.simulate.repl
      • pyfcstm.entry.visualize
      • __all__
    • pyfcstm.highlight
    • pyfcstm.llm
    • pyfcstm.model
    • pyfcstm.render
    • pyfcstm.simulate
    • pyfcstm.solver
    • pyfcstm.template
    • pyfcstm.utils
    • pyfcstm.verify

Release Notes

  • Release Notes
pyfcstm
  • API Documentation
  • pyfcstm.entry
  • pyfcstm.entry.simulate
  • Edit on GitHub

pyfcstm.entry.simulate

CLI entry point for the interactive state machine simulator.

This module provides the simulate subcommand for the pyfcstm CLI tool.

  • pyfcstm.entry.simulate.batch
    • BatchProcessor
      • BatchProcessor
    • create_cross_platform_output_func
      • create_cross_platform_output_func()
  • pyfcstm.entry.simulate.commands
    • LogLevel
      • LogLevel
    • Settings
      • Settings
    • CommandResult
      • CommandResult
    • CommandProcessor
      • CommandProcessor
  • pyfcstm.entry.simulate.completer
    • SimulationCompleter
      • SimulationCompleter
  • pyfcstm.entry.simulate.display
    • StateDisplay
      • StateDisplay
  • pyfcstm.entry.simulate.events
    • POST_EXIT_CONTINUATION_LABEL
      • POST_EXIT_CONTINUATION_LABEL
    • get_current_event_display_items
      • get_current_event_display_items()
    • get_current_event_completion_items
      • get_current_event_completion_items()
  • pyfcstm.entry.simulate.logging
    • SimulatePlainLogHandler
      • SimulatePlainLogHandler
    • SimulateLogHighlighter
      • SimulateLogHighlighter
    • SimulateRichLogHandler
      • SimulateRichLogHandler
    • SimulateCliFormatter
      • SimulateCliFormatter
    • create_simulate_log_handler
      • create_simulate_log_handler()
    • configure_simulate_cli_logger
      • configure_simulate_cli_logger()
  • pyfcstm.entry.simulate.repl
    • AutoSuggestFromCompleter
      • AutoSuggestFromCompleter
    • SimulationREPL
      • SimulationREPL
Previous Next

© Copyright 2026, HansBug.

Built with Sphinx using a theme provided by Read the Docs.