Searched refs:is_atom (Results 1 - 6 of 6) sorted by relevance
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | sched_cstrs.cc | 77 is_atom(EC_word w, char *name) function 80 return (w.is_atom(&a) == EC_succeed && strcmp(a.name(), name) == 0); 102 if (is_atom(EC_argument(C, 4), "cap")) { 107 assert(is_atom(EC_argument(C, 4), "ars")); 118 if (is_atom(EC_argument(C, 4), "cap")) { 123 assert(is_atom(EC_argument(C, 4), "ars"));
|
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | eg_cc_test.cc | 141 EC_succeed == EC_word(X).is_atom(&a) && 223 pw2.is_atom(&a) == EC_succeed
|
H A D | eclipse_cc.cc | 220 is_atom(EC_atom* did) function in class:EC_word
|
/barrelfish-master/usr/eclipseclp/GecodeInterface/ |
H A D | gfd.cpp | 80 if (EC_arg(N).is_atom(&atm) != EC_succeed) return TYPE_ERROR; \ 87 if (EC_arg(N).is_atom(&ecrel) != EC_succeed) return TYPE_ERROR; \ 100 if (EC_arg(N).is_atom(&rtype) != EC_succeed) return TYPE_ERROR; \ 1324 if (EC_argument(e,1).is_atom(&atm) != EC_succeed) 1435 if (EC_argument(c,1).is_atom(&atm) != EC_succeed) 4672 if (EC_arg(5).is_atom(&emph) != EC_succeed) return TYPE_ERROR; 5049 if (EC_arg(6).is_atom(&atm) != EC_succeed) return TYPE_ERROR; 5083 if (EC_arg(3).is_atom(&atm) != EC_succeed) return TYPE_ERROR; 5128 if (EC_arg(4).is_atom(&atm) != EC_succeed) return TYPE_ERROR; 5156 if (EC_arg(5).is_atom( [all...] |
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embsumcxx.tex | 129 \item[int EC_word::is_atom(EC_atom *)]\ \\
|
H A D | embed.tex | 681 else if (EC_succeed == term.is_atom(&did))
|
Completed in 101 milliseconds