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.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.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.dsl
pyfcstm.dsl.grammar
pyfcstm.dsl.grammar.GrammarLexer
Edit on GitHub
pyfcstm.dsl.grammar.GrammarLexer
GrammarLexer
class
pyfcstm.dsl.grammar.GrammarLexer.
GrammarLexer
(
input=None
,
output:
~typing.TextIO
=
<_io.TextIOWrapper
name='<stdout>'
mode='w'
encoding='utf-8'>
)
[source]
__init__
(
input=None
,
output:
~typing.TextIO
=
<_io.TextIOWrapper
name='<stdout>'
mode='w'
encoding='utf-8'>
)
[source]
serializedATN
pyfcstm.dsl.grammar.GrammarLexer.
serializedATN
(
)
[source]