Index A | B | C | D | E | G | I | L | M | N | P | R | S | T | V A Agent (class in pantograph.search) B backup() (pantograph.search.MCTSAgent method) C CompilationUnit (class in pantograph.data) D DumbAgent (class in pantograph.search) DumbMCTSAgent (class in pantograph.search) E estimate() (pantograph.search.DumbMCTSAgent method) (pantograph.search.MCTSAgent method) Expr (in module pantograph.expr) expr_type() (pantograph.server.Server method) G gc() (pantograph.server.Server method) get_lean_path() (in module pantograph.server) Goal (class in pantograph.expr) goal_conv_begin() (pantograph.server.Server method) goal_conv_end() (pantograph.server.Server method) goal_start() (pantograph.server.Server method) goal_tactic() (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_sorry() (pantograph.server.Server method) M MCTSAgent (class in pantograph.search) module pantograph.data pantograph.expr 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.search module pantograph.server module R reset() (pantograph.search.Agent method) (pantograph.search.MCTSAgent method) S search() (pantograph.search.Agent method) (pantograph.search.MCTSAgent method) SearchResult (class in pantograph.search) SearchState (class in pantograph.search) select() (pantograph.search.DumbMCTSAgent method) (pantograph.search.MCTSAgent method) Server (class in pantograph.server) ServerError T Tactic (in module pantograph.expr) tactic_invocations() (pantograph.server.Server method) TacticCalc (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) TestMCTSSearch (class in pantograph.search) TestSearch (class in pantograph.search) TestServer (class in pantograph.server) V Variable (class in pantograph.expr)