as2fm.jani_generator.jani_entries.jani_expression

Expressions in Jani

Functions

generate_jani_expression(expr)

Generate a JaniExpression or a JaniDistribution, depending on the input.

Classes

JaniDistribution(expression)	A class representing a Jani Distribution (a random variable).
JaniExpression(expression)	Jani Expression class.
JaniExpressionType(value[, names, module, ...])	Enumeration of the different types of Jani expressions.