Functions — github.com/LTL2Action/LTL2Action

hub / github.com/LTL2Action/LTL2Action / functions

Functions357 in github.com/LTL2Action/LTL2Action

⨍ Functions 357◇ Types & classes 81

↓ 35 callersFunctionregister

(id="", entry_point=None, **kwargs)

src/gnns/graph_registry.py:12

↓ 31 callersMethodcopy

(self, name='', config={})

src/envs/safety/safety-gym/safety_gym/envs/suite.py:57

↓ 16 callersMethodregister

(self, name='', config={})

src/envs/safety/safety-gym/safety_gym/envs/suite.py:62

↓ 16 callersMethodreset

Reset the physics simulation and return observation

src/envs/safety/safety-gym/safety_gym/envs/engine.py:870

↓ 13 callersMethodparse

Parse a config dict - see self.DEFAULT for description

src/envs/safety/safety-gym/safety_gym/envs/world.py:80

↓ 13 callersMethodsample

(self)

src/ltl_samplers.py:35

↓ 12 callersMethod__init__

grid_size: - (int) size of the grid letters: - (str) letters that the grid will include in ra

src/envs/gym_letters/letter_env.py:18

↓ 12 callersMethodshow

(self)

src/envs/gym_letters/letter_env.py:122

↓ 12 callersMethodstep

Take a step and return observation, reward, done, and info

src/envs/safety/safety-gym/safety_gym/envs/engine.py:1244

↓ 11 callersMethodobs_lidar

Calculate and return a lidar observation. See sub methods for implementation.

src/envs/safety/safety-gym/safety_gym/envs/engine.py:962

↓ 10 callersMethodplacements_dict_from_object

Get the placements dict subset just for a given object name

src/envs/safety/safety-gym/safety_gym/envs/engine.py:498

↓ 10 callersMethodrender_lidar

Render the lidar observation

src/envs/safety/safety-gym/safety_gym/envs/engine.py:1362

↓ 9 callersMethodrandom_rot

Use internal random state to get a random rotation in radians

src/envs/safety/safety-gym/safety_gym/envs/engine.py:635

↓ 9 callersMethodreset

Reset the world (sim is accessed through self.sim)

src/envs/safety/safety-gym/safety_gym/envs/world.py:309

↓ 9 callersMethodrobot_pos

Helper to get current robot position

src/envs/safety/safety-gym/safety_gym/envs/engine.py:343

↓ 8 callersFunction_is_prop_formula

(f)

src/ltl_progression.py:34

↓ 8 callersFunctionconvert

Convert a value into a string for mujoco XML

src/envs/safety/safety-gym/safety_gym/envs/world.py:37

↓ 8 callersMethodforward

(self, g)

src/gnns/graphs/GNN.py:10

↓ 8 callersMethodget_sensor

(self, name)

src/envs/safety/safety-gym/safety_gym/envs/world.py:96

↓ 7 callersMethod_get_edge_type

(self, operator, parameter_num=None)

src/utils/ast_builder.py:50

↓ 7 callersMethodreset

(self)

src/ltl_wrappers.py:67

↓ 7 callersMethodseed

(self, seed=None)

src/envs/safety/zones_env.py:155

↓ 7 callersFunctionstep

(action)

src/manual_control.py:31

↓ 6 callersMethoddist_goal

Return the distance from the robot to the goal XY position

src/envs/safety/safety-gym/safety_gym/envs/engine.py:893

↓ 6 callersFunctionread_data_and_average

(tf_dirs, tag="return_mean", MAX_HORIZON=1000000000)

src/plot.py:64

↓ 6 callersMethodreset

(self)

src/torch_ac/utils/penv.py:43

↓ 6 callersMethodseed

Set internal random state seeds

src/envs/safety/safety-gym/safety_gym/envs/engine.py:549

↓ 5 callersMethod__init__

(self, zones:list, use_fixed_map:float, timeout:int, config=dict)

src/envs/safety/zones_env.py:36

↓ 5 callersMethodrobot_com

Get the position of the robot center of mass in the simulator world reference frame

src/envs/safety/safety-gym/safety_gym/envs/world.py:334

↓ 5 callersMethodrobot_mat

Get the rotation matrix of the robot in the simulator world reference frame

src/envs/safety/safety-gym/safety_gym/envs/world.py:342

↓ 5 callersMethodstep

(self, action)

src/ltl_wrappers.py:83

↓ 5 callersMethodstep

(self, actions)

src/torch_ac/utils/penv.py:49

↓ 4 callersMethod__init__

(self, obs_space)

src/env_model.py:38

↓ 4 callersMethod__init__

(self, propositions, sampler_ids = ["SuperSampler"]*2)

src/ltl_samplers.py:31

↓ 4 callersMethod_one_hot

(self, token)

src/utils/ast_builder.py:46

↓ 4 callersMethodforward

(self, obs)

src/env_model.py:42

↓ 4 callersFunctiongetLTLSampler

(sampler_id, propositions)

src/ltl_samplers.py:176

↓ 4 callersFunctionrot2quat

Get a quaternion rotated only about the Z axis

src/envs/safety/safety-gym/safety_gym/envs/world.py:45

↓ 3 callersMethod_get_observation

(self)

src/envs/gym_letters/letter_env.py:62

↓ 3 callersMethodbuild_goal

Build a new goal position, maybe with resampling due to hazards

src/envs/safety/safety-gym/safety_gym/envs/engine.py:791

↓ 3 callersMethodclear

Reset internal state for building

src/envs/safety/safety-gym/safety_gym/envs/engine.py:787

↓ 3 callersMethoddist_box_goal

Return the distance from the box to the goal XY position

src/envs/safety/safety-gym/safety_gym/envs/engine.py:902

↓ 3 callersMethoddist_xy

Return the distance from the robot to an XY position

src/envs/safety/safety-gym/safety_gym/envs/engine.py:907

↓ 3 callersMethodeval

(self, num_frames, episodes=100, stdout=True)

src/utils/evaluator.py:49

↓ 3 callersFunctionfc

(in_dim, out_dim, activation=nn.Tanh())

src/policy_network.py:54

↓ 3 callersMethodobs

Return the observation of our agent

src/envs/safety/safety-gym/safety_gym/envs/engine.py:1116

↓ 3 callersMethodobs_compass

Return a robot-centric compass observation of a list of positions. Compass is a normalized (unit-lenght) egocentric XY vector,

src/envs/safety/safety-gym/safety_gym/envs/engine.py:929

↓ 3 callersFunctionpreprocess_images

(images, device=None)

src/utils/format.py:85

↓ 3 callersFunctionreset

()

src/manual_control.py:21

↓ 3 callersMethodrollout_env

Roll an environment out to the end, return final info dict. If gets_goal=True, then also assert that we got a goal successfully.

src/envs/safety/safety-gym/safety_gym/test/test_button.py:10

↓ 2 callersFunctionGNNMaker

(gnn_type, input_dim, output_dim)

src/gnns/graphs/GNN.py:13

↓ 2 callersMethod__getitem__

(self, token)

src/utils/format.py:144

↓ 2 callersMethod__init__

(self, env, obs_space, action_space, ignoreLTL, gnn_type, dumb_ac, freeze_ltl)

src/model.py:37

↓ 2 callersMethod__init__

(self, input_dim, output_dim, **kwargs)

src/gnns/graphs/RGCN.py:14

↓ 2 callersMethod__init__

(self, input_dim, output_dim, **kwargs)

src/gnns/graphs/GCN.py:12

↓ 2 callersMethod_get_centric_map

(self)

src/envs/gym_letters/letter_env.py:111

↓ 2 callersMethod_get_observation

(self)

src/envs/gym_letters/simple_ltl_env.py:37

↓ 2 callersFunction_get_spot_format

(ltl_std)

src/ltl_progression.py:98

↓ 2 callersMethodanalyze_feedbacks

(self, rewards, dones)

src/utils/agent.py:62

↓ 2 callersMethodbuild

Build a world, including generating XML and moving objects

src/envs/safety/safety-gym/safety_gym/envs/world.py:102

↓ 2 callersMethodbuild_goal_position

Build a new goal position, maybe with resampling due to hazards

src/envs/safety/safety-gym/safety_gym/envs/engine.py:824

↓ 2 callersMethodbuild_observation_space

Construct observtion space. Happens only once at during __init__

src/envs/safety/safety-gym/safety_gym/envs/engine.py:396

↓ 2 callersMethodconstrain_placement

Helper function to constrain a single placement by the keepout radius

src/envs/safety/safety-gym/safety_gym/envs/engine.py:589

↓ 2 callersMethodcost

Calculate the current costs and return a dict

src/envs/safety/safety-gym/safety_gym/envs/engine.py:1133

↓ 2 callersMethoddist_box

Return the distance from the robot to the box (in XY plane only)

src/envs/safety/safety-gym/safety_gym/envs/engine.py:897

↓ 2 callersMethoddraw_placement

Sample an (x,y) location, based on potential placement areas. Summary of behavior: 'placements' is a list of (xmin, xmax, y

src/envs/safety/safety-gym/safety_gym/envs/engine.py:594

↓ 2 callersFunctiongetEnvModel

(env, obs_space)

src/env_model.py:8

↓ 2 callersMethodget_actions

(self, obss)

src/utils/agent.py:43

↓ 2 callersMethodget_propositions

(self)

src/ltl_wrappers.py:188

↓ 2 callersFunctionget_status

(model_dir)

src/utils/storage.py:31

↓ 2 callersFunctionget_status_path

(model_dir)

src/utils/storage.py:27

↓ 2 callersMethodload_vocab

(self, vocab)

src/utils/format.py:141

↓ 2 callersFunctionmake_env

(env_id, mpi_rank=0, subrank=0, seed=None, logger_dir=None, initializer=None)

src/run_openai.py:23

↓ 2 callersFunctionmake_thunk

(rank, initializer=None)

src/run_openai.py:47

↓ 2 callersMethodobs_vision

Return pixels from the robot camera

src/envs/safety/safety-gym/safety_gym/envs/engine.py:954

↓ 2 callersFunctionpreprocess_texts

(texts, vocab, vocab_space, gnn=False, device=None, **kwargs)

src/utils/format.py:91

↓ 2 callersMethodprogress_info

(self, ltl_formula)

src/ltl_wrappers.py:129

↓ 2 callersMethodprogression

(self, ltl_formula, truth_assignment)

src/ltl_wrappers.py:119

↓ 2 callersFunctionredraw

(img)

src/manual_control.py:15

↓ 2 callersMethodrender

(self)

src/torch_ac/utils/penv.py:58

↓ 2 callersMethodrender_compass

Render a compass observation

src/envs/safety/safety-gym/safety_gym/envs/engine.py:1381

↓ 2 callersMethodrollout_env

roll an environment until it is done

src/envs/safety/safety-gym/safety_gym/test/test_goal.py:10

↓ 2 callersMethodsize

(self)

src/env_model.py:45

↓ 2 callersMethodwrap_obs

(self, obs)

src/envs/safety/safety_wrappers.py:46

↓ 1 callersMethod__getitem__

(self, index)

src/torch_ac/utils/dictlist.py:19

↓ 1 callersMethod__init__

LTL environment -------------------- It adds an LTL objective to the current environment - The observations becom

src/ltl_wrappers.py:25

↓ 1 callersMethod__init__

letters: - (str) propositions timeout: - (int) maximum lenght of the episode

src/envs/gym_letters/simple_ltl_env.py:8

↓ 1 callersMethod__init__

## env is the wrapped MiniGrid environment

src/envs/minigrid/minigrid_env.py:17

↓ 1 callersMethod__init__

( self, size=8, agent_start_pos=(1,1), agent_start_dir=0, timeout=100

src/envs/minigrid/adversarial.py:12

↓ 1 callersMethod__init__

(self, env)

src/envs/safety/safety_wrappers.py:13

↓ 1 callersMethod_get_batches_starting_indexes

Gives, for each batch, the indexes of the observations given to the model and the experiences used to compute the loss at first. Firs

src/torch_ac/algos/ppo.py:135

↓ 1 callersMethod_get_sequence

(self, seq)

src/ltl_samplers.py:104

↓ 1 callersMethod_get_sequence

(self, seq)

src/ltl_samplers.py:153

↓ 1 callersMethod_get_starting_indexes

Gives the indexes of the observations given to the model and the experiences used to compute the loss at first. The indexes are the i

src/torch_ac/algos/a2c.py:95

↓ 1 callersFunction_get_std_format

(ltl_spot)

src/ltl_progression.py:104

↓ 1 callersFunction_is_valid_map

(map, grid_size, actions)

src/envs/gym_letters/letter_env.py:162

↓ 1 callersMethod_to_graph

(self, formula, shift=0)

src/utils/ast_builder.py:62

↓ 1 callersMethodbody_com

Get the center of mass of a named body in the simulator world reference frame

src/envs/safety/safety-gym/safety_gym/envs/world.py:350

↓ 1 callersMethodbody_mat

Get the rotation matrix of a named body in the simulator world reference frame

src/envs/safety/safety-gym/safety_gym/envs/world.py:358

↓ 1 callersMethodbody_pos

Get the position of a named body in the simulator world reference frame

src/envs/safety/safety-gym/safety_gym/envs/world.py:354

next →1–100 of 357, ranked by callers