as2fm.jani_generator.main.main_convince_to_plain_jani

as2fm.jani_generator.main.main_convince_to_plain_jani(_args: Sequence[str] | None = None) → None

Entry point for the conversion of a CONVINCE JANI file to a plain JANI file.

Parameters:

args – The arguments to parse. If None, sys.argv is used.

Returns:

None