Lines Matching defs:Domain
28 \chapter{ The Set Domain Library}
423 make_domain(N, Domain),
424 init_sets(NB, Domain, LS),
452 make_domain(N, Domain) :-
455 list2set(L, Domain).
458 init_sets(NB, Domain, Sol) :-
460 init_sets(NB1, Domain, Sol1),
461 S `:: {} .. Domain,
621 \subsection{Set Domain access}
855 \section{Set Domain output}