Module ImportFrom alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias Import alias ImportFrom alias Assign TupleStore NameStore NameStore NameStore NameStore Str FunctionDef arguments args defaults body Assign NameStore Dict Num Num Num Num Assert CompareEq Call NameLoad Num NameLoad Num Assert CompareEq Call NameLoad Num NameLoad Num Assert CompareEq Call NameLoad Num NameLoad Num decorator_list FunctionDef arguments args defaults body Expr Str Assign NameStore Dict NameLoad NameLoad NameLoad Num Num TupleLoad NameLoad NameLoad Assert CompareEq Call NameLoad NameLoad NameLoad TupleLoad NameLoad NameLoad Assert CompareEq Call NameLoad NameLoad NameLoad TupleLoad Num Num decorator_list FunctionDef arguments args defaults body Assign NameStore Call NameLoad Str Assert CompareEq Call NameLoad Call Call NameLoad NameLoad Num Dict TupleLoad Dict NameLoad Num Assert CompareEq Call NameLoad Call Call NameLoad NameLoad Num Dict NameLoad Num TupleLoad decorator_list FunctionDef arguments args defaults body Assign NameStore Call NameLoad Str Assert CompareEq Call NameLoad Call NameLoad Call Call NameLoad Call NameLoad NameLoad Num Call NameLoad NameLoad Num Dict Num Assert CompareEq Call NameLoad Call NameLoad Call Call NameLoad TupleLoad NameLoad NameLoad Num TupleLoad NameLoad NameLoad Num Dict Num decorator_list FunctionDef arguments args defaults body Assign NameStore Call NameLoad Str Assert CompareEq Call NameLoad Call NameLoad TupleLoad NameLoad NameLoad Num TupleLoad Dict NameLoad Num Assert CompareEq Call NameLoad Call NameLoad TupleLoad NameLoad NameLoad Num TupleLoad NameLoad NameLoad Num TupleLoad decorator_list FunctionDef arguments args defaults body Assign TupleStore NameStore NameStore TupleLoad Call NameLoad Str Call NameLoad Str Assert Call NameLoad TupleLoad NameLoad Num Num Assert Call NameLoad TupleLoad NameLoad Num Num Assert Call NameLoad TupleLoad NameLoad NameLoad TupleLoad Num Num Num Assert UnaryOpNot Call NameLoad TupleLoad NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args defaults body Assign TupleStore NameStore NameStore TupleLoad Call NameLoad Call NameLoad Assert CompareEq Call NameLoad TupleLoad NameLoad Num NameLoad TupleLoad TupleLoad NameLoad Num NameLoad Assert CompareEq Call NameLoad TupleLoad NameLoad Num NameLoad TupleLoad NameLoad Num NameLoad TupleLoad TupleLoad NameLoad Num NameLoad TupleLoad NameLoad Num NameLoad Assert CompareEq SubscriptLoad Call NameLoad TupleLoad NameLoad NameLoad NameLoad TupleLoad NameLoad NameLoad TupleLoad Num Num Num Index Num TupleLoad NameLoad NameLoad TupleLoad Num Num Num decorator_list FunctionDef arguments args defaults body Assign NameStore Call NameLoad Str Assert CompareEq Call NameLoad Call NameLoad ListLoad Call NameLoad NameLoad Num ListLoad Call NameLoad NameLoad Num TupleLoad Dict NameLoad Num Dict NameLoad Num Assert CompareEq Call NameLoad Call NameLoad ListLoad Call NameLoad NameLoad Num Call NameLoad NameLoad Num TupleLoad decorator_list Expr Str FunctionDef arguments args defaults body FunctionDef arguments args NameParam defaults body Raise Call NameLoad decorator_list Assign NameStore Call NameLoad Str Expr Call NameLoad Call NameLoad Num NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args defaults body Assign TupleStore NameStore NameStore NameStore Call NameLoad NameLoad Str Assert CompareEq Call NameLoad Num NameLoad Call NameLoad NameLoad Num TupleLoad Num Assert CompareEq Call NameLoad Num NameLoad Call NameLoad NameLoad Num TupleLoad Num Assert CompareEq Call NameLoad Num NameLoad Call NameLoad NameLoad Num TupleLoad Num Assert CompareEq Call NameLoad Num NameLoad Call NameLoad NameLoad TupleLoad NameLoad NameLoad Call NameLoad NameLoad Num Call NameLoad NameLoad Num TupleLoad TupleLoad Num Num Assert CompareEq Call NameLoad Call NameLoad Num NameLoad Call NameLoad ListLoad Call NameLoad NameLoad Num ListLoad Call NameLoad NameLoad Num Call NameLoad TupleLoad Num Num decorator_list FunctionDef arguments args defaults body Assign NameStore Call NameLoad Assert CompareEq Call NameLoad Num TupleLoad Num Num NameLoad Call NameLoad NameLoad Num TupleLoad TupleLoad Num Num Num decorator_list FunctionDef arguments args defaults body Assign NameStore Call NameLoad Str Assert CompareEq Call NameLoad Call NameLoad Num NameLoad Call NameLoad NameLoad TupleLoad Num Num Num Call NameLoad NameLoad TupleLoad Num Num Num Call NameLoad TupleLoad Num Num Assert CompareEq Call NameLoad Num NameLoad Call NameLoad Num TupleLoad Num NameLoad Num TupleLoad Num decorator_list FunctionDef arguments args defaults body Assign NameStore Call NameLoad Str Assign NameStore Call NameLoad GeneratorExp TupleLoad NameLoad NameLoad NameLoad comprehension NameStore Call NameLoad Num Assert CompareEq Call NameLoad Call Call NameLoad NameLoad Dict ListLoad Dict NameLoad Num Dict NameLoad Num Dict NameLoad Num Assert CompareEq Call NameLoad Call Call NameLoad NameLoad Dict ListLoad Dict NameLoad Num Dict NameLoad Num Dict NameLoad Num decorator_list FunctionDef arguments args defaults body Assign NameStore Call NameLoad Str Assign NameStore Call NameLoad NameLoad TupleLoad Num Num Num Assert CompareEq Call NameLoad Call Call NameLoad NameLoad Dict ListLoad Dict NameLoad Num Dict NameLoad Num Dict NameLoad Num Assert CompareEq Call NameLoad Call Call NameLoad NameLoad Dict ListLoad Dict NameLoad Num Dict NameLoad Num Dict NameLoad Num decorator_list FunctionDef arguments args defaults body Assign NameStore Lambda arguments args NameParam NameParam defaults BinOpAdd NameLoad NameLoad Assert CompareEq Call NameLoad TupleLoad NameLoad Num Num Num Assert CompareEq Call NameLoad Call NameLoad Num Num Num Assert CompareEq Call NameLoad TupleLoad Num Num TupleLoad Num Num decorator_list FunctionDef arguments args defaults body Assign TupleStore NameStore NameStore TupleLoad Call NameLoad Str Call NameLoad Str Assert CompareEq Call NameLoad Call NameLoad Num NameLoad TupleLoad NameLoad NameLoad TupleLoad TupleLoad Num Num Num TupleLoad Num Num Num TupleLoad NameLoad NameLoad NameLoad Call NameLoad TupleLoad Num Num Num Num Num Num decorator_list FunctionDef arguments args defaults body Assign TupleStore NameStore NameStore TupleLoad Call NameLoad Str Call NameLoad Str Assign NameStore Call NameLoad NameLoad Num Assert CompareEq Call NameLoad NameLoad NameLoad Assert Call NameLoad Call NameLoad TupleLoad NameLoad NameLoad Num Expr Call NameLoad NameLoad Lambda arguments args defaults Call NameLoad TupleLoad NameLoad NameLoad NameLoad Assert Call NameLoad Call NameLoad TupleLoad NameLoad TupleLoad NameLoad NameLoad Num decorator_list FunctionDef arguments args defaults body FunctionDef arguments args defaults vararg body If CompareLt Call NameLoad NameLoad Num body Return BinOpAdd TupleLoad NameLoad Num Call NameLoad NameLoad orelse Return Lambda arguments args NameParam defaults TupleLoad Num decorator_list Assign NameStore TupleLoad NameLoad Num Assert CompareEq Call NameLoad NameLoad TupleLoad NameLoad Num Num Num Num Num Num Num Num Num Num decorator_list FunctionDef arguments args defaults body Assign TupleStore NameStore NameStore TupleLoad Call NameLoad Call NameLoad Assert Call NameLoad Num NameLoad Call NameLoad TupleLoad NameLoad NameLoad TupleLoad Num Num TupleLoad NameLoad NameLoad NameLoad Assert Call NameLoad Num NameLoad Call NameLoad TupleLoad NameLoad NameLoad NameLoad TupleLoad NameLoad NameLoad TupleLoad Num Num decorator_list FunctionDef arguments args defaults body Assign NameStore Call NameLoad Assign NameStore Call NameLoad Assert CompareEq Call NameLoad Num NameLoad Call NameLoad TupleLoad NameLoad NameLoad NameLoad TupleLoad NameLoad NameLoad Num TupleLoad Num decorator_list FunctionDef arguments args NameParam NameParam defaults Dict body Return Call NameLoad Call Call NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args defaults body Assign NameStore Call NameLoad Assert CompareEq Call NameLoad Num NameLoad Call NameLoad Dict Num NameLoad Dict Num Num TupleLoad Num decorator_list
N/A logpy.core walk walkstar isvar var run membero evalt fail success eq conde condeseq goaleval lany lall lanyseq goalexpand earlyorder EarlyGoalError lallearly earlysafe N/A itertools logpy.util raises N/A N/A w x y z wxyz test_walk N/A N/A N/A N/A N/A s N/A 1 2 2 3 N/A N/A N/A walk 2 s 3 N/A N/A N/A walk 1 s 3 N/A N/A N/A walk 4 s 4 N/A test_deep_walk N/A N/A N/A N/A N/A  Page 30 of Byrd thesis  N/A s N/A z y x 6 5 N/A y z N/A N/A N/A walk x s N/A y z N/A N/A N/A walkstar x s N/A 5 6 N/A test_eq N/A N/A N/A N/A N/A x N/A var x N/A N/A N/A tuple N/A N/A eq x 2 N/A N/A N/A x 2 N/A N/A N/A tuple N/A N/A eq x 2 N/A x 3 N/A N/A test_lany N/A N/A N/A N/A N/A x N/A var x N/A N/A N/A len N/A tuple N/A N/A lany N/A eq x 2 N/A eq x 3 N/A 2 N/A N/A N/A len N/A tuple N/A N/A lany N/A eq x 2 N/A eq x 3 N/A 2 N/A test_lall N/A N/A N/A N/A N/A x N/A var x N/A N/A N/A results N/A lall N/A eq x 2 N/A N/A x 2 N/A N/A N/A results N/A lall N/A eq x 2 N/A eq x 3 N/A N/A test_earlysafe N/A N/A N/A N/A N/A N/A x y N/A N/A var x N/A var y N/A N/A earlysafe N/A eq 2 2 N/A N/A earlysafe N/A eq 2 3 N/A N/A earlysafe N/A membero x N/A 1 2 3 N/A N/A N/A earlysafe N/A membero x y N/A test_earlyorder N/A N/A N/A N/A N/A N/A x y N/A N/A var N/A var N/A N/A N/A earlyorder N/A eq 2 x N/A N/A eq 2 x N/A N/A N/A earlyorder N/A eq 2 x N/A eq 3 x N/A N/A eq 2 x N/A eq 3 x N/A N/A N/A N/A earlyorder N/A membero x y N/A eq y N/A 1 2 3 N/A 0 N/A eq y N/A 1 2 3 N/A test_conde N/A N/A N/A N/A N/A x N/A var x N/A N/A N/A results N/A conde N/A N/A eq x 2 N/A N/A eq x 3 N/A N/A x 2 N/A x 3 N/A N/A N/A results N/A conde N/A N/A eq x 2 N/A eq x 3 N/A N/A N/A 
def test_condeseq():
    x = var('x')
    assert tuple(condeseq(([eq(x, 2)], [eq(x, 3)]))({})) == ({x: 2}, {x: 3})
    assert tuple(condeseq([[eq(x, 2), eq(x, 3)]])({})) == ()

    goals = ([eq(x, i)] for i in itertools.count()) # infinite number of goals
    assert next(condeseq(goals)({})) == {x: 0}
 test_short_circuit N/A N/A N/A N/A badgoal N/A N/A s N/A N/A N/A N/A NotImplementedError N/A N/A x N/A var x N/A N/A tuple N/A run 5 x fail badgoal N/A test_run N/A N/A N/A N/A N/A N/A x y z N/A map var xyz N/A N/A N/A run 1 x N/A eq x 1 N/A 1 N/A N/A N/A run 2 x N/A eq x 1 N/A 1 N/A N/A N/A run 0 x N/A eq x 1 N/A 1 N/A N/A N/A run 1 x N/A eq x N/A y z N/A eq y 3 N/A eq z 4 N/A N/A 3 4 N/A N/A N/A set N/A run 2 x N/A conde N/A N/A eq x 1 N/A N/A eq x 2 N/A set N/A 1 2 N/A test_run_output_reify N/A N/A N/A N/A N/A x N/A var N/A N/A N/A run 0 N/A 1 2 x N/A eq x 3 N/A N/A 1 2 3 N/A test_membero N/A N/A N/A N/A N/A x N/A var x N/A N/A N/A set N/A run 5 x N/A membero x N/A 1 2 3 N/A membero x N/A 2 3 4 N/A set N/A 2 3 N/A N/A N/A run 5 x N/A membero 2 N/A 1 x 3 N/A 2 N/A test_lanyseq N/A N/A N/A N/A N/A x N/A var x N/A g N/A lanyseq N/A N/A eq x i N/A i N/A range 3 N/A N/A N/A list N/A N/A goaleval g N/A N/A N/A x 0 N/A x 1 N/A x 2 N/A N/A N/A list N/A N/A goaleval g N/A N/A N/A x 0 N/A x 1 N/A x 2 N/A test_membero_can_be_reused N/A N/A N/A N/A N/A x N/A var x N/A g N/A membero x N/A 0 1 2 N/A N/A N/A list N/A N/A goaleval g N/A N/A N/A x 0 N/A x 1 N/A x 2 N/A N/A N/A list N/A N/A goaleval g N/A N/A N/A x 0 N/A x 1 N/A x 2 N/A test_evalt N/A N/A N/A N/A N/A add N/A N/A N/A x y N/A N/A x y N/A N/A N/A evalt N/A add 2 3 5 N/A N/A N/A evalt N/A add 2 3 5 N/A N/A N/A evalt N/A 1 2 N/A 1 2 N/A test_uneval_membero N/A N/A N/A N/A N/A N/A x y N/A N/A var x N/A var y N/A N/A N/A set N/A run 100 x N/A membero y N/A N/A 1 2 3 N/A 4 5 6 N/A membero x y N/A set N/A 1 2 3 4 5 6 N/A test_goaleval N/A N/A N/A N/A N/A N/A x y N/A N/A var x N/A var y N/A g N/A eq x 2 N/A N/A N/A goaleval g g N/A N/A callable N/A goaleval N/A eq x 2 N/A N/A raises EarlyGoalError N/A N/A N/A N/A N/A goaleval N/A membero x y N/A N/A callable N/A goaleval N/A lall N/A eq x 2 N/A test_goalexpand N/A N/A N/A N/A growing_goal N/A N/A N/A args N/A N/A N/A N/A len args 10 N/A N/A N/A N/A growing_goal 1 N/A tuple args N/A N/A N/A N/A N/A s N/A N/A 1 N/A N/A g N/A growing_goal 2 N/A N/A N/A goalexpand g N/A growing_goal 1 1 1 1 1 1 1 1 1 2 N/A test_early N/A N/A N/A N/A N/A N/A x y N/A N/A var N/A var N/A N/A run 0 x N/A lallearly N/A eq y N/A 1 2 N/A membero x y N/A N/A run 0 x N/A lallearly N/A membero x y N/A eq y N/A 1 2 N/A test_lany_is_early_safe N/A N/A N/A N/A N/A x N/A var N/A y N/A var N/A N/A N/A run 0 x N/A lany N/A membero x y N/A eq x 2 N/A 2 N/A results N/A N/A g s N/A N/A N/A N/A N/A tuple N/A N/A goaleval g s N/A test_dict N/A N/A N/A N/A N/A x N/A var N/A N/A N/A run 0 x N/A eq N/A 1 x N/A 1 2 N/A 2 N/A