Index A | B | C | D | E | F | G | I | L | M | N | P | R | S | T | V A Agent (class in pantograph.search) B backup() (pantograph.search.MCTSAgent method) C check_compile() (pantograph.server.Server method) check_compile_async() (pantograph.server.Server method) check_track() (pantograph.server.Server method) check_track_async() (pantograph.server.Server method) CheckTrackResult (class in pantograph.data) CompilationUnit (class in pantograph.data) create() (pantograph.server.Server class method) D DumbAgent (class in pantograph.search) DumbMCTSAgent (class in pantograph.search) E env_add() (pantograph.server.Server method) env_add_async() (pantograph.server.Server method) env_catalog() (pantograph.server.Server method) env_catalog_async() (pantograph.server.Server method) env_inspect() (pantograph.server.Server method) env_inspect_async() (pantograph.server.Server method) env_load() (pantograph.server.Server method) env_load_async() (pantograph.server.Server method) env_module_read() (pantograph.server.Server method) env_module_read_async() (pantograph.server.Server method) env_parse() (pantograph.server.Server method) env_parse_async() (pantograph.server.Server method) env_save() (pantograph.server.Server method) env_save_async() (pantograph.server.Server method) estimate() (pantograph.search.DumbMCTSAgent method) (pantograph.search.MCTSAgent method) Expr (in module pantograph.expr) expr_type() (pantograph.server.Server method) expr_type_async() (pantograph.server.Server method) F feedback (pantograph.data.CheckTrackResult property) G gc() (pantograph.server.Server method) gc_async() (pantograph.server.Server method) get_version() (in module pantograph.server) Goal (class in pantograph.expr) goal_continue() (pantograph.server.Server method) goal_continue_async() (pantograph.server.Server method) goal_load() (pantograph.server.Server method) goal_load_async() (pantograph.server.Server method) goal_resume() (pantograph.server.Server method) goal_resume_async() (pantograph.server.Server method) goal_root() (pantograph.server.Server method) goal_root_async() (pantograph.server.Server method) goal_save() (pantograph.server.Server method) goal_save_async() (pantograph.server.Server method) goal_start() (pantograph.server.Server method) goal_start_async() (pantograph.server.Server method) goal_subsume() (pantograph.server.Server method) goal_subsume_async() (pantograph.server.Server method) goal_tactic() (pantograph.server.Server method) goal_tactic_async() (pantograph.server.Server method) GoalState (class in pantograph.expr) guidance() (pantograph.search.Agent method) I is_automatic() (pantograph.server.Server method) is_solved (pantograph.expr.GoalState property) L load_definitions() (pantograph.server.Server method) load_definitions_async() (pantograph.server.Server method) load_header() (pantograph.server.Server method) load_header_async() (pantograph.server.Server method) load_sorry() (pantograph.server.Server method) load_sorry_async() (pantograph.server.Server method) M MCTSAgent (class in pantograph.search) Message (class in pantograph.message) module pantograph.data pantograph.expr pantograph.message pantograph.search pantograph.server N next_tactic() (pantograph.search.Agent method) (pantograph.search.DumbAgent method) (pantograph.search.DumbMCTSAgent method) (pantograph.search.MCTSAgent method) P pantograph.data module pantograph.expr module pantograph.message module pantograph.search module pantograph.server module ParseError Position (class in pantograph.message) R refactor_search_target() (pantograph.server.Server method) refactor_search_target_async() (pantograph.server.Server method) reset() (pantograph.search.Agent method) (pantograph.search.MCTSAgent method) restart() (pantograph.server.Server method) restart_async() (pantograph.server.Server method) S search() (pantograph.search.Agent method) (pantograph.search.MCTSAgent method) SearchResult (class in pantograph.search) SearchState (class in pantograph.search) SearchTarget (class in pantograph.data) select() (pantograph.search.DumbMCTSAgent method) (pantograph.search.MCTSAgent method) Server (class in pantograph.server) ServerError Severity (class in pantograph.message) Site (class in pantograph.expr) Subsumption (class in pantograph.expr) T Tactic (in module pantograph.expr) tactic_invocations() (pantograph.server.Server method) tactic_invocations_async() (pantograph.server.Server method) TacticDraft (class in pantograph.expr) TacticExpr (class in pantograph.expr) TacticFailure TacticHave (class in pantograph.expr) TacticInvocation (class in pantograph.data) TacticLet (class in pantograph.expr) TacticMode (class in pantograph.expr) V Variable (class in pantograph.expr)