Index

_

__class_getitem__() (gym_tl_tools.TLObservationReward class method) __enter__() (gym_tl_tools.TLObservationReward method)

__exit__() (gym_tl_tools.TLObservationReward method) __repr__() (gym_tl_tools.TLObservationReward method) __str__() (gym_tl_tools.TLObservationReward method)

A

action_space (gym_tl_tools.TLObservationReward property) add_or_parentheses() (in module gym_tl_tools.automaton) atomic_predicates (gym_tl_tools.TLObservationRewardConfig attribute), [1], [2], [3], [4], [5] (gym_tl_tools.wrapper.TLObservationRewardConfig attribute), [1]

Automaton (class in gym_tl_tools), [1], [2] (class in gym_tl_tools.automaton) AutomatonStateCounter (class in gym_tl_tools.automaton)

B

BaseVarValueInfoGenerator (class in gym_tl_tools), [1], [2] (class in gym_tl_tools.wrapper)

C

class_name() (gym_tl_tools.TLObservationReward class method)

close() (gym_tl_tools.TLObservationReward method) condition (gym_tl_tools.automaton.Transition attribute), [1]

D

dense_reward (gym_tl_tools.RewardConfig attribute), [1], [2] (gym_tl_tools.RewardConfigDict attribute), [1], [2], [3] (gym_tl_tools.wrapper.RewardConfig attribute) (gym_tl_tools.wrapper.RewardConfigDict attribute), [1] (in module gym_tl_tools) dense_reward_scale (gym_tl_tools.RewardConfig attribute), [1], [2] (gym_tl_tools.RewardConfigDict attribute), [1], [2], [3] (gym_tl_tools.wrapper.RewardConfig attribute) (gym_tl_tools.wrapper.RewardConfigDict attribute), [1] (in module gym_tl_tools)

dict_aut_state_key (gym_tl_tools.TLObservationRewardConfig attribute), [1], [2], [3], [4], [5] (gym_tl_tools.wrapper.TLObservationRewardConfig attribute), [1]

E

early_termination (gym_tl_tools.TLObservationRewardConfig attribute), [1], [2], [3], [4], [5] (gym_tl_tools.wrapper.TLObservationRewardConfig attribute), [1]

Edge (class in gym_tl_tools.automaton) evaluate() (gym_tl_tools.Parser method), [1], [2] (gym_tl_tools.parser.Parser method)

F

formula (gym_tl_tools.automaton.Predicate attribute), [1] (gym_tl_tools.Predicate attribute), [1], [2], [3], [4], [5] forward_aut() (gym_tl_tools.TLObservationReward method), [1], [2] (gym_tl_tools.wrapper.TLObservationReward method)

func (gym_tl_tools.parser.ParserSymbol attribute), [1] (gym_tl_tools.ParserSymbol attribute), [1], [2], [3], [4], [5]

G

get_func() (gym_tl_tools.Parser method), [1], [2] (gym_tl_tools.parser.Parser method) get_priority() (gym_tl_tools.Parser method), [1], [2] (gym_tl_tools.parser.Parser method) get_var_values() (gym_tl_tools.BaseVarValueInfoGenerator method), [1], [2] (gym_tl_tools.wrapper.BaseVarValueInfoGenerator method) get_wrapper_attr() (gym_tl_tools.TLObservationReward method)

gym_tl_tools module, [1] gym_tl_tools.automaton module gym_tl_tools.parser module gym_tl_tools.wrapper module

H

has_wrapper_attr() (gym_tl_tools.TLObservationReward method)

I

ind (gym_tl_tools.automaton.AutomatonStateCounter attribute) (gym_tl_tools.automaton.RobustnessCounter attribute) is_aut_terminated (gym_tl_tools.TLObservationReward property), [1], [2] (gym_tl_tools.wrapper.TLObservationReward property) is_goaled (gym_tl_tools.Automaton property), [1], [2] (gym_tl_tools.automaton.Automaton property) is_inf_zero_acc (gym_tl_tools.automaton.Edge attribute) is_num() (gym_tl_tools.Parser method), [1], [2] (gym_tl_tools.parser.Parser method) is_parentheses() (gym_tl_tools.Parser method), [1], [2] (gym_tl_tools.parser.Parser method)

is_symbol() (gym_tl_tools.Parser method), [1], [2] (gym_tl_tools.parser.Parser method) is_terminal_state (gym_tl_tools.automaton.Edge attribute) is_terminated (gym_tl_tools.Automaton property), [1], [2] (gym_tl_tools.automaton.Automaton property) is_trap_state (gym_tl_tools.automaton.Edge attribute) is_trapped (gym_tl_tools.Automaton property), [1], [2] (gym_tl_tools.automaton.Automaton property) is_trapped_next (gym_tl_tools.automaton.Transition attribute), [1] is_var() (gym_tl_tools.Parser method), [1], [2] (gym_tl_tools.parser.Parser method)

M

metadata (gym_tl_tools.TLObservationReward property) model_config (gym_tl_tools.automaton.AutomatonStateCounter attribute) (gym_tl_tools.automaton.Predicate attribute) (gym_tl_tools.automaton.RobNextStatePair attribute) (gym_tl_tools.automaton.RobustnessCounter attribute) (gym_tl_tools.automaton.Transition attribute) (gym_tl_tools.parser.ParserSymbol attribute) (gym_tl_tools.ParserSymbol attribute), [1], [2] (gym_tl_tools.Predicate attribute), [1], [2] (gym_tl_tools.RewardConfig attribute), [1], [2] (gym_tl_tools.TLObservationRewardConfig attribute), [1], [2] (gym_tl_tools.wrapper.RewardConfig attribute) (gym_tl_tools.wrapper.TLObservationRewardConfig attribute)

module gym_tl_tools, [1] gym_tl_tools.automaton gym_tl_tools.parser gym_tl_tools.wrapper

N

name (gym_tl_tools.automaton.Predicate attribute), [1] (gym_tl_tools.Predicate attribute), [1], [2], [3], [4], [5] next_state (gym_tl_tools.automaton.RobNextStatePair attribute), [1] (gym_tl_tools.automaton.Transition attribute), [1]

np_random (gym_tl_tools.TLObservationReward property) np_random_seed (gym_tl_tools.TLObservationReward property)

O

observation() (gym_tl_tools.TLObservationReward method), [1], [2] (gym_tl_tools.wrapper.TLObservationReward method)

observation_space (gym_tl_tools.TLObservationReward property)

P

parse() (gym_tl_tools.Parser method), [1], [2] (gym_tl_tools.parser.Parser method) Parser (class in gym_tl_tools), [1], [2] (class in gym_tl_tools.parser) parser (gym_tl_tools.TLObservationRewardConfig attribute), [1], [2], [3], [4], [5] (gym_tl_tools.wrapper.TLObservationRewardConfig attribute), [1]

ParserSymbol (class in gym_tl_tools), [1], [2] (class in gym_tl_tools.parser) Predicate (class in gym_tl_tools), [1], [2] (class in gym_tl_tools.automaton) priority (gym_tl_tools.parser.ParserSymbol attribute), [1] (gym_tl_tools.ParserSymbol attribute), [1], [2], [3], [4], [5]

R

render() (gym_tl_tools.TLObservationReward method) render_mode (gym_tl_tools.TLObservationReward property) replace_atomic_pred_ids_to_names() (in module gym_tl_tools.automaton) replace_special_characters() (in module gym_tl_tools), [1], [2] (in module gym_tl_tools.parser) reset() (gym_tl_tools.Automaton method), [1], [2] (gym_tl_tools.automaton.Automaton method) (gym_tl_tools.TLObservationReward method), [1], [2] (gym_tl_tools.wrapper.TLObservationReward method) reward_config (gym_tl_tools.TLObservationRewardConfig attribute), [1], [2], [3], [4], [5] (gym_tl_tools.wrapper.TLObservationRewardConfig attribute), [1]

RewardConfig (class in gym_tl_tools), [1], [2] (class in gym_tl_tools.wrapper) RewardConfigDict (class in gym_tl_tools), [1] (class in gym_tl_tools.wrapper) (in module gym_tl_tools) RobNextStatePair (class in gym_tl_tools.automaton) robustness (gym_tl_tools.automaton.RobNextStatePair attribute), [1] (gym_tl_tools.automaton.RobustnessCounter attribute) RobustnessCounter (class in gym_tl_tools.automaton)

S

serialize_model() (gym_tl_tools.TLObservationRewardConfig method), [1], [2] (gym_tl_tools.wrapper.TLObservationRewardConfig method) set_wrapper_attr() (gym_tl_tools.TLObservationReward method) spec (gym_tl_tools.TLObservationReward property) state (gym_tl_tools.automaton.AutomatonStateCounter attribute) state_trans_reward_scale (gym_tl_tools.RewardConfig attribute), [1], [2] (gym_tl_tools.RewardConfigDict attribute), [1], [2], [3] (gym_tl_tools.wrapper.RewardConfig attribute) (gym_tl_tools.wrapper.RewardConfigDict attribute), [1] (in module gym_tl_tools)

step() (gym_tl_tools.Automaton method), [1], [2] (gym_tl_tools.automaton.Automaton method) (gym_tl_tools.TLObservationReward method), [1], [2] (gym_tl_tools.wrapper.TLObservationReward method)

T

terminal_state_reward (gym_tl_tools.RewardConfig attribute), [1], [2] (gym_tl_tools.RewardConfigDict attribute), [1], [2], [3] (gym_tl_tools.wrapper.RewardConfig attribute) (gym_tl_tools.wrapper.RewardConfigDict attribute), [1] (in module gym_tl_tools) tl2rob() (gym_tl_tools.Parser method), [1], [2] (gym_tl_tools.parser.Parser method) tl_reward() (gym_tl_tools.Automaton method), [1], [2] (gym_tl_tools.automaton.Automaton method) tl_spec (gym_tl_tools.TLObservationRewardConfig attribute), [1], [2], [3], [4], [5] (gym_tl_tools.wrapper.TLObservationRewardConfig attribute), [1]

TLObservationReward (class in gym_tl_tools), [1], [2] (class in gym_tl_tools.wrapper) TLObservationRewardConfig (class in gym_tl_tools), [1], [2] (class in gym_tl_tools.wrapper) tokenize() (gym_tl_tools.Parser method), [1], [2] (gym_tl_tools.parser.Parser method) Transition (class in gym_tl_tools.automaton) transition_robustness() (gym_tl_tools.Automaton method), [1], [2] (gym_tl_tools.automaton.Automaton method) transitions (gym_tl_tools.automaton.Edge attribute)

U

unwrapped (gym_tl_tools.TLObservationReward property)

V

var_value_info_generator (gym_tl_tools.TLObservationRewardConfig attribute), [1], [2] (gym_tl_tools.TLObservationRewardConfig property), [1], [2] (gym_tl_tools.wrapper.TLObservationRewardConfig attribute) (gym_tl_tools.wrapper.TLObservationRewardConfig property)

var_value_info_generator_args (gym_tl_tools.TLObservationRewardConfig attribute), [1], [2] (gym_tl_tools.wrapper.TLObservationRewardConfig attribute) var_value_info_generator_cls (gym_tl_tools.TLObservationRewardConfig attribute), [1], [2] (gym_tl_tools.wrapper.TLObservationRewardConfig attribute)

W

wrapper_spec() (gym_tl_tools.TLObservationReward class method)