Module Assign NameStore Str FunctionDef arguments args NameParam NameParam defaults body Expr Str Return NameLoad decorator_list ClassDef bases body Expr Str FunctionDef arguments args NameParam NameParam defaults body Return CompareEq NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Assign NameStore Dict Assign NameStore Call AttributeLoad NameLoad attr Assign NameStore Num While NameLoad body Assign NameStore Num While CompareLtE NameLoad NameLoad body TryExcept body Assign TupleStore NameStore NameStore Call NameLoad NameLoad handlers ExceptHandler type NameLoad body Break If CompareNotIn NameLoad NameLoad body Assign SubscriptStore NameLoad Index NameLoad ListLoad NameLoad orelse Expr Call AttributeLoad SubscriptLoad NameLoad Index NameLoad attr NameLoad For NameStore Call NameLoad NameLoad body For NameStore SubscriptLoad NameLoad Index NameLoad body Assign NameStore Call NameLoad NameLoad BinOpDiv BinOpPow Num BinOpSub NameLoad NameLoad NameLoad Assign NameStore Call AttributeLoad NameLoad attr NameLoad If Call AttributeLoad NameLoad attr NameLoad body Return NameLoad AugAssignAdd NameStore Num decorator_list decorator_list
N/A N/A __author__ Tom Schaul, tom@idsia.ch timeBoundExecution N/A N/A algo maxtime N/A N/A N/A  wrap the algo, to stop execution after it has used all its allocated time  N/A algo N/A LevinSeach N/A N/A N/A  a.k.a. Universal Search

    Note: don't run this, it's a bit slow... but it will solve all your problems!  stoppingCriterion N/A N/A self val N/A N/A N/A N/A val True N/A run N/A N/A self input generator N/A N/A N/A complexities N/A N/A piter N/A N/A generator orderedEnumeration N/A maxLevin 1 N/A True N/A N/A c 0 N/A N/A c maxLevin N/A N/A N/A N/A N/A c p N/A next piter N/A N/A N/A StopIteration N/A N/A N/A N/A c complexities N/A N/A N/A complexities N/A c N/A p N/A N/A N/A N/A N/A complexities N/A c append p N/A c N/A range maxLevin N/A N/A p N/A complexities N/A c N/A N/A boundP N/A timeBoundExecution p N/A N/A 2 N/A maxLevin c maxLevin N/A res N/A N/A boundP run input N/A N/A N/A self stoppingCriterion res N/A N/A res N/A maxLevin 1 N/A N/A