Home
last modified time | relevance | path

Searched refs:rel_eq (Results 1 – 11 of 11) sorted by relevance

/dports/math/gecode/gecode-0916a1a/gecode/set/rel-op/
H A Dpost.hpp45 rel_eq(Home home, View0 x0, SetOpType op, View1 x1, Res x2) { in rel_eq() function
193 rel_eq<View0,View1,View2>(home, x, op, y, z); in rel_op_post_nocompl()
198 rel_eq<View0,View1,SetView>(home, x, op, y, tmp); in rel_op_post_nocompl()
208 rel_eq<View0,View1,SetView>(home, x, op, y, tmp); in rel_op_post_nocompl()
223 rel_eq<View0,View1,SetView>(home, x, op, y, tmp); in rel_op_post_nocompl()
H A Dpost-compl-cvv.cpp45 rel_eq<ConstSetView,SetView,ComplementView<SetView> >(home, x, op, y, cz); in post_compl()
H A Dpost-compl.cpp45 rel_eq<SetView,SetView,ComplementView<SetView> >(home, x, op, y, cz); in post_compl()
H A Dpost-compl-vvc.cpp48 rel_eq<SetView,SetView,ConstSetView>(home, x, op, y, cz); in post_compl()
H A Dpost-compl-cvc.cpp49 rel_eq<ConstSetView,SetView,ConstSetView>(home, x, op, y, cz); in post_compl()
/dports/mail/cyrus-imapd30/cyrus-imapd-3.0.16/sieve/
H A Dcomparator.c69 static int rel_eq(const char *text, size_t tlen, const char *pat, void *rock) in rel_eq() function
510 ret = &rel_eq; in lookup_rel()
546 ret = &rel_eq; in lookup_comp()
569 ret = &rel_eq; in lookup_comp()
594 ret = &rel_eq; in lookup_comp()
/dports/mail/cyrus-imapd32/cyrus-imapd-3.2.8/sieve/
H A Dcomparator.c70 static int rel_eq(const char *text, size_t tlen, const char *pat, in rel_eq() function
509 ret = &rel_eq; in lookup_rel()
550 ret = &rel_eq; in lookup_comp()
573 ret = &rel_eq; in lookup_comp()
598 ret = &rel_eq; in lookup_comp()
/dports/mail/cyrus-imapd34/cyrus-imapd-3.4.2/sieve/
H A Dcomparator.c70 static int rel_eq(const char *text, size_t tlen, const char *pat, in rel_eq() function
474 ret = &rel_eq; in lookup_rel()
515 ret = &rel_eq; in lookup_comp()
538 ret = &rel_eq; in lookup_comp()
563 ret = &rel_eq; in lookup_comp()
/dports/misc/cloc/cloc-1.90/tests/inputs/
H A Ddlist.lean101 protected lemma rel_eq :
127 _root_.transfer.transfer [`relator.rel_forall_of_total, `dlist.rel_eq, `dlist.rel_empty,
/dports/www/nextcloud/nextcloud/apps-pkg/text/js/highlight/
H A Dgams.js.map1 … bool_and bool_eqv bool_imp ' +\n 'bool_not bool_or bool_xor ifThen rel_eq rel_ge rel_gt rel_…
/dports/www/mattermost-webapp/mattermost/client/
H A Dmain.ea67f64bfaca6bdc766a.js.map1 … bool_and bool_eqv bool_imp ' +\n 'bool_not bool_or bool_xor ifThen rel_eq rel_ge rel_gt rel_…