CONVINCE Model Checking Components

0.1.0

Installation
Tutorials
How To Guides
SCXML to JANI Conversion
API
- as2fm
Contacts

CONVINCE Model Checking Components

API
as2fm
as2fm.jani_generator
as2fm.jani_generator.jani_entries
as2fm.jani_generator.jani_entries.jani_expression_generator
as2fm.jani_generator.jani_entries.jani_expression_generator.floor_operator
View page source

as2fm.jani_generator.jani_entries.jani_expression_generator.floor_operator

as2fm.jani_generator.jani_entries.jani_expression_generator.floor_operator(exp) → JaniExpression

Previous Next

© Copyright 2024.

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