as2fm.jani_generator.jani_entries.jani_expression_support.random_operator

as2fm.jani_generator.jani_entries.jani_expression_support.random_operator() → JaniDistribution

Function to get a random number between 0 and 1 in the Jani Model.