as2fm.jani_generator.jani_entries.jani_edge

And edge defining the possible transition from one state to another in jani.

Classes

JaniEdge(edge_dict)