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

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Deg_cc_sendmore.cc51 EC_ref DigitList; local
52 DigitList = list(X);
54 post_goal(term(EC_functor("::",2),DigitList,
57 post_goal(term(EC_functor("alldistinct",1),DigitList));
64 post_goal(term(EC_functor("labeling",1),DigitList));
65 post_goal(term(EC_functor("writeln",1),DigitList));

Completed in 27 milliseconds