Home
last modified time | relevance | path

Searched refs:CLAUSE (Results 1 – 25 of 1374) sorted by relevance

12345678910>>...55

/dports/net/kamailio/kamailio-5.4.5/utils/kamctl/
H A Dkamctl408 $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 Dparser.c983 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 Dparser.c984 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 Dparser.c983 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 Dfnames.h53 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 Dfnames.h53 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 Dfnames.h53 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 Dsat_watched.h43 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 Dsat_justification.h25 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 Dsat_watched.h43 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 Dsat_justification.h25 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 Dsmt_b_justification.h35 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 Dsmt_b_justification.h35 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 D4.0.dict89 (((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 Dnlsat_justification.h67 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 Dnlsat_justification.h67 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 Dtarget_update.c30 #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 Dtarget_update.c59 #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 Dtarget_update.c30 #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 Dtarget_update.c59 #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 Dtarget_update.c30 #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 Dtarget_update.c59 #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 Dtarget_update.c30 #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 Dtarget_update_array_extension.c61 #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 Dtarget_update_array_extension.c120 #pragma omp target update CLAUSE(arr[SMALL]) in main()
129 #pragma omp target update CLAUSE(arr[LARGE]) in main()

12345678910>>...55