Lines Matching refs:Uneval

2057       {ok, V2State, Eval, UL, MapL0, Uneval, Failed} =
2060              [_Id, Eval, length(Uneval), length(UL)]),
2061       if Eval =:= [], Uneval =:= [] ->
2064            {Is0, UnIds} = lists:unzip(Uneval),
2091 v2_solve_disj([I|Is], [C|Cs], I, Map0, V2State0, UL, MapL, Eval, Uneval,
2099       v2_solve_disj(Is, Cs, I+1, Map0, V2State, UL, MapL, Eval, Uneval, Failed);
2105                     [I|Eval], Uneval, Failed0)
2107 v2_solve_disj([], [], _I, _Map, V2State, UL, MapL, Eval, Uneval, Failed) ->
2108   {ok, V2State, lists:reverse(Eval), UL, MapL, lists:reverse(Uneval), Failed};
2109 v2_solve_disj([every_i], Cs, I, Map, V2State, UL, MapL, Eval, Uneval, Failed) ->
2114   v2_solve_disj(NewIs, Cs, I, Map, V2State, UL, MapL, Eval, Uneval, Failed);
2116   Uneval = [{I,C#constraint_list.id} ||
2118   v2_solve_disj(Is, Cs, I+1, Map, V2State, UL, MapL, Eval, Uneval, Failed).