Murxla
  • Installation
  • User Guide
  • How to Integrate a Solver
  • Advanced Documentation
    • Solver Wrapper Interface
    • Sort
    • Term
    • Sort Kind
    • Operators
    • Pre-Defined Operator Kinds
    • Pre-Defined Special Value Kinds
    • Theories
    • The Finite State Machine (FSM)
      • FSM: Actions
      • FSM: States
      • FSM
    • Solver Manager
    • Solver Options
    • Exceptions
Murxla
  • Advanced Documentation
  • The Finite State Machine (FSM)

The Finite State Machine (FSM)

  • FSM: Actions
    • murxla::Action::generate()
    • murxla::Action<Name>::run(<args>)
    • murxla::Action::untrace()
    • Solver-specific Actions
    • Tracing
    • FSM Configuration
    • The Base Class for Actions
    • Default Transitions
    • The Base Set of Actions
  • FSM: States
    • State
  • FSM
    • FSM
Previous Next

© Copyright 2022, the authors of Murxla.

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