Searched refs:wrap_simple_constr (Results 1 – 7 of 7) sorted by relevance
3159 List1 = [wrap_simple_constr(C) || C <- List],3162 wrap_simple_constr(#constraint{} = C) -> mk_conj_constraint_list([C]); function3163 wrap_simple_constr(#constraint_list{} = C) -> C; function3164 wrap_simple_constr(#constraint_ref{} = C) -> C. function
3162 List1 = [wrap_simple_constr(C) || C <- List],3165 wrap_simple_constr(#constraint{} = C) -> mk_conj_constraint_list([C]); function3166 wrap_simple_constr(#constraint_list{} = C) -> C; function3167 wrap_simple_constr(#constraint_ref{} = C) -> C. function