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

/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dsched_cstrs.cc77 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 Deg_cc_test.cc141 EC_succeed == EC_word(X).is_atom(&a) &&
223 pw2.is_atom(&a) == EC_succeed
H A Declipse_cc.cc220 is_atom(EC_atom* did) function in class:EC_word
/barrelfish-master/usr/eclipseclp/GecodeInterface/
H A Dgfd.cpp80 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 Dembsumcxx.tex129 \item[int EC_word::is_atom(EC_atom *)]\ \\
H A Dembed.tex681 else if (EC_succeed == term.is_atom(&did))

Completed in 101 milliseconds