Searched refs:check_index_global_list (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dr.pl1913 check_index_global_list :- label
1935 check_index_global_list(Rhs),
1938 check_index_global_list([]).
1939 check_index_global_list([mono(_,H)|T]) :-
1954 check_index_global_list(T).
1958 not(not(check_index_global_list)).

Completed in 79 milliseconds