/dports/net/kamailio/kamailio-5.4.5/utils/kamctl/ |
H A D | kamctl | 408 $CLAUSE;" 701 CLAUSE="" 726 CLAUSE="$CLAUSE AND \ 733 CLAUSE="$CLAUSE AND $AVP_UUID_COLUMN='$1'" 745 CLAUSE="$CLAUSE AND $AVP_ATTRIBUTE_COLUMN='$1'" 756 CLAUSE="$CLAUSE AND $AVP_VALUE_COLUMN='$1'" 767 CLAUSE="$CLAUSE AND $AVP_TYPE_COLUMN='$1'" 872 CLAUSE="$CLAUSE AND \ 879 CLAUSE="$CLAUSE AND $AVP_UUID_COLUMN='$1'" 902 CLAUSE="$CLAUSE AND $AVP_VALUE_COLUMN='$1'" [all …]
|
/dports/science/elmerfem/elmerfem-release-9.0/ElmerGUI/matc/src/ |
H A D | parser.c | 983 root = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in scallparse() 1000 CLAUSE *root = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in statement() 1024 LINK(root) = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in statement() 1090 root = ptr = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in funcparse() 1174 root = ptr = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in ifparse() 1254 root = ptr = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in whileparse() 1303 root = ptr = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in forparse() 1348 CLAUSE *parse() in parse() 1350 CLAUSE *ptr = (CLAUSE *)NULL; in parse() 1392 ptr = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in parse() [all …]
|
/dports/science/elmerfem/elmerfem-release-9.0/matc/src/ |
H A D | parser.c | 984 root = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in scallparse() 1001 CLAUSE *root = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in statement() 1025 LINK(root) = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in statement() 1091 root = ptr = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in funcparse() 1175 root = ptr = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in ifparse() 1255 root = ptr = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in whileparse() 1304 root = ptr = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in forparse() 1349 CLAUSE *parse() in parse() 1351 CLAUSE *ptr = (CLAUSE *)NULL; in parse() 1393 ptr = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in parse() [all …]
|
/dports/science/elmerfem/elmerfem-release-9.0/post/matc/src/ |
H A D | parser.c | 983 root = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in scallparse() 1000 CLAUSE *root = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in statement() 1024 LINK(root) = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in statement() 1090 root = ptr = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in funcparse() 1174 root = ptr = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in ifparse() 1254 root = ptr = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in whileparse() 1303 root = ptr = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in forparse() 1348 CLAUSE *parse() in parse() 1350 CLAUSE *ptr = (CLAUSE *)NULL; in parse() 1392 ptr = (CLAUSE *)ALLOCMEM(sizeof(CLAUSE)); in parse() [all …]
|
/dports/science/elmerfem/elmerfem-release-9.0/matc/src/elmer/ |
H A D | fnames.h | 53 VARIABLE *evalclause( CLAUSE *); 155 CLAUSE *optimclause( CLAUSE *); 173 CLAUSE *statement( void); 174 CLAUSE *blockparse( void); 175 CLAUSE *funcparse( void); 176 CLAUSE *ifparse( void); 177 CLAUSE *whileparse( void); 178 CLAUSE *parse( void); 182 void free_clause( CLAUSE *); 190 int printclause( CLAUSE *, FILE *, int);
|
/dports/science/elmerfem/elmerfem-release-9.0/ElmerGUI/matc/src/elmer/ |
H A D | fnames.h | 53 VARIABLE *evalclause( CLAUSE *); 155 CLAUSE *optimclause( CLAUSE *); 173 CLAUSE *statement( void); 174 CLAUSE *blockparse( void); 175 CLAUSE *funcparse( void); 176 CLAUSE *ifparse( void); 177 CLAUSE *whileparse( void); 178 CLAUSE *parse( void); 182 void free_clause( CLAUSE *); 190 int printclause( CLAUSE *, FILE *, int);
|
/dports/science/elmerfem/elmerfem-release-9.0/post/matc/src/elmer/ |
H A D | fnames.h | 53 VARIABLE *evalclause( CLAUSE *); 155 CLAUSE *optimclause( CLAUSE *); 173 CLAUSE *statement( void); 174 CLAUSE *blockparse( void); 175 CLAUSE *funcparse( void); 176 CLAUSE *ifparse( void); 177 CLAUSE *whileparse( void); 178 CLAUSE *parse( void); 182 void free_clause( CLAUSE *); 190 int printclause( CLAUSE *, FILE *, int);
|
/dports/math/z3/z3-z3-4.8.13/src/sat/ |
H A D | sat_watched.h | 43 BINARY = 0, TERNARY, CLAUSE, EXT_CONSTRAINT enumerator 73 m_val2(static_cast<unsigned>(CLAUSE) + (blocked_lit.to_uint() << 2)) { in watched() 102 bool is_clause() const { return get_kind() == CLAUSE; } in is_clause() 106 …iteral(literal l) { SASSERT(is_clause()); m_val2 = static_cast<unsigned>(CLAUSE) + (l.to_uint() <<… in set_blocked_literal() 109 m_val2 = static_cast<unsigned>(CLAUSE) + (blocked_lit.to_uint() << 2); in set_clause() 121 static_assert(0 <= watched::CLAUSE && watched::CLAUSE <= 3, "");
|
H A D | sat_justification.h | 25 enum kind { NONE = 0, BINARY = 1, TERNARY = 2, CLAUSE = 3, EXT_JUSTIFICATION = 4}; enumerator 36 …justification(unsigned lvl, clause_offset cls_off):m_level(lvl), m_val1(cls_off), m_val2(CLAUSE) {} in justification() 52 bool is_clause() const { return m_val2 == CLAUSE; } in is_clause() 71 case justification::CLAUSE:
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
H A D | sat_watched.h | 43 BINARY = 0, TERNARY, CLAUSE, EXT_CONSTRAINT enumerator 73 m_val2(static_cast<unsigned>(CLAUSE) + (blocked_lit.to_uint() << 2)) { in watched() 102 bool is_clause() const { return get_kind() == CLAUSE; } in is_clause() 106 …iteral(literal l) { SASSERT(is_clause()); m_val2 = static_cast<unsigned>(CLAUSE) + (l.to_uint() <<… in set_blocked_literal() 109 m_val2 = static_cast<unsigned>(CLAUSE) + (blocked_lit.to_uint() << 2); in set_clause() 121 static_assert(0 <= watched::CLAUSE && watched::CLAUSE <= 3, "");
|
H A D | sat_justification.h | 25 enum kind { NONE = 0, BINARY = 1, TERNARY = 2, CLAUSE = 3, EXT_JUSTIFICATION = 4}; enumerator 36 …justification(unsigned lvl, clause_offset cls_off):m_level(lvl), m_val1(cls_off), m_val2(CLAUSE) {} in justification() 52 bool is_clause() const { return m_val2 == CLAUSE; } in is_clause() 71 case justification::CLAUSE:
|
/dports/math/z3/z3-z3-4.8.13/src/smt/ |
H A D | smt_b_justification.h | 35 CLAUSE, //!< clause of arbitrary size enumerator 45 m_data(TAG(void*, c, CLAUSE)) { in b_justification() 62 SASSERT(get_kind() == CLAUSE); in get_clause() 93 case b_justification::CLAUSE: return out << "clause";
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
H A D | smt_b_justification.h | 35 CLAUSE, //!< clause of arbitrary size enumerator 45 m_data(TAG(void*, c, CLAUSE)) { in b_justification() 62 SASSERT(get_kind() == CLAUSE); in get_clause() 93 case b_justification::CLAUSE: return out << "clause";
|
/dports/textproc/link-grammar/link-grammar-5.8.0/data/he/ |
H A D | 4.0.dict | 89 (((Sscm3+ or P+) & <CLAUSE>) or SIs- or Js- or Os*m- 93 (((Ssum3+ or P+) & <CLAUSE>) or SIs- or Js- or Os*m- 97 (((Sscf3+ or P+) & <CLAUSE>) or SIs- or Js- or Os*f- 101 (((Ssuf3+ or P+) & <CLAUSE>) or SIs- or Js- or Os*f- 105 (((Spcm3+ or P+) & <CLAUSE>) or SIs- or Js- or Op*m- 109 (((Spum3+ or P+) & <CLAUSE>) or SIs- or Js- or Op*m- 113 (((Spcf3+ or P+) & <CLAUSE>) or SIs- or Js- or Op*f- 117 (((Spuf3+ or P+) & <CLAUSE>) or SIs- or Js- or Op*f- 162 (((Sscm3+ or P+) & <CLAUSE>) or SIs- or Js- or Os*m- 178 (((Sscf3+ or P+) & <CLAUSE>) or SIs- or Js- or Os*f- [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/nlsat/ |
H A D | nlsat_justification.h | 67 enum kind { NULL_JST = 0, DECISION, CLAUSE, LAZY }; enumerator 70 justification(clause * c):m_data(TAG(void *, c, CLAUSE)) { SASSERT(is_clause()); } in justification() 75 bool is_clause() const { return get_kind() == CLAUSE; } in is_clause() 87 case justification::CLAUSE: return out << "clause";
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/nlsat/ |
H A D | nlsat_justification.h | 67 enum kind { NULL_JST = 0, DECISION, CLAUSE, LAZY }; enumerator 70 justification(clause * c):m_data(TAG(void *, c, CLAUSE)) { SASSERT(is_clause()); } in justification() 75 bool is_clause() const { return get_kind() == CLAUSE; } in is_clause() 87 case justification::CLAUSE: return out << "clause";
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/openmp/libomptarget/test/mapping/present/ |
H A D | target_update.c | 30 #pragma omp target update CLAUSE(present: i) in main() 38 #pragma omp target update CLAUSE(present: i) in main()
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/openmp/libomptarget/test/mapping/present/ |
H A D | target_update.c | 59 #pragma omp target update CLAUSE(present: i) in main() 67 #pragma omp target update CLAUSE(present: i) in main()
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/openmp/libomptarget/test/mapping/present/ |
H A D | target_update.c | 30 #pragma omp target update CLAUSE(present: i) in main() 38 #pragma omp target update CLAUSE(present: i) in main()
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/openmp/libomptarget/test/mapping/present/ |
H A D | target_update.c | 59 #pragma omp target update CLAUSE(present: i) in main() 67 #pragma omp target update CLAUSE(present: i) in main()
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/openmp/libomptarget/test/mapping/present/ |
H A D | target_update.c | 30 #pragma omp target update CLAUSE(present: i) in main() 38 #pragma omp target update CLAUSE(present: i) in main()
|
/dports/devel/llvm12/llvm-project-12.0.1.src/openmp/libomptarget/test/mapping/present/ |
H A D | target_update.c | 59 #pragma omp target update CLAUSE(present: i) in main() 67 #pragma omp target update CLAUSE(present: i) in main()
|
/dports/devel/llvm13/llvm-project-13.0.1.src/openmp/libomptarget/test/mapping/present/ |
H A D | target_update.c | 30 #pragma omp target update CLAUSE(present: i) in main() 38 #pragma omp target update CLAUSE(present: i) in main()
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/openmp/libomptarget/test/mapping/ |
H A D | target_update_array_extension.c | 61 #pragma omp target update CLAUSE(arr[SMALL]) in main() 70 #pragma omp target update CLAUSE(arr[LARGE]) in main()
|
/dports/devel/llvm12/llvm-project-12.0.1.src/openmp/libomptarget/test/mapping/ |
H A D | target_update_array_extension.c | 120 #pragma omp target update CLAUSE(arr[SMALL]) in main() 129 #pragma omp target update CLAUSE(arr[LARGE]) in main()
|