CONVINCE Model Checking Components

0.1.0

Installation
Quick Start
Tutorial
How To Guides
SCXML to JANI Conversion
API
- as2fm
Contacts

CONVINCE Model Checking Components

API
as2fm
as2fm.scxml_converter
as2fm.scxml_converter.scxml_entries
as2fm.scxml_converter.scxml_entries.scxml_if
View page source

as2fm.scxml_converter.scxml_entries.scxml_if

Classes

ScxmlIf(conditional_executions[, else_execution])

This class represents SCXML conditionals.

Previous Next

© Copyright 2025.

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