Index

_

__init__() (gym_saturation.envs.iprover_env.IProverEnv method) (gym_saturation.envs.saturation_env.SaturationEnv method) (gym_saturation.envs.vampire_env.VampireEnv method) (gym_saturation.relay_server.RelayServer method) (gym_saturation.vampire_wrapper.VampireWrapper method) (gym_saturation.wrappers.ast2vec_wrapper.AST2VecWrapper method) (gym_saturation.wrappers.clause_embeddings_wrapper.ClauseEmbeddingsWrapper method) (gym_saturation.wrappers.llm_wrapper.LLMWrapper method) (gym_saturation.wrappers.md2d_wrapper.Md2DWrapper method)

A

action() (gym_saturation.wrappers.md2d_wrapper.Md2DWrapper method) (gym_saturation.wrappers.useful_actions_wrapper.UsefulActionsWrapper method)

AST2VecWrapper (class in gym_saturation.wrappers.ast2vec_wrapper)

C

clause_embedder() (gym_saturation.wrappers.ast2vec_wrapper.AST2VecWrapper method) (gym_saturation.wrappers.clause_embeddings_wrapper.ClauseEmbeddingsWrapper method) (gym_saturation.wrappers.llm_wrapper.LLMWrapper method)

ClauseEmbeddingsWrapper (class in gym_saturation.wrappers.clause_embeddings_wrapper) close() (gym_saturation.envs.iprover_env.IProverEnv method) (gym_saturation.envs.vampire_env.VampireEnv method)

D

do_GET() (gym_saturation.dummy_http_handler.DummyHTTPHandler method)

do_POST() (gym_saturation.dummy_http_handler.DummyHTTPHandler method) DummyHTTPHandler (class in gym_saturation.dummy_http_handler)

G

get_task() (gym_saturation.envs.saturation_env.SaturationEnv method) gym_saturation.constants module gym_saturation.dummy_http_handler module gym_saturation.envs.iprover_env module gym_saturation.envs.saturation_env module gym_saturation.envs.vampire_env module gym_saturation.proof_state module gym_saturation.relay_server module

gym_saturation.utils module gym_saturation.vampire_wrapper module gym_saturation.wrappers.ast2vec_wrapper module gym_saturation.wrappers.clause_embeddings_wrapper module gym_saturation.wrappers.llm_wrapper module gym_saturation.wrappers.md2d_wrapper module gym_saturation.wrappers.useful_actions_wrapper module

H

handle() (gym_saturation.relay_server.RelayTCPHandler method)

I

IProverEnv (class in gym_saturation.envs.iprover_env)

L

LLMWrapper (class in gym_saturation.wrappers.llm_wrapper)

M

Md2DWrapper (class in gym_saturation.wrappers.md2d_wrapper) module gym_saturation.constants gym_saturation.dummy_http_handler gym_saturation.envs.iprover_env gym_saturation.envs.saturation_env gym_saturation.envs.vampire_env gym_saturation.proof_state gym_saturation.relay_server gym_saturation.utils gym_saturation.vampire_wrapper gym_saturation.wrappers.ast2vec_wrapper gym_saturation.wrappers.clause_embeddings_wrapper gym_saturation.wrappers.llm_wrapper gym_saturation.wrappers.md2d_wrapper gym_saturation.wrappers.useful_actions_wrapper

O

observation() (gym_saturation.wrappers.clause_embeddings_wrapper.ClauseEmbeddingsWrapper method) on_truncated() (gym_saturation.envs.iprover_env.IProverEnv method) (gym_saturation.envs.saturation_env.SaturationEnv method) (gym_saturation.envs.vampire_env.VampireEnv method)

P

pick_a_clause() (gym_saturation.vampire_wrapper.VampireWrapper method) pretty_print() (in module gym_saturation.utils)

proc (gym_saturation.vampire_wrapper.VampireWrapper property) ProofState (class in gym_saturation.proof_state)

R

relay_server (gym_saturation.envs.iprover_env.IProverEnv property) RelayServer (class in gym_saturation.relay_server) RelayTCPHandler (class in gym_saturation.relay_server) render() (gym_saturation.envs.saturation_env.SaturationEnv method)

reset() (gym_saturation.envs.iprover_env.IProverEnv method) (gym_saturation.envs.saturation_env.SaturationEnv method) (gym_saturation.envs.vampire_env.VampireEnv method) (gym_saturation.wrappers.clause_embeddings_wrapper.ClauseEmbeddingsWrapper method)

S

SaturationEnv (class in gym_saturation.envs.saturation_env) set_task() (gym_saturation.envs.saturation_env.SaturationEnv method) start() (gym_saturation.vampire_wrapper.VampireWrapper method)

start_server_in_a_thread() (in module gym_saturation.utils) step() (gym_saturation.envs.saturation_env.SaturationEnv method) (gym_saturation.wrappers.useful_actions_wrapper.UsefulActionsWrapper method)

T

terminate() (gym_saturation.vampire_wrapper.VampireWrapper method) terminated (gym_saturation.proof_state.ProofState property)

tptp2python() (in module gym_saturation.utils) truncated (gym_saturation.proof_state.ProofState property)

U

UsefulActionsWrapper (class in gym_saturation.wrappers.useful_actions_wrapper)

V

VampireEnv (class in gym_saturation.envs.vampire_env)

VampireWrapper (class in gym_saturation.vampire_wrapper)