/*  Creator: make/0

    Purpose: Provide index for autoload
*/

index(:(op,op(760,yfx,#<=>)), bounds, bounds).
index(:(op,op(750,xfy,#=>)), bounds, bounds).
index(:(op,op(750,yfx,#<=)), bounds, bounds).
index(:(op,op(740,yfx,#\/)), bounds, bounds).
index(:(op,op(730,yfx,#\)), bounds, bounds).
index(:(op,op(720,yfx,#/\)), bounds, bounds).
index(:(op,op(710,fy,#\)), bounds, bounds).
index(:(op,op(700,xfx,#>)), bounds, bounds).
index(:(op,op(700,xfx,#<)), bounds, bounds).
index(:(op,op(700,xfx,#>=)), bounds, bounds).
index(:(op,op(700,xfx,#=<)), bounds, bounds).
index(:(op,op(700,xfx,#=)), bounds, bounds).
index(:(op,op(700,xfx,#\=)), bounds, bounds).
index(:(op,op(700,xfx,in)), bounds, bounds).
index(:(op,op(550,xfx,..)), bounds, bounds).
index(#>(?,?), bounds, bounds).
index(#<(?,?), bounds, bounds).
index(#>=(?,?), bounds, bounds).
index(#=<(?,?), bounds, bounds).
index(#=(?,?), bounds, bounds).
index(#\=(?,?), bounds, bounds).
index(#<=>(?,?), bounds, bounds).
index(#=>(?,?), bounds, bounds).
index(#<=(?,?), bounds, bounds).
index(#/\(?,?), bounds, bounds).
index(#\/(?,?), bounds, bounds).
index(#\(?,?), bounds, bounds).
index(#\(?), bounds, bounds).
index(in(?,?), bounds, bounds).
index(label(?), bounds, bounds).
index(labeling(?,?), bounds, bounds).
index(all_different(?), bounds, bounds).
index(sum(?,?,?), bounds, bounds).
index(lex_chain(?), bounds, bounds).
index(indomain(?), bounds, bounds).
index(check(?), bounds, bounds).
index(tuples_in(?,?), bounds, bounds).
index(serialized(?,?), bounds, bounds).
index(vars_in(?,?), clp_distinct, clp_distinct).
index(vars_in(?,?,?), clp_distinct, clp_distinct).
index(all_distinct(?), clp_distinct, clp_distinct).
index(notify(?,?), clp_events, clp_events).
index(subscribe(?,?,?,?), clp_events, clp_events).
index(unsubscribe(?,?), clp_events, clp_events).
index(:(op,op(300,fy,~)), clpb, clpb).
index(:(op,op(500,yfx,#)), clpb, clpb).
index(sat(?), clpb, clpb).
index(taut(?,?), clpb, clpb).
index(labeling(?), clpb, clpb).
index(sat_count(?,?), clpb, clpb).
index(weighted_maximum(?,?,?), clpb, clpb).
index(random_labeling(?,?), clpb, clpb).
index(:(op,op(760,yfx,#<==>)), clpfd, clpfd).
index(:(op,op(750,xfy,#==>)), clpfd, clpfd).
index(:(op,op(750,yfx,#<==)), clpfd, clpfd).
index(:(op,op(740,yfx,#\/)), clpfd, clpfd).
index(:(op,op(730,yfx,#\)), clpfd, clpfd).
index(:(op,op(720,yfx,#/\)), clpfd, clpfd).
index(:(op,op(710,fy,#\)), clpfd, clpfd).
index(:(op,op(700,xfx,#>)), clpfd, clpfd).
index(:(op,op(700,xfx,#<)), clpfd, clpfd).
index(:(op,op(700,xfx,#>=)), clpfd, clpfd).
index(:(op,op(700,xfx,#=<)), clpfd, clpfd).
index(:(op,op(700,xfx,#=)), clpfd, clpfd).
index(:(op,op(700,xfx,#\=)), clpfd, clpfd).
index(:(op,op(700,xfx,in)), clpfd, clpfd).
index(:(op,op(700,xfx,ins)), clpfd, clpfd).
index(:(op,op(700,xfx,in_set)), clpfd, clpfd).
index(:(op,op(450,xfx,..)), clpfd, clpfd).
index(#>(?,?), clpfd, clpfd).
index(#<(?,?), clpfd, clpfd).
index(#>=(?,?), clpfd, clpfd).
index(#=<(?,?), clpfd, clpfd).
index(#=(?,?), clpfd, clpfd).
index(#\=(?,?), clpfd, clpfd).
index(#\(?), clpfd, clpfd).
index(#<==>(?,?), clpfd, clpfd).
index(#==>(?,?), clpfd, clpfd).
index(#<==(?,?), clpfd, clpfd).
index(#\/(?,?), clpfd, clpfd).
index(#\(?,?), clpfd, clpfd).
index(#/\(?,?), clpfd, clpfd).
index(in(?,?), clpfd, clpfd).
index(ins(?,?), clpfd, clpfd).
index(all_different(?), clpfd, clpfd).
index(all_distinct(?), clpfd, clpfd).
index(sum(?,?,?), clpfd, clpfd).
index(scalar_product(?,?,?,?), clpfd, clpfd).
index(tuples_in(?,?), clpfd, clpfd).
index(labeling(?,?), clpfd, clpfd).
index(label(?), clpfd, clpfd).
index(indomain(?), clpfd, clpfd).
index(lex_chain(?), clpfd, clpfd).
index(serialized(?,?), clpfd, clpfd).
index(global_cardinality(?,?), clpfd, clpfd).
index(global_cardinality(?,?,?), clpfd, clpfd).
index(circuit(?), clpfd, clpfd).
index(cumulative(?), clpfd, clpfd).
index(cumulative(?,?), clpfd, clpfd).
index(disjoint2(?), clpfd, clpfd).
index(element(?,?,?), clpfd, clpfd).
index(automaton(?,?,?), clpfd, clpfd).
index(automaton(?,?,?,?,?,?,?,?), clpfd, clpfd).
index(transpose(?,?), clpfd, clpfd).
index(zcompare(?,?,?), clpfd, clpfd).
index(chain(?,?), clpfd, clpfd).
index(fd_var(?), clpfd, clpfd).
index(fd_inf(?,?), clpfd, clpfd).
index(fd_sup(?,?), clpfd, clpfd).
index(fd_size(?,?), clpfd, clpfd).
index(fd_dom(?,?), clpfd, clpfd).
index(fd_degree(?,?), clpfd, clpfd).
index(in_set(?,?), clpfd, clpfd).
index(fd_set(?,?), clpfd, clpfd).
index(is_fdset(?), clpfd, clpfd).
index(empty_fdset(?), clpfd, clpfd).
index(fdset_parts(?,?,?,?), clpfd, clpfd).
index(empty_interval(?,?), clpfd, clpfd).
index(fdset_interval(?,?,?), clpfd, clpfd).
index(fdset_singleton(?,?), clpfd, clpfd).
index(fdset_min(?,?), clpfd, clpfd).
index(fdset_max(?,?), clpfd, clpfd).
index(fdset_size(?,?), clpfd, clpfd).
index(list_to_fdset(?,?), clpfd, clpfd).
index(fdset_to_list(?,?), clpfd, clpfd).
index(range_to_fdset(?,?), clpfd, clpfd).
index(fdset_to_range(?,?), clpfd, clpfd).
index(fdset_add_element(?,?,?), clpfd, clpfd).
index(fdset_del_element(?,?,?), clpfd, clpfd).
index(fdset_disjoint(?,?), clpfd, clpfd).
index(fdset_intersect(?,?), clpfd, clpfd).
index(fdset_intersection(?,?,?), clpfd, clpfd).
index(fdset_member(?,?), clpfd, clpfd).
index(fdset_eq(?,?), clpfd, clpfd).
index(fdset_subset(?,?), clpfd, clpfd).
index(fdset_subtract(?,?,?), clpfd, clpfd).
index(fdset_union(?,?,?), clpfd, clpfd).
index(fdset_union(?,?), clpfd, clpfd).
index(fdset_complement(?,?), clpfd, clpfd).
index(assignment(?,?), simplex, simplex).
index(constraint(?,?,?), simplex, simplex).
index(constraint(?,?,?,?), simplex, simplex).
index(constraint_add(?,?,?,?), simplex, simplex).
index(gen_state(?), simplex, simplex).
index(gen_state_clpr(?), simplex, simplex).
index(gen_state_clpr(?,?), simplex, simplex).
index(maximize(?,?,?), simplex, simplex).
index(minimize(?,?,?), simplex, simplex).
index(objective(?,?), simplex, simplex).
index(shadow_price(?,?,?), simplex, simplex).
index(transportation(?,?,?,?), simplex, simplex).
index(variable_value(?,?,?), simplex, simplex).
