Index

_

__add__() (pyfcstm.model.expr.Expr method) __all__ (in module pyfcstm.diagnostics) (in module pyfcstm.diagnostics.analyzers) (in module pyfcstm.dsl.grammar.GrammarListener) (in module pyfcstm.dsl.node) (in module pyfcstm.entry) (in module pyfcstm.highlight) (in module pyfcstm.highlight.pygments_lexer) (in module pyfcstm.llm) (in module pyfcstm.model) (in module pyfcstm.model.expr) (in module pyfcstm.model.imports) (in module pyfcstm.model.load) (in module pyfcstm.model.model) (in module pyfcstm.model.plantuml) (in module pyfcstm.simulate) (in module pyfcstm.solver) (in module pyfcstm.solver.domain) (in module pyfcstm.solver.operation) (in module pyfcstm.template) (in module pyfcstm.utils.fixed) (in module pyfcstm.utils.parse) (in module pyfcstm.verify) (in module pyfcstm.verify.algorithms) (in module pyfcstm.verify.algorithms.effect) (in module pyfcstm.verify.algorithms.guard) (in module pyfcstm.verify.algorithms.lifecycle) (in module pyfcstm.verify.algorithms.transition) (in module pyfcstm.verify.encoding) (in module pyfcstm.verify.encoding.expr) (in module pyfcstm.verify.encoding.guard) (in module pyfcstm.verify.encoding.initial) (in module pyfcstm.verify.encoding.lifecycle) (in module pyfcstm.verify.encoding.operation) (in module pyfcstm.verify.encoding.trigger) (in module pyfcstm.verify.inspect_adapter) (in module pyfcstm.verify.registry) (in module pyfcstm.verify.result) (in module pyfcstm.verify.taxonomy) (in module pyfcstm.verify.topology) __and__() (pyfcstm.model.expr.Expr method) __AUTHOR__ (in module pyfcstm.config.meta) __AUTHOR_EMAIL__ (in module pyfcstm.config.meta) __call__() (pyfcstm.model.expr.Expr method) __DESCRIPTION__ (in module pyfcstm.config.meta) __ge__() (pyfcstm.model.expr.Expr method) __gt__() (pyfcstm.model.expr.Expr method) __init__() (pyfcstm.diagnostics.sink.DiagnosticSink method) (pyfcstm.dsl.error.AmbiguityError method) (pyfcstm.dsl.error.CollectingErrorListener method) (pyfcstm.dsl.error.ContextSensitivityError method) (pyfcstm.dsl.error.FullContextAttemptError method) (pyfcstm.dsl.error.GrammarParseError method) (pyfcstm.dsl.error.SyntaxFailError method) (pyfcstm.dsl.error.UnfinishedParsingError method) (pyfcstm.dsl.grammar.GrammarLexer.GrammarLexer method) (pyfcstm.dsl.grammar.GrammarParser.GrammarParser method) (pyfcstm.dsl.listener.GrammarParseListener method) (pyfcstm.entry.base.KeyboardInterrupted method) (pyfcstm.entry.simulate.batch.BatchProcessor method) (pyfcstm.entry.simulate.commands.CommandProcessor method) (pyfcstm.entry.simulate.commands.Settings method) (pyfcstm.entry.simulate.completer.SimulationCompleter method) (pyfcstm.entry.simulate.display.StateDisplay method) (pyfcstm.entry.simulate.logging.SimulateCliFormatter method) (pyfcstm.entry.simulate.logging.SimulateLogHighlighter method) (pyfcstm.entry.simulate.logging.SimulatePlainLogHandler method) (pyfcstm.entry.simulate.logging.SimulateRichLogHandler method) (pyfcstm.entry.simulate.repl.AutoSuggestFromCompleter method) (pyfcstm.entry.simulate.repl.SimulationREPL method) (pyfcstm.render.render.StateMachineCodeRenderer method) (pyfcstm.simulate.runtime.SimulationRuntime method) (pyfcstm.utils.validate.ModelValidationError method) __le__() (pyfcstm.model.expr.Expr method) __lshift__() (pyfcstm.model.expr.Expr method) __lt__() (pyfcstm.model.expr.Expr method) __mod__() (pyfcstm.model.expr.Expr method) __mul__() (pyfcstm.model.expr.Expr method) __neg__() (pyfcstm.model.expr.Expr method)

__or__() (pyfcstm.model.expr.Expr method) __pos__() (pyfcstm.model.expr.Expr method) __post_init__() (pyfcstm.dsl.node.BinaryOp method) (pyfcstm.dsl.node.Boolean method) (pyfcstm.dsl.node.ImportStatement method) (pyfcstm.dsl.node.StateDefinition method) (pyfcstm.dsl.node.UnaryOp method) (pyfcstm.model.expr.BinaryOp method) (pyfcstm.model.expr.Boolean method) (pyfcstm.model.expr.UnaryOp method) (pyfcstm.model.model.State method) (pyfcstm.model.plantuml.PlantUMLOptions method) (pyfcstm.simulate.context.ReadOnlyExecutionContext method) (pyfcstm.solver.operation.OperationBranch method) (pyfcstm.verify.topology.LeafLevelGraph method) __pow__() (pyfcstm.model.expr.Expr method) __radd__() (pyfcstm.model.expr.Expr method) __rand__() (pyfcstm.model.expr.Expr method) __repr__() (pyfcstm.solver.solve.SolveResult method) __rlshift__() (pyfcstm.model.expr.Expr method) __rmod__() (pyfcstm.model.expr.Expr method) __rmul__() (pyfcstm.model.expr.Expr method) __ror__() (pyfcstm.model.expr.Expr method) __rpow__() (pyfcstm.model.expr.Expr method) __rrshift__() (pyfcstm.model.expr.Expr method) __rshift__() (pyfcstm.model.expr.Expr method) __rsub__() (pyfcstm.model.expr.Expr method) __rtruediv__() (pyfcstm.model.expr.Expr method) __rxor__() (pyfcstm.model.expr.Expr method) __str__() (pyfcstm.dsl.node.BinaryOp method) (pyfcstm.dsl.node.ChainID method) (pyfcstm.dsl.node.Condition method) (pyfcstm.dsl.node.ConditionalOp method) (pyfcstm.dsl.node.Constant method) (pyfcstm.dsl.node.ConstantDefinition method) (pyfcstm.dsl.node.DefAssignment method) (pyfcstm.dsl.node.DuringAbstractFunction method) (pyfcstm.dsl.node.DuringAspectAbstractFunction method) (pyfcstm.dsl.node.DuringAspectOperations method) (pyfcstm.dsl.node.DuringAspectRefFunction method) (pyfcstm.dsl.node.DuringOperations method) (pyfcstm.dsl.node.DuringRefFunction method) (pyfcstm.dsl.node.EnterAbstractFunction method) (pyfcstm.dsl.node.EnterOperations method) (pyfcstm.dsl.node.EnterRefFunction method) (pyfcstm.dsl.node.EventDefinition method) (pyfcstm.dsl.node.ExitAbstractFunction method) (pyfcstm.dsl.node.ExitOperations method) (pyfcstm.dsl.node.ExitRefFunction method) (pyfcstm.dsl.node.Float method) (pyfcstm.dsl.node.ForceTransitionDefinition method) (pyfcstm.dsl.node.HexInt method) (pyfcstm.dsl.node.ImportDefExactSelector method) (pyfcstm.dsl.node.ImportDefFallbackSelector method) (pyfcstm.dsl.node.ImportDefMapping method) (pyfcstm.dsl.node.ImportDefPatternSelector method) (pyfcstm.dsl.node.ImportDefSetSelector method) (pyfcstm.dsl.node.ImportDefTargetTemplate method) (pyfcstm.dsl.node.ImportEventMapping method) (pyfcstm.dsl.node.ImportStatement method) (pyfcstm.dsl.node.InitialAssignment method) (pyfcstm.dsl.node.Literal method) (pyfcstm.dsl.node.Name method) (pyfcstm.dsl.node.Operation method) (pyfcstm.dsl.node.OperationalDeprecatedAssignment method) (pyfcstm.dsl.node.OperationAssignment method) (pyfcstm.dsl.node.OperationIf method) (pyfcstm.dsl.node.Paren method) (pyfcstm.dsl.node.Preamble method) (pyfcstm.dsl.node.StateDefinition method) (pyfcstm.dsl.node.StateMachineDSLProgram method) (pyfcstm.dsl.node.TransitionDefinition method) (pyfcstm.dsl.node.UFunc method) (pyfcstm.dsl.node.UnaryOp method) (pyfcstm.model.expr.Expr method) __sub__() (pyfcstm.model.expr.Expr method) __TITLE__ (in module pyfcstm.config.meta) __truediv__() (pyfcstm.model.expr.Expr method) __VERSION__ (in module pyfcstm.config.meta) __xor__() (pyfcstm.model.expr.Expr method)

A

abstract_error_mode (pyfcstm.simulate.runtime.SimulationRuntime property) abstract_handler() (in module pyfcstm.simulate.decorators) abstract_handler_errors (pyfcstm.simulate.runtime.SimulationRuntime property) abstract_on_during_aspects (pyfcstm.model.model.State property) abstract_on_durings (pyfcstm.model.model.State property) abstract_on_enters (pyfcstm.model.model.State property) abstract_on_exits (pyfcstm.model.model.State property) ActionInfo (class in pyfcstm.diagnostics.inspect) add_builtins_to_env() (in module pyfcstm.utils.jinja2) add_settings_for_env() (in module pyfcstm.utils.jinja2) affecting_variables() (pyfcstm.diagnostics.analyzers.use_def.UseDefGraph method)

AlgorithmResult (class in pyfcstm.verify.result) aliases (pyfcstm.highlight.pygments_lexer.FcstmLexer attribute) ALL (in module pyfcstm.dsl.node) AmbiguityError (class in pyfcstm.dsl.error) analyse_text() (pyfcstm.highlight.pygments_lexer.FcstmLexer static method) and_() (pyfcstm.model.expr.Expr method) assemble_state_machine_imports() (in module pyfcstm.model.imports) assign_event_colors() (in module pyfcstm.model.plantuml) AstExportable (class in pyfcstm.model.base) ASTNode (class in pyfcstm.dsl.node) auto_decode() (in module pyfcstm.utils.decode) AutoSuggestFromCompleter (class in pyfcstm.entry.simulate.repl)

B

BatchProcessor (class in pyfcstm.entry.simulate.batch) BinaryOp (class in pyfcstm.dsl.node) (class in pyfcstm.model.expr) Boolean (class in pyfcstm.dsl.node) (class in pyfcstm.model.expr)

BranchFeasibility (class in pyfcstm.solver.domain) brief_stack (pyfcstm.simulate.runtime.SimulationRuntime property) build_inspect_json() (in module pyfcstm.entry.inspect) build_leaf_level_macro_graph() (in module pyfcstm.verify.topology) build_plantuml_output() (in module pyfcstm.entry.plantuml) build_use_def_graph() (in module pyfcstm.diagnostics.analyzers.use_def)

C

CALL_COUNT_SCALING_ORDER (in module pyfcstm.verify.taxonomy) CallCountScaling (in module pyfcstm.verify.taxonomy) ChainID (class in pyfcstm.dsl.node) check_errors() (pyfcstm.dsl.error.CollectingErrorListener method) check_expr_safety() (in module pyfcstm.solver.safety) check_expr_safety_for_effect() (in module pyfcstm.solver.safety) check_unfinished_parsing_error() (pyfcstm.dsl.error.CollectingErrorListener method) clear_all_abstract_handlers() (pyfcstm.simulate.runtime.SimulationRuntime method) cli (in module pyfcstm.entry.cli), [1] ClickErrorException (class in pyfcstm.entry.base) ClickWarningException (class in pyfcstm.entry.base) Closedness (in module pyfcstm.verify.taxonomy) CODE_REGISTRY (in module pyfcstm.diagnostics.codes) CodeFieldSpec (class in pyfcstm.diagnostics.codes) CodeSpec (class in pyfcstm.diagnostics.codes) CodesSchemaError (class in pyfcstm.diagnostics.codes) collect (pyfcstm.diagnostics.sink.DiagnosticSink property) collect_const_fold_warnings() (in module pyfcstm.diagnostics.analyzers.const_fold) collect_data_flow_warnings() (in module pyfcstm.diagnostics.analyzers.data_flow) collect_design_health_warnings() (in module pyfcstm.diagnostics.analyzers.design_health) collect_event_transitions() (in module pyfcstm.model.plantuml) collect_expr_variables() (in module pyfcstm.diagnostics.analyzers.use_def) collect_naming_warnings() (in module pyfcstm.diagnostics.analyzers.naming) collect_redundancy_warnings() (in module pyfcstm.diagnostics.analyzers.redundancy) collect_structural_warnings() (in module pyfcstm.diagnostics.analyzers.structural) collect_threshold_warnings() (in module pyfcstm.diagnostics.analyzers.thresholds) collect_transition_infos() (in module pyfcstm.diagnostics.analyzers.transition_info) collect_type_warnings() (in module pyfcstm.diagnostics.analyzers.type_shape)

CollectingErrorListener (class in pyfcstm.dsl.error) command_wrap() (in module pyfcstm.entry.base) CommandProcessor (class in pyfcstm.entry.simulate.commands) CommandResult (class in pyfcstm.entry.simulate.commands) COMPLEXITY_TIER_ORDER (in module pyfcstm.verify.taxonomy) ComplexityTier (in module pyfcstm.verify.taxonomy) composite_init_guards_incomplete() (in module pyfcstm.verify.algorithms.transition) Condition (class in pyfcstm.dsl.node) ConditionalOp (class in pyfcstm.dsl.node) (class in pyfcstm.model.expr) configure_simulate_cli_logger() (in module pyfcstm.entry.simulate.logging) Constant (class in pyfcstm.dsl.node) ConstantDefinition (class in pyfcstm.dsl.node) ConstValue (in module pyfcstm.diagnostics.analyzers.const_fold) CONTEXT_SETTINGS (in module pyfcstm.entry.base) ContextSensitivityError (class in pyfcstm.dsl.error) copy_one_file() (pyfcstm.render.render.StateMachineCodeRenderer method) copy_session_configuration_to() (pyfcstm.simulate.runtime.SimulationRuntime method) create_completer() (pyfcstm.entry.simulate.commands.CommandProcessor method) create_cross_platform_output_func() (in module pyfcstm.entry.simulate.batch) create_env() (in module pyfcstm.render.env) create_expr_render_template() (in module pyfcstm.render.expr) create_local_plantuml_backend() (in module pyfcstm.entry.visualize) create_remote_plantuml_backend() (in module pyfcstm.entry.visualize) create_simulate_log_handler() (in module pyfcstm.entry.simulate.logging) create_stmt_render_template() (in module pyfcstm.render.statement) create_z3_vars_from_models() (in module pyfcstm.solver.expr) current_state (pyfcstm.simulate.runtime.SimulationRuntime property) cycle() (pyfcstm.simulate.runtime.SimulationRuntime method)

D

dead_guard() (in module pyfcstm.verify.algorithms.guard) DefAssignment (class in pyfcstm.dsl.node) DEFAULT_DEEP_HIERARCHY_THRESHOLD (in module pyfcstm.diagnostics.inspect) DEFAULT_LARGE_COMPOSITE_THRESHOLD (in module pyfcstm.diagnostics.inspect) DEFAULT_VAR_TO_LEAF_RATIO_THRESHOLD (in module pyfcstm.diagnostics.inspect) dependencies_of() (pyfcstm.diagnostics.analyzers.use_def.UseDefGraph method) DetailLevelLiteral (in module pyfcstm.model.plantuml) detect_headless_environment() (in module pyfcstm.entry.visualize) diagnostics (pyfcstm.diagnostics.sink.DiagnosticSink property) DiagnosticSink (class in pyfcstm.diagnostics.sink)

DomainConstraint (class in pyfcstm.solver.domain) DomainSource (class in pyfcstm.solver.domain) DuringAbstractFunction (class in pyfcstm.dsl.node) DuringAspectAbstractFunction (class in pyfcstm.dsl.node) DuringAspectOperations (class in pyfcstm.dsl.node) DuringAspectRefFunction (class in pyfcstm.dsl.node) DuringAspectStatement (class in pyfcstm.dsl.node) DuringOperations (class in pyfcstm.dsl.node) DuringRefFunction (class in pyfcstm.dsl.node) DuringStatement (class in pyfcstm.dsl.node)

E

effect_contradicts_guard() (in module pyfcstm.verify.algorithms.effect) effect_no_op_under_guard() (in module pyfcstm.verify.algorithms.effect) eligible_for_inspect() (in module pyfcstm.verify.inspect_adapter) emit() (pyfcstm.diagnostics.sink.DiagnosticSink method) enter_postcondition_implies_during_precondition() (in module pyfcstm.verify.algorithms.lifecycle) EnterAbstractFunction (class in pyfcstm.dsl.node) EnterOperations (class in pyfcstm.dsl.node) EnterRefFunction (class in pyfcstm.dsl.node) EnterStatement (class in pyfcstm.dsl.node) eq() (pyfcstm.model.expr.Expr method) error_info (pyfcstm.simulate.runtime.SimulationRuntime property) escape_plantuml_table_cell() (in module pyfcstm.model.plantuml) Event (class in pyfcstm.model.model) event_emission_to_consumer_reachable() (in module pyfcstm.verify.topology) EventDefinition (class in pyfcstm.dsl.node) EventInfo (class in pyfcstm.diagnostics.inspect) execute_commands() (pyfcstm.entry.simulate.batch.BatchProcessor method) execute_operations() (in module pyfcstm.solver.operation) execute_operations_domain() (in module pyfcstm.solver.operation) exit_code (pyfcstm.entry.base.KeyboardInterrupted attribute) EXIT_ROOT_SINK (in module pyfcstm.verify.topology) EXIT_STATE (in module pyfcstm.dsl.node) ExitAbstractFunction (class in pyfcstm.dsl.node) exitBinaryExprCond() (pyfcstm.dsl.listener.GrammarParseListener method) exitBinaryExprFromCondCond() (pyfcstm.dsl.listener.GrammarParseListener method) exitBinaryExprFromNumCond() (pyfcstm.dsl.listener.GrammarParseListener method) exitBinaryExprInit() (pyfcstm.dsl.listener.GrammarParseListener method) exitBinaryExprNum() (pyfcstm.dsl.listener.GrammarParseListener method) exitBool_literal() (pyfcstm.dsl.listener.GrammarParseListener method) exitChain_id() (pyfcstm.dsl.listener.GrammarParseListener method) exitCompositeStateDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitCondition() (pyfcstm.dsl.listener.GrammarParseListener method) exitConditionalCStyleCondNum() (pyfcstm.dsl.listener.GrammarParseListener method) exitConditionalCStyleExprNum() (pyfcstm.dsl.listener.GrammarParseListener method) exitConstant_definition() (pyfcstm.dsl.listener.GrammarParseListener method) exitDef_assignment() (pyfcstm.dsl.listener.GrammarParseListener method) exitDuringAbstractFunc() (pyfcstm.dsl.listener.GrammarParseListener method) exitDuringAspectAbstractFunc() (pyfcstm.dsl.listener.GrammarParseListener method) exitDuringAspectOperations() (pyfcstm.dsl.listener.GrammarParseListener method) exitDuringAspectRefFunc() (pyfcstm.dsl.listener.GrammarParseListener method) exitDuringOperations() (pyfcstm.dsl.listener.GrammarParseListener method) exitDuringRefFunc() (pyfcstm.dsl.listener.GrammarParseListener method) exitEnterAbstractFunc() (pyfcstm.dsl.listener.GrammarParseListener method) exitEnterOperations() (pyfcstm.dsl.listener.GrammarParseListener method) exitEnterRefFunc() (pyfcstm.dsl.listener.GrammarParseListener method) exitEntryTransitionDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitEvent_definition() (pyfcstm.dsl.listener.GrammarParseListener method) exitExitAbstractFunc() (pyfcstm.dsl.listener.GrammarParseListener method) exitExitAllForceTransitionDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitExitForceTransitionDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitExitOperations() (pyfcstm.dsl.listener.GrammarParseListener method)

exitExitRefFunc() (pyfcstm.dsl.listener.GrammarParseListener method) exitExitTransitionDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitFuncExprInit() (pyfcstm.dsl.listener.GrammarParseListener method) exitFuncExprNum() (pyfcstm.dsl.listener.GrammarParseListener method) exitGeneric_expression() (pyfcstm.dsl.listener.GrammarParseListener method) exitIdExprNum() (pyfcstm.dsl.listener.GrammarParseListener method) exitIf_statement() (pyfcstm.dsl.listener.GrammarParseListener method) exitImport_def_mapping() (pyfcstm.dsl.listener.GrammarParseListener method) exitImport_event_mapping() (pyfcstm.dsl.listener.GrammarParseListener method) exitImport_mapping_statement() (pyfcstm.dsl.listener.GrammarParseListener method) exitImport_statement() (pyfcstm.dsl.listener.GrammarParseListener method) exitImportDefExactSelector() (pyfcstm.dsl.listener.GrammarParseListener method) exitImportDefFallbackSelector() (pyfcstm.dsl.listener.GrammarParseListener method) exitImportDefPatternSelector() (pyfcstm.dsl.listener.GrammarParseListener method) exitImportDefSetSelector() (pyfcstm.dsl.listener.GrammarParseListener method) exitInitial_assignment() (pyfcstm.dsl.listener.GrammarParseListener method) exitLeafStateDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitLiteralExprCond() (pyfcstm.dsl.listener.GrammarParseListener method) exitLiteralExprInit() (pyfcstm.dsl.listener.GrammarParseListener method) exitLiteralExprNum() (pyfcstm.dsl.listener.GrammarParseListener method) exitMath_const() (pyfcstm.dsl.listener.GrammarParseListener method) exitMathConstExprInit() (pyfcstm.dsl.listener.GrammarParseListener method) exitMathConstExprNum() (pyfcstm.dsl.listener.GrammarParseListener method) exitNormalAllForceTransitionDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitNormalForceTransitionDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitNormalTransitionDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitNum_literal() (pyfcstm.dsl.listener.GrammarParseListener method) exitOperation_assignment() (pyfcstm.dsl.listener.GrammarParseListener method) exitOperation_block() (pyfcstm.dsl.listener.GrammarParseListener method) exitOperation_program() (pyfcstm.dsl.listener.GrammarParseListener method) exitOperational_assignment() (pyfcstm.dsl.listener.GrammarParseListener method) exitOperational_statement() (pyfcstm.dsl.listener.GrammarParseListener method) exitOperational_statement_set() (pyfcstm.dsl.listener.GrammarParseListener method) ExitOperations (class in pyfcstm.dsl.node) exitParenExprCond() (pyfcstm.dsl.listener.GrammarParseListener method) exitParenExprInit() (pyfcstm.dsl.listener.GrammarParseListener method) exitParenExprNum() (pyfcstm.dsl.listener.GrammarParseListener method) exitPreamble_program() (pyfcstm.dsl.listener.GrammarParseListener method) exitPreamble_statement() (pyfcstm.dsl.listener.GrammarParseListener method) ExitRefFunction (class in pyfcstm.dsl.node) exitState_inner_statement() (pyfcstm.dsl.listener.GrammarParseListener method) exitState_machine_dsl() (pyfcstm.dsl.listener.GrammarParseListener method) ExitStatement (class in pyfcstm.dsl.node) exitUnaryExprCond() (pyfcstm.dsl.listener.GrammarParseListener method) exitUnaryExprInit() (pyfcstm.dsl.listener.GrammarParseListener method) exitUnaryExprNum() (pyfcstm.dsl.listener.GrammarParseListener method) Expr (class in pyfcstm.dsl.node) (class in pyfcstm.model.expr) expr_to_z3() (in module pyfcstm.solver.expr) ExprDomain (class in pyfcstm.solver.domain) extract_template() (in module pyfcstm.template)

F

FallbackUnknownRisk (in module pyfcstm.verify.taxonomy) FcstmLexer (class in pyfcstm.highlight.pygments_lexer) filenames (pyfcstm.highlight.pygments_lexer.FcstmLexer attribute) finalize_or_raise() (pyfcstm.diagnostics.sink.DiagnosticSink method) FinitenessReport (class in pyfcstm.verify.topology) Float (class in pyfcstm.dsl.node) (class in pyfcstm.model.expr) fn_expr_render() (in module pyfcstm.render.expr) fn_stmt_render() (in module pyfcstm.render.statement) fn_stmts_render() (in module pyfcstm.render.statement) fold_condition_expression() (in module pyfcstm.diagnostics.analyzers.const_fold) fold_numeric_expression() (in module pyfcstm.diagnostics.analyzers.const_fold) forced_guard_unsat_under_init() (in module pyfcstm.verify.algorithms.guard) ForcedTransitionInfo (class in pyfcstm.diagnostics.inspect) ForceTransitionDefinition (class in pyfcstm.dsl.node)

ForLlmSpec (class in pyfcstm.diagnostics.codes) format_action_text() (in module pyfcstm.model.plantuml) format_current_state() (pyfcstm.entry.simulate.display.StateDisplay method) format_event_name() (in module pyfcstm.model.plantuml) format_events() (pyfcstm.entry.simulate.display.StateDisplay method) format_line() (pyfcstm.utils.validate.ModelDiagnostic method) format_multiline_comment() (in module pyfcstm.utils.doc) format_state_name() (in module pyfcstm.model.plantuml) format_table() (pyfcstm.entry.simulate.display.StateDisplay method) FormulaSizeScaling (in module pyfcstm.verify.taxonomy) from_json() (pyfcstm.utils.json.IJsonOp class method) from_value() (pyfcstm.model.plantuml.PlantUMLOptions class method) FullContextAttemptError (class in pyfcstm.dsl.error) func_name (pyfcstm.model.model.OnAspect property) (pyfcstm.model.model.OnStage property)

G

get() (pyfcstm.entry.simulate.commands.Settings method) get_abstract_handlers() (pyfcstm.simulate.runtime.SimulationRuntime method) get_completions() (pyfcstm.entry.simulate.completer.SimulationCompleter method) get_current_event_completion_items() (in module pyfcstm.entry.simulate.events) get_current_event_display_items() (in module pyfcstm.entry.simulate.events) get_full_state_path() (pyfcstm.simulate.context.ReadOnlyExecutionContext method) get_grammar_guide_prompt_for_llm() (in module pyfcstm.llm) get_grammar_guide_prompt_metadata_for_llm() (in module pyfcstm.llm) get_grammar_guide_prompt_path_for_llm() (in module pyfcstm.llm) get_handler_metadata() (in module pyfcstm.simulate.decorators) get_logger() (in module pyfcstm.utils.logging) get_state_name() (pyfcstm.simulate.context.ReadOnlyExecutionContext method)

get_suggestion() (pyfcstm.entry.simulate.repl.AutoSuggestFromCompleter method) get_template_info() (in module pyfcstm.template) get_var() (pyfcstm.simulate.context.ReadOnlyExecutionContext method) get_visualize_cache_dir() (in module pyfcstm.entry.visualize) GrammarGuidePromptIntegrityError (class in pyfcstm.llm) GrammarGuidePromptPathUnavailableError (class in pyfcstm.llm) GrammarItemError (class in pyfcstm.dsl.error) GrammarLexer (class in pyfcstm.dsl.grammar.GrammarLexer) GrammarParseError (class in pyfcstm.dsl.error) GrammarParseListener (class in pyfcstm.dsl.listener) GrammarParser (class in pyfcstm.dsl.grammar.GrammarParser) GrammarParserListener (class in pyfcstm.dsl.grammar.GrammarParserListener) guard_tautology() (in module pyfcstm.verify.algorithms.guard)

H

has_abstract_handlers() (pyfcstm.simulate.runtime.SimulationRuntime method) has_errors() (pyfcstm.diagnostics.sink.DiagnosticSink method) has_template() (in module pyfcstm.template)

has_var() (pyfcstm.simulate.context.ReadOnlyExecutionContext method) HexInt (class in pyfcstm.dsl.node) highlight() (pyfcstm.entry.simulate.logging.SimulateLogHighlighter method)

I

Identifier (class in pyfcstm.dsl.node) IdentifierKeywordLanguage (in module pyfcstm.utils.text) if_then_else() (pyfcstm.model.expr.Expr method) IfBlock (class in pyfcstm.model.model) IfBlockBranch (class in pyfcstm.model.model) IJsonOp (class in pyfcstm.utils.json) ImportDefExactSelector (class in pyfcstm.dsl.node) ImportDefFallbackSelector (class in pyfcstm.dsl.node) ImportDefMapping (class in pyfcstm.dsl.node) ImportDefPatternSelector (class in pyfcstm.dsl.node) ImportDefSelector (class in pyfcstm.dsl.node) ImportDefSetSelector (class in pyfcstm.dsl.node) ImportDefTargetTemplate (class in pyfcstm.dsl.node) ImportEventMapping (class in pyfcstm.dsl.node) ImportMappingStatement (class in pyfcstm.dsl.node) ImportStatement (class in pyfcstm.dsl.node) InevitabilityReport (class in pyfcstm.verify.topology) INIT_STATE (in module pyfcstm.dsl.node) init_transitions (pyfcstm.model.model.State property) InitialAssignment (class in pyfcstm.dsl.node) inspect_model() (in module pyfcstm.diagnostics.inspect) InspectAccessForbiddenError (class in pyfcstm.verify.inspect_adapter) InspectRunResult (class in pyfcstm.verify.inspect_adapter) Int16 (class in pyfcstm.utils.fixed) Int32 (class in pyfcstm.utils.fixed)

Int64 (class in pyfcstm.utils.fixed) Int8 (class in pyfcstm.utils.fixed) Integer (class in pyfcstm.dsl.node) (class in pyfcstm.model.expr) is_abstract_handler() (in module pyfcstm.simulate.decorators) is_aspect (pyfcstm.model.model.OnAspect property) (pyfcstm.model.model.OnStage property) is_binary_file() (in module pyfcstm.utils.binary) is_ended (pyfcstm.simulate.runtime.SimulationRuntime property) is_error() (pyfcstm.utils.validate.ModelDiagnostic method) is_error_state (pyfcstm.simulate.runtime.SimulationRuntime property) is_leaf_state (pyfcstm.model.model.State property) is_overlap() (in module pyfcstm.solver.logical) is_ref (pyfcstm.model.model.OnAspect property) (pyfcstm.model.model.OnStage property) is_root_state (pyfcstm.model.model.State property) is_sat (in module pyfcstm.verify.encoding._core) is_sat() (in module pyfcstm.solver.logical) is_state_resolve_event_path() (in module pyfcstm.simulate.utils) is_stoppable (pyfcstm.model.model.State property) is_valid() (in module pyfcstm.solver.logical) iter_inspect_eligible() (in module pyfcstm.verify.inspect_adapter) iter_on_during_after_aspect_recursively() (pyfcstm.model.model.State method) iter_on_during_aspect_recursively() (pyfcstm.model.model.State method) iter_on_during_before_aspect_recursively() (pyfcstm.model.model.State method) IValidatable (class in pyfcstm.utils.validate)

J

json (pyfcstm.utils.json.IJsonOp property)

K

KeyboardInterrupted (class in pyfcstm.entry.base)

KNOWN_SPANLESS_CODES (in module pyfcstm.diagnostics.inspect)

L

LeafLevelGraph (class in pyfcstm.verify.topology) list_all() (pyfcstm.entry.simulate.commands.Settings method) list_on_during_aspect_recursively() (pyfcstm.model.model.State method) list_on_during_aspects() (pyfcstm.model.model.State method) list_on_durings() (pyfcstm.model.model.State method) list_on_enters() (pyfcstm.model.model.State method) list_on_exits() (pyfcstm.model.model.State method) list_templates() (in module pyfcstm.template)

list_variables() (pyfcstm.model.expr.Expr method) Literal (class in pyfcstm.dsl.node) load_codes() (in module pyfcstm.diagnostics.codes) load_plantumlcli_classes() (in module pyfcstm.entry.visualize) load_state_machine_from_file() (in module pyfcstm.model.load) load_state_machine_from_text() (in module pyfcstm.model.load) log() (pyfcstm.entry.simulate.display.StateDisplay method) LogLevel (class in pyfcstm.entry.simulate.commands)

M

make_diag() (in module pyfcstm.verify.result) merge_definedness_constraints() (in module pyfcstm.solver.domain) merge_operation_definedness() (in module pyfcstm.solver.operation) mimetypes (pyfcstm.highlight.pygments_lexer.FcstmLexer attribute) ModelDiagnostic (class in pyfcstm.utils.validate) ModelInspect (class in pyfcstm.diagnostics.inspect) ModelLookupError (class in pyfcstm.utils.validate) ModelMetrics (class in pyfcstm.diagnostics.inspect) ModelValidationError (class in pyfcstm.utils.validate) ModelValueError (class in pyfcstm.utils.validate) module pyfcstm pyfcstm.config pyfcstm.config.meta pyfcstm.diagnostics pyfcstm.diagnostics.analyzers pyfcstm.diagnostics.analyzers.const_fold pyfcstm.diagnostics.analyzers.data_flow pyfcstm.diagnostics.analyzers.design_health pyfcstm.diagnostics.analyzers.naming pyfcstm.diagnostics.analyzers.redundancy pyfcstm.diagnostics.analyzers.structural pyfcstm.diagnostics.analyzers.thresholds pyfcstm.diagnostics.analyzers.transition_info pyfcstm.diagnostics.analyzers.type_shape pyfcstm.diagnostics.analyzers.use_def pyfcstm.diagnostics.codes pyfcstm.diagnostics.inspect pyfcstm.diagnostics.sink pyfcstm.diagnostics.suggested_fix pyfcstm.dsl pyfcstm.dsl.error pyfcstm.dsl.grammar pyfcstm.dsl.grammar.GrammarLexer pyfcstm.dsl.grammar.GrammarListener pyfcstm.dsl.grammar.GrammarParser pyfcstm.dsl.grammar.GrammarParserListener pyfcstm.dsl.listener pyfcstm.dsl.node pyfcstm.dsl.parse pyfcstm.entry pyfcstm.entry.base 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 pyfcstm.highlight pyfcstm.highlight.pygments_lexer pyfcstm.llm pyfcstm.model pyfcstm.model.base pyfcstm.model.expr pyfcstm.model.imports pyfcstm.model.load pyfcstm.model.model pyfcstm.model.plantuml pyfcstm.render pyfcstm.render.env pyfcstm.render.expr pyfcstm.render.func pyfcstm.render.render pyfcstm.render.statement pyfcstm.simulate pyfcstm.simulate.context pyfcstm.simulate.decorators pyfcstm.simulate.runtime pyfcstm.simulate.utils pyfcstm.solver pyfcstm.solver.domain pyfcstm.solver.expr pyfcstm.solver.logical pyfcstm.solver.operation pyfcstm.solver.safety pyfcstm.solver.solve pyfcstm.template pyfcstm.utils pyfcstm.utils.binary pyfcstm.utils.decode pyfcstm.utils.doc pyfcstm.utils.fixed pyfcstm.utils.jinja2 pyfcstm.utils.json pyfcstm.utils.logging pyfcstm.utils.parse pyfcstm.utils.safe pyfcstm.utils.text pyfcstm.utils.validate pyfcstm.verify pyfcstm.verify.algorithms pyfcstm.verify.algorithms.effect pyfcstm.verify.algorithms.guard pyfcstm.verify.algorithms.lifecycle pyfcstm.verify.algorithms.transition pyfcstm.verify.encoding pyfcstm.verify.encoding._core pyfcstm.verify.encoding.expr pyfcstm.verify.encoding.guard pyfcstm.verify.encoding.initial pyfcstm.verify.encoding.lifecycle pyfcstm.verify.encoding.operation pyfcstm.verify.encoding.trigger pyfcstm.verify.inspect_adapter pyfcstm.verify.registry pyfcstm.verify.result pyfcstm.verify.taxonomy pyfcstm.verify.topology

N

Name (class in pyfcstm.dsl.node) name (pyfcstm.highlight.pygments_lexer.FcstmLexer attribute) name_ast_node() (pyfcstm.model.model.VarDefine method) ne() (pyfcstm.model.expr.Expr method) non_abstract_on_during_aspects (pyfcstm.model.model.State property)

non_abstract_on_durings (pyfcstm.model.model.State property) non_abstract_on_enters (pyfcstm.model.model.State property) non_abstract_on_exits (pyfcstm.model.model.State property) normalize() (in module pyfcstm.utils.text) not_() (pyfcstm.model.expr.Expr method)

O

OnAspect (class in pyfcstm.model.model) OnStage (class in pyfcstm.model.model) Op (class in pyfcstm.model.expr) op_mark (pyfcstm.model.expr.BinaryOp property) (pyfcstm.model.expr.ConditionalOp property) (pyfcstm.model.expr.Op property) (pyfcstm.model.expr.UnaryOp property) open_diagram_with_default_app() (in module pyfcstm.entry.visualize) Operation (class in pyfcstm.dsl.node) (class in pyfcstm.model.model) OperationalDeprecatedAssignment (class in pyfcstm.dsl.node)

OperationalStatement (class in pyfcstm.dsl.node) OperationAssignment (class in pyfcstm.dsl.node) OperationBranch (class in pyfcstm.solver.operation) OperationExecution (class in pyfcstm.solver.operation) OperationFailure (class in pyfcstm.solver.operation) OperationIf (class in pyfcstm.dsl.node) OperationIfBranch (class in pyfcstm.dsl.node) OperationSource (in module pyfcstm.solver.operation) OperationStatement (class in pyfcstm.model.model) OperationStep (class in pyfcstm.solver.operation) or_() (pyfcstm.model.expr.Expr method)

P

P (in module pyfcstm.entry.base) Paren (class in pyfcstm.dsl.node) parent (pyfcstm.model.model.OnAspect property), [1] (pyfcstm.model.model.OnStage property), [1] (pyfcstm.model.model.State property), [1] (pyfcstm.model.model.Transition property), [1] parse_condition() (in module pyfcstm.dsl.parse) parse_dsl_node_to_state_machine() (in module pyfcstm.model.model) parse_expr() (in module pyfcstm.model.expr) parse_expr_from_string() (in module pyfcstm.model.expr) parse_expr_node_to_expr() (in module pyfcstm.model.expr) parse_key_value_pairs() (in module pyfcstm.utils.parse) parse_operation() (in module pyfcstm.dsl.parse) parse_operations() (in module pyfcstm.solver.operation) parse_preamble() (in module pyfcstm.dsl.parse) parse_state_machine_dsl() (in module pyfcstm.dsl.parse) parse_value() (in module pyfcstm.utils.parse) parse_with_grammar_entry() (in module pyfcstm.dsl.parse) path (pyfcstm.model.model.Event property) path_name (pyfcstm.model.model.Event property) PLANTUML_OPTION_TYPES (in module pyfcstm.entry.plantuml) PlantUMLExportable (class in pyfcstm.model.base) PlantUMLOptions (class in pyfcstm.model.plantuml) PlantUMLOptionsInput (in module pyfcstm.model.plantuml) POST_EXIT_CONTINUATION_LABEL (in module pyfcstm.entry.simulate.events) Preamble (class in pyfcstm.dsl.node) print_exception() (in module pyfcstm.entry.base) print_version() (in module pyfcstm.entry.dispatch) process() (pyfcstm.entry.simulate.commands.CommandProcessor method) process_item_to_object() (in module pyfcstm.render.func) pyfcstm module pyfcstm.config module pyfcstm.config.meta module pyfcstm.diagnostics module pyfcstm.diagnostics.analyzers module pyfcstm.diagnostics.analyzers.const_fold module pyfcstm.diagnostics.analyzers.data_flow module pyfcstm.diagnostics.analyzers.design_health module pyfcstm.diagnostics.analyzers.naming module pyfcstm.diagnostics.analyzers.redundancy module pyfcstm.diagnostics.analyzers.structural module pyfcstm.diagnostics.analyzers.thresholds module pyfcstm.diagnostics.analyzers.transition_info module pyfcstm.diagnostics.analyzers.type_shape module pyfcstm.diagnostics.analyzers.use_def module pyfcstm.diagnostics.codes module pyfcstm.diagnostics.inspect module pyfcstm.diagnostics.sink module pyfcstm.diagnostics.suggested_fix module pyfcstm.dsl module pyfcstm.dsl.error module pyfcstm.dsl.grammar module pyfcstm.dsl.grammar.GrammarLexer module pyfcstm.dsl.grammar.GrammarListener module pyfcstm.dsl.grammar.GrammarParser module pyfcstm.dsl.grammar.GrammarParserListener module pyfcstm.dsl.listener module pyfcstm.dsl.node module pyfcstm.dsl.parse module pyfcstm.entry module pyfcstm.entry.base module pyfcstm.entry.cli module pyfcstm.entry.dispatch module pyfcstm.entry.generate module pyfcstm.entry.inspect module pyfcstm.entry.plantuml module pyfcstm.entry.simulate module pyfcstm.entry.simulate.batch module pyfcstm.entry.simulate.commands module pyfcstm.entry.simulate.completer module pyfcstm.entry.simulate.display module pyfcstm.entry.simulate.events module pyfcstm.entry.simulate.logging module pyfcstm.entry.simulate.repl module pyfcstm.entry.visualize module pyfcstm.highlight module

pyfcstm.highlight.pygments_lexer module pyfcstm.llm module pyfcstm.model module pyfcstm.model.base module pyfcstm.model.expr module pyfcstm.model.imports module pyfcstm.model.load module pyfcstm.model.model module pyfcstm.model.plantuml module pyfcstm.render module pyfcstm.render.env module pyfcstm.render.expr module pyfcstm.render.func module pyfcstm.render.render module pyfcstm.render.statement module pyfcstm.simulate module pyfcstm.simulate.context module pyfcstm.simulate.decorators module pyfcstm.simulate.runtime module pyfcstm.simulate.utils module pyfcstm.solver module pyfcstm.solver.domain module pyfcstm.solver.expr module pyfcstm.solver.logical module pyfcstm.solver.operation module pyfcstm.solver.safety module pyfcstm.solver.solve module pyfcstm.template module pyfcstm.utils module pyfcstm.utils.binary module pyfcstm.utils.decode module pyfcstm.utils.doc module pyfcstm.utils.fixed module pyfcstm.utils.jinja2 module pyfcstm.utils.json module pyfcstm.utils.logging module pyfcstm.utils.parse module pyfcstm.utils.safe module pyfcstm.utils.text module pyfcstm.utils.validate module pyfcstm.verify module pyfcstm.verify.algorithms module pyfcstm.verify.algorithms.effect module pyfcstm.verify.algorithms.guard module pyfcstm.verify.algorithms.lifecycle module pyfcstm.verify.algorithms.transition module pyfcstm.verify.encoding module pyfcstm.verify.encoding._core module pyfcstm.verify.encoding.expr module pyfcstm.verify.encoding.guard module pyfcstm.verify.encoding.initial module pyfcstm.verify.encoding.lifecycle module pyfcstm.verify.encoding.operation module pyfcstm.verify.encoding.trigger module pyfcstm.verify.inspect_adapter module pyfcstm.verify.registry module pyfcstm.verify.result module pyfcstm.verify.taxonomy module pyfcstm.verify.topology module pyfcstmcli() (in module pyfcstm.entry.dispatch) python_round_to_z3() (in module pyfcstm.solver.expr)

R

R (in module pyfcstm.entry.base) read_json() (pyfcstm.utils.json.IJsonOp class method) read_yaml() (pyfcstm.utils.json.IJsonOp class method) ReadOnlyExecutionContext (class in pyfcstm.simulate.context) refs_with_suggested_fix() (in module pyfcstm.diagnostics.suggested_fix) register_abstract_handler() (pyfcstm.simulate.runtime.SimulationRuntime method) register_handlers_from_object() (pyfcstm.simulate.runtime.SimulationRuntime method) REGISTRY (in module pyfcstm.verify.registry) render() (pyfcstm.render.render.StateMachineCodeRenderer method) render_expr_node() (in module pyfcstm.render.expr) render_one_file() (pyfcstm.render.render.StateMachineCodeRenderer method) render_plantuml_diagram() (in module pyfcstm.entry.visualize) render_stmt_node() (in module pyfcstm.render.statement)

render_stmt_nodes() (in module pyfcstm.render.statement) render_suggested_fix() (in module pyfcstm.diagnostics.suggested_fix) reportAmbiguity() (pyfcstm.dsl.error.CollectingErrorListener method) reportAttemptingFullContext() (pyfcstm.dsl.error.CollectingErrorListener method) reportContextSensitivity() (pyfcstm.dsl.error.CollectingErrorListener method) required_fields() (pyfcstm.diagnostics.codes.CodeSpec method) resolve_event() (pyfcstm.model.model.State method) (pyfcstm.model.model.StateMachine method) resolve_renderer_backend() (in module pyfcstm.entry.visualize) resolve_visualize_output_path() (in module pyfcstm.entry.visualize) ResultKind (in module pyfcstm.verify.result) run() (pyfcstm.entry.simulate.repl.SimulationREPL method) run_inspect_algorithms() (in module pyfcstm.verify.inspect_adapter) run_plantumlcli_builtin_check() (in module pyfcstm.entry.visualize)

S

SafetyCheck (class in pyfcstm.solver.safety) SafetyReason (in module pyfcstm.solver.safety) SatResult (class in pyfcstm.solver.logical) select() (pyfcstm.model.expr.Expr method) sequence_safe() (in module pyfcstm.utils.safe) serializedATN() (in module pyfcstm.dsl.grammar.GrammarLexer) (in module pyfcstm.dsl.grammar.GrammarParser) set() (pyfcstm.entry.simulate.commands.Settings method) Settings (class in pyfcstm.entry.simulate.commands) should_show_action() (in module pyfcstm.model.plantuml) show() (pyfcstm.entry.base.ClickErrorException method) (pyfcstm.entry.base.ClickWarningException method) SimulateCliFormatter (class in pyfcstm.entry.simulate.logging) SimulateLogHighlighter (class in pyfcstm.entry.simulate.logging) SimulatePlainLogHandler (class in pyfcstm.entry.simulate.logging) SimulateRichLogHandler (class in pyfcstm.entry.simulate.logging) SimulationCompleter (class in pyfcstm.entry.simulate.completer) SimulationREPL (class in pyfcstm.entry.simulate.repl) SimulationRuntime (class in pyfcstm.simulate.runtime) SimulationRuntimeActionReferenceError (class in pyfcstm.simulate.runtime)

SimulationRuntimeDfsError (class in pyfcstm.simulate.runtime) SimulationRuntimeEventError (class in pyfcstm.simulate.runtime) SimulationRuntimeExpressionError (class in pyfcstm.simulate.runtime) skip_result() (in module pyfcstm.verify.result) SMTLogic (in module pyfcstm.verify.taxonomy) solve() (in module pyfcstm.solver.solve) SolveResult (class in pyfcstm.solver.solve) Span (class in pyfcstm.utils.validate) State (class in pyfcstm.model.model) StateDefinition (class in pyfcstm.dsl.node) StateDisplay (class in pyfcstm.entry.simulate.display) StateInfo (class in pyfcstm.diagnostics.inspect) StateMachine (class in pyfcstm.model.model) StateMachineCodeRenderer (class in pyfcstm.render.render) StateMachineDSLProgram (class in pyfcstm.dsl.node) Statement (class in pyfcstm.dsl.node) strongly_connected_components() (in module pyfcstm.verify.topology) SuggestedFixSpec (class in pyfcstm.diagnostics.codes) syntaxError() (pyfcstm.dsl.error.CollectingErrorListener method) SyntaxFailError (class in pyfcstm.dsl.error)

T

T (in module pyfcstm.utils.json) to_ast_node() (pyfcstm.model.base.AstExportable method) (pyfcstm.model.expr.BinaryOp method) (pyfcstm.model.expr.Boolean method) (pyfcstm.model.expr.ConditionalOp method) (pyfcstm.model.expr.Expr method) (pyfcstm.model.expr.Float method) (pyfcstm.model.expr.Integer method) (pyfcstm.model.expr.UFunc method) (pyfcstm.model.expr.UnaryOp method) (pyfcstm.model.expr.Variable method) (pyfcstm.model.model.Event method) (pyfcstm.model.model.IfBlock method) (pyfcstm.model.model.IfBlockBranch method) (pyfcstm.model.model.OnAspect method) (pyfcstm.model.model.OnStage method) (pyfcstm.model.model.Operation method) (pyfcstm.model.model.State method) (pyfcstm.model.model.StateMachine method) (pyfcstm.model.model.Transition method) (pyfcstm.model.model.VarDefine method) to_c_identifier() (in module pyfcstm.utils.text) to_config() (pyfcstm.model.plantuml.PlantUMLOptions method) to_cpp_identifier() (in module pyfcstm.utils.text) to_go_identifier() (in module pyfcstm.utils.text) to_identifier() (in module pyfcstm.utils.text) to_java_identifier() (in module pyfcstm.utils.text)

to_js_identifier() (in module pyfcstm.utils.text) to_json() (pyfcstm.diagnostics.inspect.ModelInspect method) (pyfcstm.utils.json.IJsonOp method) to_plantuml() (pyfcstm.model.base.PlantUMLExportable method) (pyfcstm.model.model.State method) (pyfcstm.model.model.StateMachine method) to_python_identifier() (in module pyfcstm.utils.text) to_ruby_identifier() (in module pyfcstm.utils.text) to_rust_identifier() (in module pyfcstm.utils.text) to_transition_ast_node() (pyfcstm.model.model.State method) to_ts_identifier() (in module pyfcstm.utils.text) to_yaml() (pyfcstm.utils.json.IJsonOp method) tokens (pyfcstm.highlight.pygments_lexer.FcstmLexer attribute) topological_finite() (in module pyfcstm.verify.topology) topological_inevitable_terminator() (in module pyfcstm.verify.topology) topological_reachable_set() (in module pyfcstm.verify.topology) Transition (class in pyfcstm.model.model) transition_shadowed_by_predecessor() (in module pyfcstm.verify.algorithms.transition) transition_to_ast_node() (pyfcstm.model.model.State class method) TransitionDefinition (class in pyfcstm.dsl.node) TransitionInfo (class in pyfcstm.diagnostics.inspect) transitions_entering_children (pyfcstm.model.model.State property) transitions_entering_children_simplified (pyfcstm.model.model.State property) transitions_from (pyfcstm.model.model.State property) transitions_to (pyfcstm.model.model.State property) translate_expr_domain() (in module pyfcstm.solver.domain) TranslationFailure (class in pyfcstm.solver.domain)

U

UFunc (class in pyfcstm.dsl.node) (class in pyfcstm.model.expr) UInt16 (class in pyfcstm.utils.fixed) UInt32 (class in pyfcstm.utils.fixed) UInt64 (class in pyfcstm.utils.fixed) UInt8 (class in pyfcstm.utils.fixed)

UnaryOp (class in pyfcstm.dsl.node) (class in pyfcstm.model.expr) UnfinishedParsingError (class in pyfcstm.dsl.error) unreachable_states() (in module pyfcstm.verify.topology) unregister_abstract_handler() (pyfcstm.simulate.runtime.SimulationRuntime method) UseDefGraph (class in pyfcstm.diagnostics.analyzers.use_def)

V

validate() (pyfcstm.utils.validate.IValidatable method) ValidationError (class in pyfcstm.utils.validate) value (pyfcstm.dsl.node.Literal property) var_name_to_ast_node() (pyfcstm.model.model.Operation method) VarDefine (class in pyfcstm.model.model)

Variable (class in pyfcstm.model.expr) VariableInfo (class in pyfcstm.diagnostics.inspect) VerificationScope (in module pyfcstm.verify.taxonomy) VERIFY_SHARED_STATIC_CODES (in module pyfcstm.diagnostics.inspect) VerifyAlgorithmMeta (class in pyfcstm.verify.taxonomy)

W

walk_states() (pyfcstm.model.model.State method) (pyfcstm.model.model.StateMachine method)

windows_chinese_encodings (in module pyfcstm.utils.decode)