Index

A

aclose() (pysabelle.client.client.IsabelleClient method)

all (pysabelle.raw.types.PurgeTheoriesArgs attribute) argument_raw (pysabelle.raw.protocol.RawReply attribute)

B

base64 (pysabelle.raw.types.Export attribute) BaseIsabelleServer (class in pysabelle.server.server_process)

body (pysabelle.raw.types.Export attribute) build() (pysabelle.session.session.IsabelleSession method) build_note_handler() (in module pysabelle.session.callbacks)

C

cancel() (pysabelle.raw.commands.RawCommands method) canceled (pysabelle.raw.types.NodeStatus attribute) check_delay (pysabelle.raw.types.UseTheoriesArgs attribute) check_limit (pysabelle.raw.types.UseTheoriesArgs attribute) check_theories() (pysabelle.session.session.IsabelleSession method)

close() (pysabelle.raw.transport.Transport method) (pysabelle.session.session.IsabelleSession method) connect() (pysabelle.client.client.IsabelleClient class method) (pysabelle.session.session.IsabelleSession class method) consolidated (pysabelle.raw.types.NodeStatus attribute) cpu (pysabelle.raw.types.Timing attribute)

D

dirs (pysabelle.raw.types.SessionBuildArgs attribute)

E

echo() (pysabelle.raw.commands.RawCommands method) elapsed (pysabelle.raw.types.Timing attribute) encode_long_message() (in module pysabelle.raw.protocol) encode_short_message() (in module pysabelle.raw.protocol) end_offset (pysabelle.raw.types.Position attribute) ERROR (pysabelle.raw.protocol.ReplyKind attribute) (pysabelle.raw.types.MessageKind attribute)

ErrorMessage (class in pysabelle.raw.types) errors (pysabelle.raw.types.UseTheoriesResults attribute) Export (class in pysabelle.raw.types) export_pattern (pysabelle.raw.types.UseTheoriesArgs attribute) exports (pysabelle.raw.types.NodeResults attribute)

F

FAILED (pysabelle.raw.protocol.ReplyKind attribute) failed (pysabelle.raw.types.NodeStatus attribute) file (pysabelle.raw.types.Position attribute) FINISHED (pysabelle.raw.protocol.ReplyKind attribute) finished (pysabelle.raw.types.NodeStatus attribute) from_dict() (pysabelle.raw.types.ErrorMessage class method) (pysabelle.raw.types.Export class method) (pysabelle.raw.types.Message class method) (pysabelle.raw.types.Node class method) (pysabelle.raw.types.NodeResultEntry class method) (pysabelle.raw.types.NodeResults class method) (pysabelle.raw.types.NodeStatus class method) (pysabelle.raw.types.NodeWithStatus class method) (pysabelle.raw.types.Position class method) (pysabelle.raw.types.PurgeTheoriesResults class method) (pysabelle.raw.types.SessionBuildResult class method) (pysabelle.raw.types.SessionBuildResults class method) (pysabelle.raw.types.SessionStartResult class method) (pysabelle.raw.types.SessionStopResult class method) (pysabelle.raw.types.TheoryProgress class method) (pysabelle.raw.types.Timing class method) (pysabelle.raw.types.UseTheoriesResults class method)

G

gc (pysabelle.raw.types.Timing attribute)

get() (pysabelle.raw.protocol.RawReply method)

H

help() (pysabelle.raw.commands.RawCommands method)

host (pysabelle.server.models.ServerInfo attribute)

I

id (pysabelle.raw.types.Position attribute) include_sessions (pysabelle.raw.types.SessionBuildArgs attribute) info (pysabelle.server.server_process.BaseIsabelleServer property) (pysabelle.server.server_process.IsabelleServerProcess property) is_async (pysabelle.raw.protocol.RawReply property) is_closing (pysabelle.raw.transport.Transport property) is_error (pysabelle.raw.protocol.RawReply property) (pysabelle.raw.types.Message property) is_failed (pysabelle.raw.protocol.RawReply property) is_finished (pysabelle.raw.protocol.RawReply property) is_note (pysabelle.raw.protocol.RawReply property) is_ok (pysabelle.raw.protocol.RawReply property) is_running (pysabelle.server.server_process.BaseIsabelleServer property) (pysabelle.server.server_process.IsabelleServerProcess property)

is_server_running() (in module pysabelle.server.server_process) is_terminal (pysabelle.raw.protocol.RawReply property) is_theory_progress() (pysabelle.raw.types.TheoryProgress class method) IsabelleClient (class in pysabelle.client.client) IsabelleCommandError IsabelleConnectionError IsabelleError IsabelleProtocolError IsabelleServerError IsabelleServerProcess (class in pysabelle.server.server_process) IsabelleSession (class in pysabelle.session.session) IsabelleSessionError IsabelleTaskCancelled IsabelleTimeoutError

J

json() (pysabelle.raw.protocol.RawReply method)

K

kind (pysabelle.raw.protocol.RawReply attribute) (pysabelle.raw.types.ErrorMessage attribute) (pysabelle.raw.types.Message attribute) (pysabelle.raw.types.TheoryProgress attribute)

L

line (pysabelle.raw.types.Position attribute)

list_servers() (in module pysabelle.server.server_process) load_and_purge() (pysabelle.session.session.IsabelleSession method)

M

master_dir (pysabelle.raw.types.PurgeTheoriesArgs attribute) (pysabelle.raw.types.UseTheoriesArgs attribute) Message (class in pysabelle.raw.types) message (pysabelle.raw.types.ErrorMessage attribute) (pysabelle.raw.types.Message attribute) (pysabelle.raw.types.TheoryProgress attribute) MessageKind (class in pysabelle.raw.types) messages (pysabelle.raw.types.NodeResults attribute) module pysabelle pysabelle.client pysabelle.client.client pysabelle.raw pysabelle.raw.commands pysabelle.raw.dispatcher pysabelle.raw.exceptions pysabelle.raw.protocol pysabelle.raw.transport pysabelle.raw.types pysabelle.server pysabelle.server.exceptions pysabelle.server.models pysabelle.server.server_process pysabelle.session pysabelle.session.callbacks pysabelle.session.exceptions pysabelle.session.session

N

name (pysabelle.raw.types.Export attribute) (pysabelle.server.models.ServerInfo attribute) Node (class in pysabelle.raw.types) node (pysabelle.raw.types.NodeResultEntry attribute) (pysabelle.raw.types.NodeWithStatus attribute) node_name (pysabelle.raw.types.Node attribute) NodeResultEntry (class in pysabelle.raw.types)

NodeResults (class in pysabelle.raw.types) nodes (pysabelle.raw.types.UseTheoriesResults attribute) nodes_status_delay (pysabelle.raw.types.UseTheoriesArgs attribute) NodesStatusCallback (in module pysabelle.session.callbacks) NodeStatus (class in pysabelle.raw.types) NodeWithStatus (class in pysabelle.raw.types) NOTE (pysabelle.raw.protocol.ReplyKind attribute) NoteCallback (in module pysabelle.raw.types)

O

offset (pysabelle.raw.types.Position attribute) OK (pysabelle.raw.protocol.ReplyKind attribute) ok (pysabelle.raw.types.NodeStatus attribute) (pysabelle.raw.types.SessionBuildResult attribute) (pysabelle.raw.types.SessionBuildResults attribute) (pysabelle.raw.types.SessionStopResult attribute) (pysabelle.raw.types.UseTheoriesResults attribute)

open() (pysabelle.raw.transport.Transport class method) options (pysabelle.raw.types.SessionBuildArgs attribute) (pysabelle.raw.types.UseTheoriesArgs attribute)

P

parse() (pysabelle.raw.protocol.RawReply class method) password (pysabelle.server.models.ServerInfo attribute) percentage (pysabelle.raw.types.NodeStatus attribute) (pysabelle.raw.types.TheoryProgress attribute) port (pysabelle.server.models.ServerInfo attribute) pos (pysabelle.raw.types.Message attribute) Position (class in pysabelle.raw.types) preferences (pysabelle.raw.types.SessionBuildArgs attribute) pretty_margin (pysabelle.raw.types.UseTheoriesArgs attribute) print_mode (pysabelle.raw.types.SessionBuildArgs attribute) ProgressCallback (in module pysabelle.session.callbacks) purge_theories() (pysabelle.raw.commands.RawCommands method) (pysabelle.session.session.IsabelleSession method) purged (pysabelle.raw.types.PurgeTheoriesResults attribute) PurgeTheoriesArgs (class in pysabelle.raw.types) PurgeTheoriesResults (class in pysabelle.raw.types) pysabelle module pysabelle.client module pysabelle.client.client module pysabelle.raw module pysabelle.raw.commands module

pysabelle.raw.dispatcher module pysabelle.raw.exceptions module pysabelle.raw.protocol module pysabelle.raw.transport module pysabelle.raw.types module pysabelle.server module pysabelle.server.exceptions module pysabelle.server.models module pysabelle.server.server_process module pysabelle.session module pysabelle.session.callbacks module pysabelle.session.exceptions module pysabelle.session.session module

R

RawCommands (class in pysabelle.raw.commands) RawReply (class in pysabelle.raw.protocol) receive() (pysabelle.raw.transport.Transport method) ReplyKind (class in pysabelle.raw.protocol) results (pysabelle.raw.types.NodeResultEntry attribute) retained (pysabelle.raw.types.PurgeTheoriesResults attribute)

return_code (pysabelle.raw.types.SessionBuildResult attribute) (pysabelle.raw.types.SessionBuildResults attribute) (pysabelle.raw.types.SessionStopResult attribute) run_async() (pysabelle.raw.dispatcher.TaskDispatcher method) run_sync() (pysabelle.raw.dispatcher.TaskDispatcher method) running (pysabelle.raw.types.NodeStatus attribute)

S

send() (pysabelle.raw.transport.Transport method) ServerAlreadyRunning ServerInfo (class in pysabelle.server.models) ServerNotRunning ServerStartupTimeout session (pysabelle.raw.types.SessionBuildArgs attribute) (pysabelle.raw.types.SessionBuildResult attribute) (pysabelle.raw.types.TheoryProgress attribute) session_build() (pysabelle.raw.commands.RawCommands method) session_id (pysabelle.raw.types.PurgeTheoriesArgs attribute) (pysabelle.raw.types.SessionId attribute) (pysabelle.raw.types.SessionStartResult attribute) (pysabelle.raw.types.UseTheoriesArgs attribute) (pysabelle.session.session.IsabelleSession property) session_start() (pysabelle.raw.commands.RawCommands method) session_stop() (pysabelle.raw.commands.RawCommands method) SessionAlreadyClosed SessionBuildArgs (class in pysabelle.raw.types)

SessionBuildResult (class in pysabelle.raw.types) SessionBuildResults (class in pysabelle.raw.types) SessionId (class in pysabelle.raw.types) sessions (pysabelle.raw.types.SessionBuildResults attribute) SessionStartResult (class in pysabelle.raw.types) SessionStopResult (class in pysabelle.raw.types) shutdown() (pysabelle.raw.commands.RawCommands method) start() (pysabelle.client.client.IsabelleClient class method) (pysabelle.raw.dispatcher.TaskDispatcher method) (pysabelle.server.server_process.BaseIsabelleServer method) (pysabelle.server.server_process.IsabelleServerProcess method) (pysabelle.session.session.IsabelleSession class method) status (pysabelle.raw.types.NodeResults attribute) (pysabelle.raw.types.NodeWithStatus attribute) stop() (pysabelle.raw.dispatcher.TaskDispatcher method) (pysabelle.server.server_process.BaseIsabelleServer method) (pysabelle.server.server_process.IsabelleServerProcess method) stop_server() (pysabelle.client.client.IsabelleClient method)

T

task (pysabelle.raw.types.TaskId attribute) task_id (pysabelle.raw.protocol.RawReply property) TaskDispatcher (class in pysabelle.raw.dispatcher) TaskId (class in pysabelle.raw.types) theories (pysabelle.raw.types.PurgeTheoriesArgs attribute) (pysabelle.raw.types.UseTheoriesArgs attribute) theory (pysabelle.raw.types.TheoryProgress attribute) theory_name (pysabelle.raw.types.Node attribute) TheoryLoadError TheoryProgress (class in pysabelle.raw.types)

timeout (pysabelle.raw.types.SessionBuildResult attribute) Timing (class in pysabelle.raw.types) timing (pysabelle.raw.types.SessionBuildResult attribute) tmp_dir (pysabelle.raw.types.SessionStartResult attribute) (pysabelle.session.session.IsabelleSession property) to_dict() (pysabelle.raw.types.Position method) (pysabelle.raw.types.PurgeTheoriesArgs method) (pysabelle.raw.types.SessionBuildArgs method) (pysabelle.raw.types.UseTheoriesArgs method) total (pysabelle.raw.types.NodeStatus attribute) Transport (class in pysabelle.raw.transport)

U

unicode_symbols (pysabelle.raw.types.UseTheoriesArgs attribute) unprocessed (pysabelle.raw.types.NodeStatus attribute) use_theories() (pysabelle.raw.commands.RawCommands method) (pysabelle.session.session.IsabelleSession method)

use_theories_note_handler() (in module pysabelle.session.callbacks) UseTheoriesArgs (class in pysabelle.raw.types) UseTheoriesResults (class in pysabelle.raw.types) UUID (in module pysabelle.raw.types)

V

verbose (pysabelle.raw.types.SessionBuildArgs attribute)

W

warned (pysabelle.raw.types.NodeStatus attribute) WARNING (pysabelle.raw.types.MessageKind attribute)

watchdog_timeout (pysabelle.raw.types.UseTheoriesArgs attribute) WRITELN (pysabelle.raw.types.MessageKind attribute)