Index A | B | C | D | E | F | G | H | I | J | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z A ABS (momba.model.operators.ArithmeticUnaryOperator attribute) absolute() (in module momba.model.expressions) acceleration_model (racetrack.model.Underground attribute) acceleration_probability (racetrack.model.Underground attribute) accumulate (momba.model.properties.ExpectedReward attribute) (momba.model.properties.RewardBound attribute) (momba.model.properties.RewardInstant attribute) (momba.model.properties.SteadyState attribute) AccumulationInstant (class in momba.model.properties) Action (class in momba.engine) action (momba.engine.Transition attribute) action_pattern (momba.model.Edge attribute) action_type (momba.engine.Action attribute) (momba.model.ActionPattern attribute) action_types (momba.model.Context property) action_vector (momba.engine.Transition attribute) ActionArgument (class in momba.model) ActionParameter (class in momba.model) ActionPattern (class in momba.model) Actions (class in momba.gym.generic) ActionType (class in momba.model) ADD (momba.model.operators.ArithmeticBinaryOperator attribute) add() (in module momba.model.expressions) add_declaration() (momba.model.Scope method) add_edge() (momba.model.Automaton method) add_instance() (momba.model.Network method) add_location() (momba.model.Automaton method) Aggregate (class in momba.model.properties) aggregate() (in module momba.model.properties) AggregationFunction (class in momba.model.operators) alternative (momba.model.expressions.Conditional attribute) AND (momba.model.operators.BooleanOperator attribute) annotation (momba.model.Edge attribute) ARC_COS (momba.model.operators.TrigonometricFunction attribute) ARC_COT (momba.model.operators.TrigonometricFunction attribute) ARC_CSC (momba.model.operators.TrigonometricFunction attribute) ARC_SEC (momba.model.operators.TrigonometricFunction attribute) ARC_SIN (momba.model.operators.TrigonometricFunction attribute) ARC_TAN (momba.model.operators.TrigonometricFunction attribute) are_compatible() (in module momba.model.automata) ARGMAX (momba.model.operators.AggregationFunction attribute) ARGMIN (momba.model.operators.AggregationFunction attribute) arguments (momba.engine.Action attribute) (momba.model.ActionPattern attribute) (momba.model.expressions.Sample attribute) (momba.model.functions.CallExpression attribute) (momba.model.Instance attribute) ArithmeticBinary (class in momba.model.expressions) ArithmeticBinaryOperator (class in momba.model.operators) ArithmeticUnary (class in momba.model.expressions) ArithmeticUnaryOperator (class in momba.model.operators) arity (momba.model.ActionType property) array (momba.model.expressions.ArrayAccess attribute) array_of() (in module momba.model.types) ArrayAccess (class in momba.model.expressions) ArrayConstructor (class in momba.model.expressions) ARRAYS (momba.jani.ModelFeature attribute) ArrayType (class in momba.model.types) ArrayValue (class in momba.model.expressions) as_array (momba.engine.Value property) as_bool (momba.engine.Value property) as_float (momba.engine.Value property) (momba.model.expressions.IntegerConstant property) (momba.model.expressions.NumericConstant property) (momba.model.expressions.RealConstant property) as_fraction (momba.model.expressions.IntegerConstant property) (momba.model.expressions.NumericConstant property) (momba.model.expressions.RealConstant property) as_int (momba.engine.Value property) Assignment (class in momba.model) assignments (momba.model.Destination attribute) automata (momba.model.Context property) Automaton (class in momba.model) automaton (momba.model.Instance attribute) available_actions (momba.gym.abstract.Explorer property) available_transitions (momba.gym.abstract.Explorer property) AVG (momba.model.operators.AggregationFunction attribute) B base (momba.model.types.BoundedType attribute) BERNOULLI (momba.model.distributions.DistributionType attribute) BETA (momba.model.distributions.DistributionType attribute) BinaryExpression (class in momba.model.expressions) BinaryOperator (class in momba.model.operators) BinaryPathFormula (class in momba.model.properties) BinaryPathOperator (class in momba.model.operators) BINOMIAL (momba.model.distributions.DistributionType attribute) BLANK (racetrack.model.CellType attribute) blank_cells (racetrack.model.Track attribute) BLOCKED (racetrack.model.CellType attribute) blocked_cells (racetrack.model.Track attribute) body (momba.model.FunctionDefinition attribute) BOOL (momba.model.types attribute) Boolean (class in momba.model.expressions) boolean (momba.model.expressions.BooleanConstant attribute) BooleanConstant (class in momba.model.expressions) BooleanOperator (class in momba.model.operators) BoolType (class in momba.model.types) bound() (momba.model.types.NumericType method) BoundedType (class in momba.model.types) bounds (momba.model.properties.RewardBound attribute) C CallExpression (class in momba.model.functions) capacity_factor (racetrack.model.TankType attribute) CAUCHY (momba.model.distributions.DistributionType attribute) CEIL (momba.model.operators.ArithmeticUnaryOperator attribute) ceil() (in module momba.model.expressions) CellType (class in racetrack.model) check() (momba.analysis.Checker method) (momba.tools.modest.ModestChecker method) (momba.tools.modest.Toolset method) (momba.tools.storm.StormChecker method) (momba.tools.storm_docker.StormChecker method) check_nn() (in module momba.gym.checker) check_oracle() (in module momba.gym.checker) Checker (class in momba.analysis) CHI (momba.model.distributions.DistributionType attribute) CHI_SQUARED (momba.model.distributions.DistributionType attribute) children (momba.model.Expression property) (momba.model.expressions.ArrayAccess property) (momba.model.expressions.ArrayConstructor property) (momba.model.expressions.ArrayValue property) (momba.model.expressions.BinaryExpression property) (momba.model.expressions.Conditional property) (momba.model.expressions.Derivative property) (momba.model.expressions.Sample property) (momba.model.expressions.Selection property) (momba.model.expressions.UnaryExpression property) (momba.model.properties.Aggregate property) (momba.model.properties.BinaryPathFormula property) (momba.model.properties.ExpectedReward property) (momba.model.properties.PathQuantifier property) (momba.model.properties.Probability property) (momba.model.properties.StateSelector property) (momba.model.properties.SteadyState property) (momba.model.properties.UnaryPathFormula property) CLOCK (momba.model.types attribute) clock_declarations (momba.model.Scope property) ClockType (class in momba.model.types) comment (momba.model.ActionParameter attribute) (momba.model.ActionType attribute) (momba.model.IdentifierDeclaration attribute) (momba.model.Instance attribute) (momba.model.PropertyDefinition attribute) Comparison (class in momba.model.expressions) ComparisonOperator (class in momba.model.operators) condition (momba.model.expressions.Conditional attribute) (momba.model.expressions.Selection attribute) Conditional (class in momba.model.expressions) consequence (momba.model.expressions.Conditional attribute) constant_declarations (momba.model.Scope property) ConstantDeclaration (class in momba.model) Context (class in momba.model) CONTINUOUS (momba.model.types attribute) ContinuousType (class in momba.model.types) ConversionError (class in momba.model.expressions) CONWAY_MAXWELL_POISSON (momba.model.distributions.DistributionType attribute) Coordinate (class in racetrack.model) COS (momba.model.operators.TrigonometricFunction attribute) COT (momba.model.operators.TrigonometricFunction attribute) COUNT (momba.model.operators.AggregationFunction attribute) create_action_type() (momba.model.Context method) create_automaton() (momba.model.Context method) create_child_scope() (momba.model.Scope method) create_destination() (in module momba.model) create_edge() (momba.model.Automaton method) create_edge_scope() (momba.model.Edge method) create_generic_env() (in module momba.gym) create_instance() (momba.model.Automaton method) create_link() (momba.model.Network method) create_location() (momba.model.Automaton method) create_network() (momba.model.Context method) CSC (momba.model.operators.TrigonometricFunction attribute) CTMC (momba.model.ModelType attribute) CTMDP (momba.model.ModelType attribute) ctx (momba.model.Automaton attribute) (momba.model.Network attribute) (momba.model.Scope attribute) D DATATYPES (momba.jani.ModelFeature attribute) dead_end (momba.gym.generic.Rewards attribute) dead_predicate (momba.gym.generic.Objective attribute) DEADLOCK (momba.model.properties.StatePredicate attribute) DEADLOCK_STATES (momba.model.properties attribute) declarations (momba.model.Scope property) declare_constant() (momba.model.Scope method) declare_in() (momba.model.ActionPattern method) declare_parameter() (momba.model.Automaton method) declare_variable() (momba.model.Automaton method) (momba.model.Scope method) define_function() (momba.model.Scope method) define_property() (momba.model.Context method) Derivative (class in momba.model.expressions) DERIVED_OPERATORS (momba.jani.ModelFeature attribute) Destination (class in momba.engine) (class in momba.model) destinations (momba.engine.Transition attribute) (momba.model.Edge attribute) DISCRETE_UNIFORM (momba.model.distributions.DistributionType attribute) DiscreteTime (class in momba.engine) Distribution (class in momba.utils.distribution) distribution (momba.model.expressions.Sample attribute) DistributionType (class in momba.model.distributions) DTMC (momba.model.ModelType attribute) dump_model() (in module momba.jani) E E (momba.model.expressions.NamedReal attribute) Edge (class in momba.model) EDGE_BY_INDEX (momba.gym.generic.Actions attribute) EDGE_BY_LABEL (momba.gym.generic.Actions attribute) EDGE_PRIORITIES (momba.jani.ModelFeature attribute) edge_vector (momba.engine.Transition attribute) edges (momba.model.Automaton property) element (momba.model.types.ArrayType attribute) (momba.model.types.SetType attribute) elements (momba.model.expressions.ArrayValue attribute) engine (momba.tools.storm_docker.StormChecker attribute) ensure_expr() (in module momba.model) environment (momba.tools.modest.Toolset attribute) (momba.tools.storm.Toolset attribute) EQ (momba.model.operators.EqualityOperator attribute) Equality (class in momba.model.expressions) EqualityOperator (class in momba.model.operators) equals() (in module momba.model.expressions) EQUIV (momba.model.operators.BooleanOperator attribute) ERLANG (momba.model.distributions.DistributionType attribute) EVENTUALLY (momba.model.operators.UnaryPathOperator attribute) eventually() (in module momba.model.properties) executable (momba.tools.modest.Toolset attribute) (momba.tools.storm.Toolset attribute) EXISTS (momba.model.operators.AggregationFunction attribute) (momba.model.operators.Quantifier attribute) exists_path() (in module momba.model.properties) EXIT (momba.model.properties.AccumulationInstant attribute) ExpectedReward (class in momba.model.properties) Explorer (class in momba.engine) (class in momba.gym.abstract) explorer (momba.engine.Destination attribute) (momba.engine.State attribute) (momba.engine.Transition attribute) EXPONENTIAL (momba.model.distributions.DistributionType attribute) expr() (in module momba.moml) Expression (class in momba.model) expression (momba.model.expressions.ArrayConstructor attribute) (momba.model.properties.RewardBound attribute) (momba.model.properties.RewardInstant attribute) (momba.model.PropertyDefinition attribute) F FALSE (momba.model.expressions attribute) FISHER_SNEDECOR (momba.model.distributions.DistributionType attribute) float_value (momba.model.expressions.NamedReal attribute) FLOOR (momba.model.operators.ArithmeticUnaryOperator attribute) floor() (in module momba.model.expressions) FLOOR_DIV (momba.model.operators.ArithmeticBinaryOperator attribute) floor_div() (in module momba.model.expressions) FORALL (momba.model.operators.AggregationFunction attribute) (momba.model.operators.Quantifier attribute) forall_paths() (in module momba.model.properties) fork() (momba.gym.abstract.Explorer method) (momba.gym.env.MombaEnv method) formula (momba.model.properties.PathQuantifier attribute) (momba.model.properties.Probability attribute) (momba.model.properties.SteadyState attribute) (momba.model.properties.UnaryPathFormula attribute) from_source() (racetrack.model.Track class method) full_name (momba.model.ModelType attribute) function (momba.model.functions.CallExpression attribute) (momba.model.properties.Aggregate attribute) FunctionDefinition (class in momba.model) FunctionParameter (class in momba.model.functions) FUNCTIONS (momba.jani.ModelFeature attribute) G GAMMA (momba.model.distributions.DistributionType attribute) GE (momba.model.operators.ComparisonOperator attribute) GEOMETRIC (momba.model.distributions.DistributionType attribute) get_action_type_by_name() (momba.model.Context method) get_automaton_by_name() (momba.model.Context method) get_cell_type() (racetrack.model.Track method) get_checker() (in module momba.tools.modest) (in module momba.tools.storm) get_function() (momba.model.Scope method) get_incoming_edges() (momba.model.Automaton method) get_local_env() (momba.engine.State method) get_network_by_name() (momba.model.Context method) get_outgoing_edges() (momba.model.Automaton method) get_property_definition_by_name() (momba.model.Context method) get_scope() (momba.model.Scope method) get_type() (momba.model.Scope method) global_env (momba.engine.State property) GLOBAL_ONLY (momba.gym.generic.Observations attribute) global_scope (momba.model.Context attribute) GLOBALLY (momba.model.operators.UnaryPathOperator attribute) globally() (in module momba.model.properties) GOAL (racetrack.model.CellType attribute) goal_cells (racetrack.model.Track attribute) goal_predicate (momba.gym.generic.Objective attribute) goal_reached (momba.gym.generic.Rewards attribute) greater() (in module momba.model.expressions) greater_or_equal() (in module momba.model.expressions) GT (momba.model.operators.ComparisonOperator attribute) guard (momba.model.Edge attribute) GuardArgument (class in momba.model) H HA (momba.model.ModelType attribute) has_parameters (momba.model.ActionType property) has_terminated (momba.gym.abstract.Explorer property) height (racetrack.model.Track attribute) HYPERBOLIC_FUNCTIONS (momba.jani.ModelFeature attribute) HYPERGEOMETRIC (momba.model.distributions.DistributionType attribute) I ICE (racetrack.model.Underground attribute) identifier (momba.model.expressions.Derivative attribute) (momba.model.expressions.Name attribute) (momba.model.IdentifierDeclaration attribute) IdentifierDeclaration (class in momba.model) IMPLY (momba.model.operators.BooleanOperator attribute) IncompatibleAssignmentsError index (momba.model.Assignment attribute) (momba.model.expressions.ArrayAccess attribute) INITIAL (momba.model.properties.StatePredicate attribute) initial_locations (momba.model.Automaton property) initial_restriction (momba.model.Automaton property) (momba.model.Network property) initial_states (momba.engine.Explorer property) INITIAL_STATES (momba.model.properties attribute) initial_value (momba.model.VariableDeclaration attribute) input_enabled (momba.model.Instance attribute) Instance (class in momba.model) instances (momba.engine.Transition attribute) (momba.model.Network property) instant (momba.model.properties.RewardInstant attribute) INT (momba.model.types attribute) integer (momba.model.expressions.IntegerConstant attribute) IntegerConstant (class in momba.model.expressions) IntegerType (class in momba.model.types) Interval (class in momba.model.properties) invalid_action (momba.gym.generic.Rewards attribute) InvalidDeclarationError InvalidJANIError (class in momba.jani) InvalidTypeError INVERSE_GAMMA (momba.model.distributions.DistributionType attribute) invoke() (momba.tools.storm.Toolset method) is_array (momba.engine.Value property) is_assignable_from() (momba.model.Type method) (momba.model.types.ArrayType method) (momba.model.types.BoolType method) (momba.model.types.BoundedType method) (momba.model.types.ClockType method) (momba.model.types.ContinuousType method) (momba.model.types.IntegerType method) (momba.model.types.RealType method) (momba.model.types.SetType method) is_bool (momba.engine.Value property) is_declared() (momba.model.Scope method) is_float (momba.engine.Value property) is_int (momba.engine.Value property) is_local() (momba.model.Scope method) is_numeric (momba.model.Type property) (momba.model.types.NumericType property) is_parameter (momba.model.ConstantDeclaration property) is_sampling_free (momba.model.Expression property) is_transient (momba.model.VariableDeclaration attribute) is_untimed (momba.model.ModelType property) ite() (in module momba.model.expressions) J JANIError (class in momba.jani) L label (momba.model.ActionType attribute) LAPLACE (momba.model.distributions.DistributionType attribute) LARGE (racetrack.model.TankType attribute) LE (momba.model.operators.ComparisonOperator attribute) left (momba.model.expressions.BinaryExpression attribute) (momba.model.properties.BinaryPathFormula attribute) length (momba.model.expressions.ArrayConstructor attribute) less() (in module momba.model.expressions) less_or_equal() (in module momba.model.expressions) Link (class in momba.model) links (momba.model.Network property) load_model() (in module momba.jani) LOCAL_AND_GLOBAL (momba.gym.generic.Observations attribute) Location (class in momba.model) location (momba.model.Destination attribute) (momba.model.Edge attribute) locations (momba.engine.State property) (momba.model.Automaton property) LOG (momba.model.operators.ArithmeticBinaryOperator attribute) log() (in module momba.model.expressions) LOG_NORMAL (momba.model.distributions.DistributionType attribute) logic_all() (in module momba.model.expressions) logic_and() (in module momba.model.expressions) logic_any() (in module momba.model.expressions) logic_equiv() (in module momba.model.expressions) logic_implies() (in module momba.model.expressions) logic_not() (in module momba.model.expressions) logic_or() (in module momba.model.expressions) logic_xor() (in module momba.model.expressions) lookup() (momba.model.Scope method) lower (momba.model.properties.Interval attribute) lower_bound (momba.model.types.BoundedType attribute) lower_exclusive (momba.model.properties.Interval attribute) LT (momba.model.operators.ComparisonOperator attribute) LTS (momba.model.ModelType attribute) M MA (momba.model.ModelType attribute) MAX (momba.model.operators.AggregationFunction attribute) (momba.model.operators.ArithmeticBinaryOperator attribute) (momba.model.operators.MinMax attribute) max_expected_reward() (in module momba.model.properties) max_prob() (in module momba.model.properties) max_steady_state() (in module momba.model.properties) maximum() (in module momba.model.expressions) MDP (momba.model.ModelType attribute) MEDIUM (racetrack.model.TankType attribute) metadata (momba.model.Context property) MIN (momba.model.operators.AggregationFunction attribute) (momba.model.operators.ArithmeticBinaryOperator attribute) (momba.model.operators.MinMax attribute) min_expected_reward() (in module momba.model.properties) min_prob() (in module momba.model.properties) min_steady_state() (in module momba.model.properties) minimum() (in module momba.model.expressions) MinMax (class in momba.model.operators) MOD (momba.model.operators.ArithmeticBinaryOperator attribute) mod() (in module momba.model.expressions) model_type (momba.model.Context attribute) ModelFeature (class in momba.jani) ModelingError ModelType (class in momba.model) ModestChecker (class in momba.tools.modest) module momba.model.errors momba.model.errors module MombaEnv (class in momba.gym.env) MUL (momba.model.operators.ArithmeticBinaryOperator attribute) mul() (in module momba.model.expressions) N Name (class in momba.model.expressions) name (momba.model.Automaton attribute) (momba.model.FunctionDefinition attribute) (momba.model.functions.FunctionParameter attribute) (momba.model.Location attribute) (momba.model.Network attribute) (momba.model.PropertyDefinition attribute) name() (in module momba.model.expressions) NAMED_EXPRESSIONS (momba.jani.ModelFeature attribute) NamedReal (class in momba.model.expressions) NEGATIVE_BINOMIAL (momba.model.distributions.DistributionType attribute) NEQ (momba.model.operators.EqualityOperator attribute) Network (class in momba.model) network (momba.engine.Explorer attribute) networks (momba.model.Context property) new_discrete_time() (momba.engine.Explorer static method) NONDET_SELECTION (momba.jani.ModelFeature attribute) NORMAL (momba.model.distributions.DistributionType attribute) Not (class in momba.model.expressions) NOT (momba.model.operators.NotOperator attribute) not_equals() (in module momba.model.expressions) NotFoundError NotOperator (class in momba.model.operators) num_actions (momba.gym.abstract.Explorer property) num_features (momba.gym.abstract.Explorer property) NumericConstant (class in momba.model.expressions) NumericType (class in momba.model.types) O Objective (class in momba.gym.generic) Observations (class in momba.gym.generic) OMNISCIENT (momba.gym.generic.Observations attribute) operand (momba.model.expressions.UnaryExpression attribute) Operator (class in momba.model.operators) operator (momba.model.expressions.ArithmeticBinary attribute) (momba.model.expressions.ArithmeticUnary attribute) (momba.model.expressions.BinaryExpression attribute) (momba.model.expressions.Boolean attribute) (momba.model.expressions.Comparison attribute) (momba.model.expressions.Equality attribute) (momba.model.expressions.Not attribute) (momba.model.expressions.Trigonometric attribute) (momba.model.expressions.UnaryExpression attribute) (momba.model.properties.BinaryPathFormula attribute) (momba.model.properties.ExpectedReward attribute) (momba.model.properties.Probability attribute) (momba.model.properties.SteadyState attribute) (momba.model.properties.UnaryPathFormula attribute) OR (momba.model.operators.BooleanOperator attribute) Oracle (class in momba.gym.abstract) P parameters (momba.model.ActionType attribute) (momba.model.Automaton property) (momba.model.FunctionDefinition attribute) parent (momba.model.Scope attribute) PARETO (momba.model.distributions.DistributionType attribute) PathQuantifier (class in momba.model.properties) PHA (momba.model.ModelType attribute) PI (momba.model.expressions.NamedReal attribute) pick() (momba.utils.distribution.Distribution method) POISSON (momba.model.distributions.DistributionType attribute) POW (momba.model.operators.ArithmeticBinaryOperator attribute) power() (in module momba.model.expressions) predcate (momba.model.properties.Aggregate attribute) predicate (momba.model.properties.StateSelector attribute) Probability (class in momba.model.properties) probability (momba.engine.Destination property) (momba.model.Destination attribute) progress_invariant (momba.model.Location attribute) prop() (in module momba.moml) properties (momba.model.Context property) PropertyDefinition (class in momba.model) PTA (momba.model.ModelType attribute) Q Quantifier (class in momba.model.operators) quantifier (momba.model.properties.PathQuantifier attribute) R rate (momba.model.Edge attribute) RAYLEIGH (momba.model.distributions.DistributionType attribute) reachability (momba.model.properties.ExpectedReward attribute) ReadArgument (class in momba.model) real (momba.model.expressions.RealConstant attribute) REAL (momba.model.types attribute) REAL_DIV (momba.model.operators.ArithmeticBinaryOperator attribute) real_div() (in module momba.model.expressions) RealConstant (class in momba.model.expressions) RealType (class in momba.model.types) RELEASE (momba.model.operators.BinaryPathOperator attribute) release() (in module momba.model.properties) render() (momba.gym.env.MombaEnv method) reset() (momba.gym.abstract.Explorer method) (momba.gym.env.MombaEnv method) result (momba.model.Link attribute) returns (momba.model.FunctionDefinition attribute) reward (momba.model.properties.ExpectedReward attribute) reward_bounds (momba.model.properties.BinaryPathFormula attribute) (momba.model.properties.UnaryPathFormula attribute) reward_instants (momba.model.properties.ExpectedReward attribute) RewardBound (class in momba.model.properties) RewardInstant (class in momba.model.properties) Rewards (class in momba.gym.generic) right (momba.model.expressions.BinaryExpression attribute) (momba.model.properties.BinaryPathFormula attribute) run() (momba.tools.storm_docker.Toolset method) S Sample (class in momba.model.expressions) SAND (racetrack.model.Underground attribute) Scenario (class in racetrack.model) Scope (class in momba.model) scope (momba.model.Automaton attribute) SEC (momba.model.operators.TrigonometricFunction attribute) Selection (class in momba.model.expressions) set_of() (in module momba.model.types) SetType (class in momba.model.types) SGN (momba.model.operators.ArithmeticUnaryOperator attribute) sgn() (in module momba.model.expressions) SHA (momba.model.ModelType attribute) SIN (momba.model.operators.TrigonometricFunction attribute) SLIPPERY_TARMAC (racetrack.model.Underground attribute) SMALL (racetrack.model.TankType attribute) STA (momba.model.ModelType attribute) STABLE (momba.model.distributions.DistributionType attribute) START (racetrack.model.CellType attribute) start_cells (racetrack.model.Track attribute) State (class in momba.engine) state (momba.engine.Destination property) STATE_EXIT_REWARDS (momba.jani.ModelFeature attribute) state_vector (momba.gym.abstract.Explorer property) StatePredicate (class in momba.model.properties) StateSelector (class in momba.model.properties) SteadyState (class in momba.model.properties) step() (momba.gym.abstract.Explorer method) (momba.gym.env.MombaEnv method) step_bounds (momba.model.properties.BinaryPathFormula attribute) (momba.model.properties.UnaryPathFormula attribute) step_instant (momba.model.properties.ExpectedReward attribute) step_taken (momba.gym.generic.Rewards attribute) STEPS (momba.model.properties.AccumulationInstant attribute) StormChecker (class in momba.tools.storm) (class in momba.tools.storm_docker) STUDENT_T (momba.model.distributions.DistributionType attribute) SUB (momba.model.operators.ArithmeticBinaryOperator attribute) sub() (in module momba.model.expressions) subexpressions (momba.model.Expression property) SUM (momba.model.operators.AggregationFunction attribute) symbol (momba.model.expressions.NamedReal attribute) (momba.model.operators.Operator attribute) T TA (momba.model.ModelType attribute) TAN (momba.model.operators.TrigonometricFunction attribute) TankType (class in racetrack.model) target (momba.model.Assignment attribute) TARMAC (racetrack.model.Underground attribute) textual_description (racetrack.model.Track property) TIME (momba.model.properties.AccumulationInstant attribute) time_bounds (momba.model.properties.BinaryPathFormula attribute) (momba.model.properties.UnaryPathFormula attribute) time_instant (momba.model.properties.ExpectedReward attribute) time_type (momba.engine.Explorer attribute) TIMELOCK (momba.model.properties.StatePredicate attribute) TIMELOCK_STATES (momba.model.properties attribute) TimeType (class in momba.engine) Toolset (class in momba.tools.modest) (class in momba.tools.storm) (class in momba.tools.storm_docker) toolset (momba.tools.storm_docker.StormChecker attribute) Track (class in racetrack.model) TRADEOFF_PROPERTIES (momba.jani.ModelFeature attribute) transient_values (momba.model.Location attribute) Transition (class in momba.engine) transitions (momba.engine.State property) traverse() (momba.model.Expression method) TRC (momba.model.operators.ArithmeticUnaryOperator attribute) TRIANGULAR (momba.model.distributions.DistributionType attribute) Trigonometric (class in momba.model.expressions) TRIGONOMETRIC_FUNCTIONS (momba.jani.ModelFeature attribute) TrigonometricFunction (class in momba.model.operators) TRUE (momba.model.expressions attribute) trunc() (in module momba.model.expressions) typ (momba.model.ActionParameter attribute) (momba.model.functions.FunctionParameter attribute) (momba.model.IdentifierDeclaration attribute) Type (class in momba.model) TypeConstructionError U UnaryExpression (class in momba.model.expressions) UnaryOperator (class in momba.model.operators) UnaryPathFormula (class in momba.model.properties) UnaryPathOperator (class in momba.model.operators) UnboundIdentifierError Underground (class in racetrack.model) UNIFORM (momba.model.distributions.DistributionType attribute) unsupported_features (momba.jani.UnsupportedJANIError attribute) UnsupportedJANIError (class in momba.jani) UNTIL (momba.model.operators.BinaryPathOperator attribute) until() (in module momba.model.properties) update_metadata() (momba.model.Context method) upper (momba.model.properties.Interval attribute) upper_bound (momba.model.types.BoundedType attribute) upper_exclusive (momba.model.properties.Interval attribute) used_names (momba.model.Expression property) uses_clocks (momba.model.ModelType property) V validate() (momba.model.Assignment method) (momba.model.ConstantDeclaration method) (momba.model.Edge method) (momba.model.IdentifierDeclaration method) (momba.model.Location method) (momba.model.VariableDeclaration method) Value (class in momba.engine) value (momba.model.Assignment attribute) (momba.model.ConstantDeclaration attribute) VALUES (momba.model.operators.AggregationFunction attribute) values (momba.model.properties.Aggregate attribute) variable (momba.model.expressions.ArrayConstructor attribute) (momba.model.expressions.Selection attribute) variable_declarations (momba.model.Scope property) VariableDeclaration (class in momba.model) vector (momba.model.Link attribute) W WEAK_UNTIL (momba.model.operators.BinaryPathOperator attribute) weak_until() (in module momba.model.properties) WEIBULL (momba.model.distributions.DistributionType attribute) width (racetrack.model.Track attribute) WriteArgument (class in momba.model) X x (racetrack.model.Coordinate attribute) X_MOMBA_OPERATORS (momba.jani.ModelFeature attribute) X_MOMBA_VALUE_PASSING (momba.jani.ModelFeature attribute) XOR (momba.model.operators.BooleanOperator attribute) Y y (racetrack.model.Coordinate attribute) Z ZIPF (momba.model.distributions.DistributionType attribute)
