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.bmc.ast
pyfcstm.bmc.binding
pyfcstm.bmc.domain
pyfcstm.bmc.engine
pyfcstm.bmc.errors
pyfcstm.bmc.expand
pyfcstm.bmc.grammar
pyfcstm.bmc.grammar.BmcQueryLexer
pyfcstm.bmc.grammar.BmcQueryParser
pyfcstm.bmc.grammar.BmcQueryParserListener
pyfcstm.bmc.listener
pyfcstm.bmc.macro
pyfcstm.bmc.parse
pyfcstm.bmc.pipeline
pyfcstm.bmc.properties
pyfcstm.bmc.query
pyfcstm.bmc.relation
pyfcstm.bmc.source
pyfcstm.bmc.witness
__all__
__getattr__
__dir__
pyfcstm.config
pyfcstm.diagnostics
pyfcstm.dsl
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.bmc
pyfcstm.bmc.grammar
pyfcstm.bmc.grammar.BmcQueryParser
Edit on GitHub
pyfcstm.bmc.grammar.BmcQueryParser
BmcQueryParser
class
pyfcstm.bmc.grammar.BmcQueryParser.
BmcQueryParser
(
input:
~antlr4.BufferedTokenStream.TokenStream
,
output:
~typing.TextIO
=
<_io.TextIOWrapper
name='<stdout>'
mode='w'
encoding='utf-8'>
)
[source]
__init__
(
input:
~antlr4.BufferedTokenStream.TokenStream
,
output:
~typing.TextIO
=
<_io.TextIOWrapper
name='<stdout>'
mode='w'
encoding='utf-8'>
)
[source]
serializedATN
pyfcstm.bmc.grammar.BmcQueryParser.
serializedATN
(
)
[source]