| /dports/devel/hyperscan/boost_1_75_0/boost/leaf/ |
| H A D | pred.hpp | 133 struct is_predicate<match<E, V1, V...>>: std::true_type struct
185 struct is_predicate<match_value<E, V1, V...>>: std::true_type struct
208 struct is_predicate<match_member<P, V1, V...>>: std::true_type struct
229 struct is_predicate<if_not<P>>: std::true_type struct
288 struct is_predicate<catch_<Ex...>>: std::true_type struct
|
| H A D | context.hpp | 28 struct is_predicate: std::false_type struct
42 template <class E, bool IsPredicate = is_predicate<E>::value>
63 …static_assert(!is_predicate<error_type>::value, "Handlers must take predicate arguments by value");
|
| /dports/science/py-scipy/scipy-1.7.1/scipy/_lib/boost/boost/leaf/ |
| H A D | pred.hpp | 133 struct is_predicate<match<E, V1, V...>>: std::true_type struct
185 struct is_predicate<match_value<E, V1, V...>>: std::true_type struct
208 struct is_predicate<match_member<P, V1, V...>>: std::true_type struct
229 struct is_predicate<if_not<P>>: std::true_type struct
288 struct is_predicate<catch_<Ex...>>: std::true_type struct
|
| H A D | context.hpp | 28 struct is_predicate: std::false_type struct
42 template <class E, bool IsPredicate = is_predicate<E>::value>
63 …static_assert(!is_predicate<error_type>::value, "Handlers must take predicate arguments by value");
|
| /dports/devel/bison/bison-3.7.6/src/ |
| H A D | scan-code.h | 75 bool is_predicate; member
168 bool is_predicate);
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/base/ |
| H A D | hnf.cpp | 69 if (m.is_predicate(n)) throw found(); in operator ()()
110 if (m.is_implies(n, n1, n2) && is_predicate(n2)) { in is_horn()
120 if (!is_predicate(a1->get_arg(i)) && in is_horn()
126 else if (!is_predicate(a1) && contains_predicate(a1)) { in is_horn()
204 bool is_predicate(expr* p) const { in is_predicate() function in hnf::imp
205 return is_app(p) && is_predicate(to_app(p)->get_decl()); in is_predicate()
208 bool is_predicate(func_decl* f) const { in is_predicate() function in hnf::imp
424 if (!is_predicate(e)) { in eliminate_quantifier_body()
|
| H A D | dl_context.h | 147 return ctx.is_predicate(e); in operator()
320 bool is_predicate(func_decl* pred) const { return m_preds.contains(pred); } in is_predicate() function
321 … bool is_predicate(expr * e) const { return is_app(e) && is_predicate(to_app(e)->get_decl()); } in is_predicate() function
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/base/ |
| H A D | hnf.cpp | 70 if (m.is_predicate(n)) throw found(); in operator ()()
111 if (m.is_implies(n, n1, n2) && is_predicate(n2)) { in is_horn()
121 if (!is_predicate(a1->get_arg(i)) && in is_horn()
127 else if (!is_predicate(a1) && contains_predicate(a1)) { in is_horn()
205 bool is_predicate(expr* p) const { in is_predicate() function in hnf::imp
206 return is_app(p) && is_predicate(to_app(p)->get_decl()); in is_predicate()
209 bool is_predicate(func_decl* f) const { in is_predicate() function in hnf::imp
425 if (!is_predicate(e)) { in eliminate_quantifier_body()
|
| H A D | dl_context.h | 147 return ctx.is_predicate(e); in operator()
320 bool is_predicate(func_decl* pred) const { return m_preds.contains(pred); } in is_predicate() function
321 … bool is_predicate(expr * e) const { return is_app(e) && is_predicate(to_app(e)->get_decl()); } in is_predicate() function
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/fp/ |
| H A D | horn_tactic.cpp | 89 bool is_predicate(expr* a) { in is_predicate() function
95 SASSERT(is_predicate(a)); in register_predicate()
120 else if (is_predicate(a)) { in check_predicate()
134 return is_predicate(f); in is_implication()
151 else if (is_predicate(a)) { in get_formula_kind()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/fp/ |
| H A D | horn_tactic.cpp | 89 bool is_predicate(expr* a) { in is_predicate() function
95 SASSERT(is_predicate(a)); in register_predicate()
120 else if (is_predicate(a)) { in check_predicate()
134 return is_predicate(f); in is_implication()
151 else if (is_predicate(a)) { in get_formula_kind()
|
| /dports/devel/cccc/cccc-3.1.6/pccts/antlr/ |
| H A D | build.c | 85 buildAction( char *action, int file, int line, int is_predicate ) in buildAction() argument
87 buildAction( action, file, line, is_predicate ) in buildAction()
91 int is_predicate;
107 a->is_predicate = is_predicate;
109 if (is_predicate) {
|
| /dports/emulators/qemu60/qemu-6.0.0/roms/edk2/BaseTools/Source/C/VfrCompile/Pccts/antlr/ |
| H A D | build.c | 86 buildAction( char *action, int file, int line, int is_predicate ) in buildAction() argument
88 buildAction( action, file, line, is_predicate ) in buildAction()
92 int is_predicate;
108 a->is_predicate = is_predicate;
110 if (is_predicate) {
|
| /dports/sysutils/cdrdao/cdrdao-1.2.4/pccts/antlr/ |
| H A D | build.c | 86 buildAction( char *action, int file, int line, int is_predicate ) in buildAction() argument
88 buildAction( action, file, line, is_predicate ) in buildAction()
92 int is_predicate;
108 a->is_predicate = is_predicate;
110 if (is_predicate) {
|
| /dports/emulators/qemu42/qemu-4.2.1/roms/edk2/BaseTools/Source/C/VfrCompile/Pccts/antlr/ |
| H A D | build.c | 86 buildAction( char *action, int file, int line, int is_predicate ) in buildAction() argument
88 buildAction( action, file, line, is_predicate ) in buildAction()
92 int is_predicate;
108 a->is_predicate = is_predicate;
110 if (is_predicate) {
|
| /dports/emulators/qemu/qemu-6.2.0/roms/edk2/BaseTools/Source/C/VfrCompile/Pccts/antlr/ |
| H A D | build.c | 86 buildAction( char *action, int file, int line, int is_predicate ) in buildAction() argument
88 buildAction( action, file, line, is_predicate ) in buildAction()
92 int is_predicate;
108 a->is_predicate = is_predicate;
110 if (is_predicate) {
|
| /dports/emulators/qemu5/qemu-5.2.0/roms/edk2/BaseTools/Source/C/VfrCompile/Pccts/antlr/ |
| H A D | build.c | 86 buildAction( char *action, int file, int line, int is_predicate ) in buildAction() argument
88 buildAction( action, file, line, is_predicate ) in buildAction()
92 int is_predicate;
108 a->is_predicate = is_predicate;
110 if (is_predicate) {
|
| /dports/emulators/qemu-utils/qemu-4.2.1/roms/edk2/BaseTools/Source/C/VfrCompile/Pccts/antlr/ |
| H A D | build.c | 86 buildAction( char *action, int file, int line, int is_predicate ) in buildAction() argument
88 buildAction( action, file, line, is_predicate ) in buildAction()
92 int is_predicate;
108 a->is_predicate = is_predicate;
110 if (is_predicate) {
|
| /dports/sysutils/uefi-edk2-bhyve-csm/uefi-edk2-aa8d718/BaseTools/Source/C/VfrCompile/Pccts/antlr/ |
| H A D | build.c | 86 buildAction( char *action, int file, int line, int is_predicate ) in buildAction() argument
88 buildAction( action, file, line, is_predicate ) in buildAction()
92 int is_predicate;
108 a->is_predicate = is_predicate;
110 if (is_predicate) {
|
| /dports/sysutils/uefi-edk2-bhyve/edk2-edk2-stable202102/BaseTools/Source/C/VfrCompile/Pccts/antlr/ |
| H A D | build.c | 86 buildAction( char *action, int file, int line, int is_predicate ) in buildAction() argument
88 buildAction( action, file, line, is_predicate ) in buildAction()
92 int is_predicate;
108 a->is_predicate = is_predicate;
110 if (is_predicate) {
|
| /dports/sysutils/uefi-edk2-qemu/edk2-edk2-stable201911/BaseTools/Source/C/VfrCompile/Pccts/antlr/ |
| H A D | build.c | 86 buildAction( char *action, int file, int line, int is_predicate ) in buildAction() argument
88 buildAction( action, file, line, is_predicate ) in buildAction()
92 int is_predicate;
108 a->is_predicate = is_predicate;
110 if (is_predicate) {
|
| /dports/emulators/qemu-guest-agent/qemu-5.0.1/roms/edk2/BaseTools/Source/C/VfrCompile/Pccts/antlr/ |
| H A D | build.c | 86 buildAction( char *action, int file, int line, int is_predicate ) in buildAction() argument
88 buildAction( action, file, line, is_predicate ) in buildAction()
92 int is_predicate;
108 a->is_predicate = is_predicate;
110 if (is_predicate) {
|
| /dports/sysutils/edk2/edk2-edk2-stable202102/BaseTools/Source/C/VfrCompile/Pccts/antlr/ |
| H A D | build.c | 86 buildAction( char *action, int file, int line, int is_predicate ) in buildAction() argument
88 buildAction( action, file, line, is_predicate ) in buildAction()
92 int is_predicate;
108 a->is_predicate = is_predicate;
110 if (is_predicate) {
|
| /dports/devel/spin/Spin-version-6.5.0/Src/ |
| H A D | tl_lex.c | 69 is_predicate(int z) in is_predicate() function
158 { if (is_predicate(c)) in tl_lex()
|
| /dports/lang/halide/Halide-release_2019_08_27-2654-g664dc4993/src/ |
| H A D | ApplySplit.h | 48 bool is_predicate() const { in is_predicate() function
|