Index A | B | C | D | E | F | G | I | L | M | N | O | P | Q | R | S | T | U | V A abstract_to_original() (verigym.abstraction.abstractionmapper.AbstractionMap method) abstract_to_original_action() (verigym.AbstractionMapper method) abstract_to_original_action_enum() (verigym.AbstractionMapper method) abstract_to_original_state() (verigym.AbstractionMapper method) abstract_to_original_state_enum() (verigym.AbstractionMapper method) AbstractedExplicitEnv (class in verigym) abstraction_refinement() (in module verigym.abstraction.abstraction_refinement) AbstractionMap (class in verigym.abstraction.abstractionmapper) AbstractionMapper (class in verigym) AbstractPostShieldWrapper (class in verigym.supplements.shield_wrapper) AbstractStateLabeler (class in verigym.environments.labeling) action_backward_kind (verigym.AbstractionMapper property) ActiveLearningPolicy (class in verigym.policy.qvalue) B BackwardKind (class in verigym.abstraction.abstractionmapper) BaseExplicitEnv (class in verigym.environments.base_explicitenv) bin_edges_map() (in module verigym.abstraction.abstractionmapper) BinEdges (class in verigym.abstraction.discretization) BinFeaturesWrapper (class in verigym.abstraction.feature_selection) binned_map() (in module verigym.abstraction.abstractionmapper) binned_mapper() (in module verigym.abstraction.abstractionmapper) build_stormpy_dtmc() (in module verigym.frameworks.stormpy.stormpy_utils) build_stormpy_imdp() (in module verigym.frameworks.stormpy.stormpy_utils) build_stormpy_mdp() (in module verigym.frameworks.stormpy.stormpy_utils) C centered_pow_bin() (in module verigym.abstraction.discretization) check_policy_value_in_stormpy() (in module verigym.supplements.modelchecking) collect_data_from_trajectories() (in module verigym.abstraction.learn_abstraction) create_abstraction() (in module verigym) D decode() (verigym.environments.base_explicitenv.BaseExplicitEnv method) (verigym.FrameworkExplicitEnv method) DiscretizeBoxAction (class in verigym.abstraction.gym_utils.transform_action) DiscretizeBoxObservation (class in verigym.abstraction.gym_utils.transform_observation) E encode() (verigym.environments.base_explicitenv.BaseExplicitEnv method) (verigym.FrameworkExplicitEnv method) EntropyLearningPolicy (class in verigym.policy.qvalue) enum_to_abstract() (verigym.abstraction.abstractionmapper.AbstractionMap method) enum_to_idx() (verigym.abstraction.discretization.BinEdges method) enum_to_interval() (verigym.abstraction.discretization.BinEdges method) enum_to_orig() (verigym.abstraction.discretization.BinEdges method) enum_to_original() (verigym.abstraction.abstractionmapper.AbstractionMap method) enum_to_value() (verigym.abstraction.discretization.BinEdges method) enumeration_of_space() (in module verigym.abstraction.abstractionmapper) evaluate_policy() (in module verigym.policy.utils) ExplicitFormatter (class in verigym.environments.formatter) export_to_drn() (in module verigym.io.exporter) export_to_stormpy_imdp() (in module verigym.io.exporter) export_to_stormpy_mdp() (in module verigym.io.exporter) export_to_umb() (in module verigym.io.exporter) F FrameworkExplicitEnv (class in verigym) from_array() (verigym.environments.reward_func.IntervalRewardFunction class method) (verigym.environments.state_distributions.StateDistribution class method) (verigym.environments.transition_func.IntervalTransitionFunction class method) (verigym.RewardFunction class method) (verigym.TransitionFunction class method) from_dict() (verigym.environments.reward_func.IntervalRewardFunction class method) from_gymnasium() (verigym.GenerativeEnv class method) from_reward_function() (verigym.environments.reward_func.IntervalRewardFunction class method) from_stormpy() (verigym.FrameworkExplicitEnv class method) from_transition_function() (verigym.environments.transition_func.IntervalTransitionFunction class method) G generate_box_bins() (in module verigym.abstraction.discretization) GenerativeEnv (class in verigym) get_abstraction_map() (verigym.AbstractedExplicitEnv method) (verigym.environments.base_explicitenv.BaseExplicitEnv method) get_action() (verigym.PolicyClass method) get_full_state_from_idx() (verigym.environments.formatter.ExplicitFormatter method) (verigym.frameworks.stormpy.formatter.StormpyFormatter method) get_interval_reward_function() (verigym.environments.interval_explicitenv.IntervalEnvMixin method) get_interval_transition_function() (verigym.environments.interval_explicitenv.IntervalEnvMixin method) get_interval_transition_reward() (in module verigym.abstraction.learn_abstraction) get_labels_of_abstract_state_exist() (verigym.environments.labeling.AbstractStateLabeler method) get_labels_of_abstract_state_forall() (verigym.environments.labeling.AbstractStateLabeler method) get_n_elements_of_space() (in module verigym.abstraction.gym_utils.spaces) get_policy_from_stormpy() (in module verigym.supplements.modelchecking) get_reward_function() (verigym.environments.base_explicitenv.BaseExplicitEnv method) get_sparsity() (verigym.environments.transition_func.IntervalTransitionFunction method) (verigym.TransitionFunction method) get_transition_function() (verigym.environments.base_explicitenv.BaseExplicitEnv method) I idx_to_enum() (verigym.abstraction.discretization.BinEdges method) idx_to_interval() (verigym.abstraction.discretization.BinEdges method) idx_to_orig() (verigym.abstraction.discretization.BinEdges method) idx_to_value() (verigym.abstraction.discretization.BinEdges method) initialize_identity_map() (verigym.abstraction.abstractionmapper.AbstractionMap class method) initialize_identity_mapper() (verigym.AbstractionMapper class method) IntervalAbstractedExplicitEnv (class in verigym.environments.interval_explicitenv) IntervalEnvMixin (class in verigym.environments.interval_explicitenv) IntervalFrameworkExplicitEnv (class in verigym.environments.frameworkexplicitenv) IntervalRewardFunction (class in verigym.environments.reward_func) IntervalTransitionFunction (class in verigym.environments.transition_func) is_bounded_space() (in module verigym.abstraction.gym_utils.spaces) is_enumerable (verigym.abstraction.abstractionmapper.AbstractionMap property) L learn_abstraction() (in module verigym.abstraction.learn_abstraction) lengths (verigym.abstraction.discretization.BinEdges property) linspace_map() (in module verigym.abstraction.abstractionmapper) linspace_mapper() (in module verigym.abstraction.abstractionmapper) load_from_drn() (in module verigym.io.importer) load_from_umb() (in module verigym.io.importer) load_stormpy_model() (in module verigym.frameworks.stormpy.stormpy_utils) M make_vec() (verigym.VeriGymEnv class method) N n_bins (verigym.abstraction.discretization.BinEdges property) normalize_aggregated_counts() (in module verigym.abstraction.learn_abstraction) nvec (verigym.abstraction.discretization.BinEdges property) nvec_from_samples() (in module verigym.abstraction.discretization) nvec_of_space() (in module verigym.abstraction.abstractionmapper) O observation() (verigym.abstraction.feature_selection.BinFeaturesWrapper method) (verigym.abstraction.feature_selection.ReduceFeaturesWrapper method) orig_to_enum() (verigym.abstraction.discretization.BinEdges method) orig_to_idx() (verigym.abstraction.discretization.BinEdges method) orig_to_value() (verigym.abstraction.discretization.BinEdges method) original_to_abstract() (verigym.abstraction.abstractionmapper.AbstractionMap method) original_to_abstract_action() (verigym.AbstractionMapper method) original_to_abstract_action_enum() (verigym.AbstractionMapper method) original_to_abstract_state() (verigym.AbstractionMapper method) original_to_abstract_state_enum() (verigym.AbstractionMapper method) original_to_enum() (verigym.abstraction.abstractionmapper.AbstractionMap method) P parse_property() (verigym.environments.labeling.AbstractStateLabeler method) point_estimate() (verigym.environments.reward_func.IntervalRewardFunction method) (verigym.environments.transition_func.IntervalTransitionFunction method) PolicyClass (class in verigym) pow_map() (in module verigym.abstraction.abstractionmapper) PrismPolicy (class in verigym.frameworks.prism.prismpolicy) Q QValuePolicy (class in verigym.policy.qvalue) R RandomizedPolicy (class in verigym.policy.randomized) ReduceFeaturesWrapper (class in verigym.abstraction.feature_selection) ReplaceInfObservation (class in verigym.abstraction.gym_utils.transform_observation) reset() (verigym.environments.base_explicitenv.BaseExplicitEnv method) (verigym.environments.generativeenv.SymbolicGenerativeEnv method) (verigym.supplements.shield_wrapper.AbstractPostShieldWrapper method) RewardFunction (class in verigym) S sample() (verigym.environments.state_distributions.StateDistribution method) sample_initial_state() (verigym.environments.base_explicitenv.BaseExplicitEnv method) sanity_check() (verigym.environments.transition_func.IntervalTransitionFunction method) (verigym.TransitionFunction method) SB3Policy (class in verigym.frameworks.stable_baselines3.policy) seed() (verigym.frameworks.stable_baselines3.policy.SB3Policy method) (verigym.policy.qvalue.QValuePolicy method) (verigym.policy.randomized.RandomizedPolicy method) (verigym.PolicyClass method) set_state() (verigym.environments.base_explicitenv.BaseExplicitEnv method) simulate() (verigym.VeriGymEnv method) state_backward_kind (verigym.AbstractionMapper property) state_feature_selection() (in module verigym.abstraction.feature_selection) StateDistribution (class in verigym.environments.state_distributions) StateLabel (class in verigym.environments.labeling) StateLabeler (class in verigym.environments.labeling) step() (verigym.environments.base_explicitenv.BaseExplicitEnv method) (verigym.environments.generativeenv.SymbolicGenerativeEnv method) (verigym.supplements.shield_wrapper.AbstractPostShieldWrapper method) StormpyFormatter (class in verigym.frameworks.stormpy.formatter) StormpyPolicy (class in verigym) SymbolicGenerativeEnv (class in verigym.environments.generativeenv) T TransitionFunction (class in verigym) U update_for_abstraction_refinement() (verigym.policy.qvalue.ActiveLearningPolicy method) (verigym.policy.qvalue.EntropyLearningPolicy method) (verigym.policy.qvalue.QValuePolicy method) (verigym.PolicyClass method) V validate_for_abstraction() (in module verigym.abstraction.abstractionmapper) value_to_enum() (verigym.abstraction.discretization.BinEdges method) value_to_idx() (verigym.abstraction.discretization.BinEdges method) value_to_interval() (verigym.abstraction.discretization.BinEdges method) value_to_orig() (verigym.abstraction.discretization.BinEdges method) vec_from_gymnasium() (verigym.GenerativeEnv class method) vec_from_prism() (verigym.GenerativeEnv class method) vec_from_stormpy() (verigym.FrameworkExplicitEnv class method) VeriGymEnv (class in verigym)