/dports/math/clingo/clingo-5.5.1/libclingo/tests/ |
H A D | astv2.cc | 235 REQUIRE(solve("#theory x {}.") == ModelVec({SymbolVector{}})); 237 REQUIRE(solve("#external a.") == ModelVec({SymbolVector{}})); 239 REQUIRE(solve("#project a.") == ModelVec({SymbolVector{}})); 240 REQUIRE(solve("#project a/0.") == ModelVec({SymbolVector{}})); 243 REQUIRE(solve("{a}. :-a.") == ModelVec({SymbolVector{}})); 245 REQUIRE(solve("{a}. :-not not a.") == ModelVec({SymbolVector{}})); 254 REQUIRE(solve("not a.") == ModelVec({SymbolVector{}})); 262 REQUIRE(solve("1=1.") == ModelVec({SymbolVector{}})); 264 REQUIRE(solve("#true.") == ModelVec({SymbolVector{}})); 266 REQUIRE(solve("1 $< 2 $< 3.") == ModelVec({SymbolVector{}})); [all …]
|
H A D | clingo.cc | 298 SymbolVector model; 304 REQUIRE(model == SymbolVector({ Id("a"), Id("d") })); 324 REQUIRE(m.symbols(ShowType::Atoms) == (SymbolVector{Id("a")})); 325 REQUIRE(m.symbols(ShowType::Terms) == (SymbolVector{Id("b")})); 326 … REQUIRE(m.symbols(ShowType::CSP) == (SymbolVector{Function("$", {Id("x"), Number(1)})})); 327 …REQUIRE(m.symbols(ShowType::Shown) == (SymbolVector{Function("$", {Id("x"), Number(1)}), Id("a"), … 480 SymbolVector symbols; 483 REQUIRE(symbols == SymbolVector({q, p1, p2, p3})); 487 REQUIRE(symbols == SymbolVector({p1, p2, p3}));
|
/dports/devel/f18/f18-1688bef/lib/semantics/ |
H A D | symbol.h | 35 using SymbolVector = std::vector<const Symbol *>; variable 227 const SymbolVector ¶mDecls() const { return paramDecls_; } in paramDecls() 254 SymbolVector paramDecls_; 283 const SymbolVector &specificProcs() const { return specificProcs_; } in ENUM_CLASS() 288 SymbolVector specificProcs_; in ENUM_CLASS() 293 const SymbolVector &objects() const { return objects_; } in objects() 295 void add_objects(const SymbolVector &objects) { in add_objects() 300 SymbolVector objects_; 389 GenericDetails(const SymbolVector &specificProcs); 394 const SymbolVector &specificProcs() const { return specificProcs_; } in specificProcs() [all …]
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/flang/include/flang/Semantics/ |
H A D | symbol.h | 39 using SymbolVector = std::vector<SymbolRef>; variable 253 const SymbolVector ¶mDecls() const { return paramDecls_; } in paramDecls() 286 SymbolVector paramDecls_; 308 const SymbolVector &objects() const { return objects_; } in objects() 310 void add_objects(const SymbolVector &objects) { in add_objects() 315 SymbolVector objects_; 433 const SymbolVector &specificProcs() const { return specificProcs_; } in specificProcs() 436 const SymbolVector &uses() const { return uses_; } in uses() 459 SymbolVector specificProcs_; 462 SymbolVector uses_;
|
/dports/devel/llvm12/llvm-project-12.0.1.src/flang/include/flang/Semantics/ |
H A D | symbol.h | 38 using SymbolVector = std::vector<SymbolRef>; variable 247 const SymbolVector ¶mDecls() const { return paramDecls_; } in paramDecls() 280 SymbolVector paramDecls_; 302 const SymbolVector &objects() const { return objects_; } in objects() 304 void add_objects(const SymbolVector &objects) { in add_objects() 309 SymbolVector objects_; 430 const SymbolVector &specificProcs() const { return specificProcs_; } in specificProcs() 433 const SymbolVector &uses() const { return uses_; } in uses() 456 SymbolVector specificProcs_; 459 SymbolVector uses_;
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/flang/include/flang/Semantics/ |
H A D | symbol.h | 39 using SymbolVector = std::vector<SymbolRef>; variable 256 const SymbolVector ¶mDecls() const { return paramDecls_; } in paramDecls() 289 SymbolVector paramDecls_; 311 const SymbolVector &objects() const { return objects_; } in objects() 313 void add_objects(const SymbolVector &objects) { in add_objects() 318 SymbolVector objects_; 436 const SymbolVector &specificProcs() const { return specificProcs_; } in specificProcs() 439 const SymbolVector &uses() const { return uses_; } in uses() 462 SymbolVector specificProcs_; 465 SymbolVector uses_;
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/flang/include/flang/Semantics/ |
H A D | symbol.h | 39 using SymbolVector = std::vector<SymbolRef>; variable 253 const SymbolVector ¶mDecls() const { return paramDecls_; } in paramDecls() 286 SymbolVector paramDecls_; 308 const SymbolVector &objects() const { return objects_; } in objects() 310 void add_objects(const SymbolVector &objects) { in add_objects() 315 SymbolVector objects_; 433 const SymbolVector &specificProcs() const { return specificProcs_; } in specificProcs() 436 const SymbolVector &uses() const { return uses_; } in uses() 459 SymbolVector specificProcs_; 462 SymbolVector uses_;
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/flang/include/flang/Semantics/ |
H A D | symbol.h | 38 using SymbolVector = std::vector<SymbolRef>; variable 247 const SymbolVector ¶mDecls() const { return paramDecls_; } in paramDecls() 280 SymbolVector paramDecls_; 302 const SymbolVector &objects() const { return objects_; } in objects() 304 void add_objects(const SymbolVector &objects) { in add_objects() 309 SymbolVector objects_; 430 const SymbolVector &specificProcs() const { return specificProcs_; } in specificProcs() 433 const SymbolVector &uses() const { return uses_; } in uses() 456 SymbolVector specificProcs_; 459 SymbolVector uses_;
|
/dports/devel/llvm13/llvm-project-13.0.1.src/flang/include/flang/Semantics/ |
H A D | symbol.h | 39 using SymbolVector = std::vector<SymbolRef>; 253 const SymbolVector ¶mDecls() const { return paramDecls_; } 286 SymbolVector paramDecls_; 308 const SymbolVector &objects() const { return objects_; } 310 void add_objects(const SymbolVector &objects) { 315 SymbolVector objects_; 433 const SymbolVector &specificProcs() const { return specificProcs_; } 436 const SymbolVector &uses() const { return uses_; } 459 SymbolVector specificProcs_; 462 SymbolVector uses_;
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/flang/include/flang/Semantics/ |
H A D | symbol.h | 38 using SymbolVector = std::vector<SymbolRef>; variable 252 const SymbolVector ¶mDecls() const { return paramDecls_; } in paramDecls() 281 SymbolVector paramDecls_; 302 const SymbolVector &objects() const { return objects_; } in objects() 304 void add_objects(const SymbolVector &objects) { in add_objects() 309 SymbolVector objects_; 430 const SymbolVector &specificProcs() const { return specificProcs_; } in specificProcs() 457 SymbolVector specificProcs_;
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/flang/include/flang/Evaluate/ |
H A D | variable.h | 43 using SymbolVector = std::vector<SymbolRef>; variable 242 CoarrayRef(SymbolVector &&, std::vector<Subscript> &&, 245 const SymbolVector &base() const { return base_; } in base() 246 SymbolVector &base() { return base_; } in base() 271 SymbolVector base_;
|
/dports/devel/llvm12/llvm-project-12.0.1.src/flang/include/flang/Evaluate/ |
H A D | variable.h | 43 using SymbolVector = std::vector<SymbolRef>; variable 242 CoarrayRef(SymbolVector &&, std::vector<Subscript> &&, 245 const SymbolVector &base() const { return base_; } in base() 246 SymbolVector &base() { return base_; } in base() 271 SymbolVector base_;
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/flang/include/flang/Evaluate/ |
H A D | variable.h | 43 using SymbolVector = std::vector<SymbolRef>; variable 242 CoarrayRef(SymbolVector &&, std::vector<Subscript> &&, 245 const SymbolVector &base() const { return base_; } in base() 246 SymbolVector &base() { return base_; } in base() 271 SymbolVector base_;
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/flang/include/flang/Evaluate/ |
H A D | variable.h | 43 using SymbolVector = std::vector<SymbolRef>; variable 242 CoarrayRef(SymbolVector &&, std::vector<Subscript> &&, 245 const SymbolVector &base() const { return base_; } in base() 246 SymbolVector &base() { return base_; } in base() 271 SymbolVector base_;
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/flang/include/flang/Evaluate/ |
H A D | variable.h | 43 using SymbolVector = std::vector<SymbolRef>; variable 242 CoarrayRef(SymbolVector &&, std::vector<Subscript> &&, 245 const SymbolVector &base() const { return base_; } in base() 246 SymbolVector &base() { return base_; } in base() 271 SymbolVector base_;
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/flang/include/flang/Evaluate/ |
H A D | variable.h | 43 using SymbolVector = std::vector<SymbolRef>; variable 242 CoarrayRef(SymbolVector &&, std::vector<Subscript> &&, 245 const SymbolVector &base() const { return base_; } in base() 246 SymbolVector &base() { return base_; } in base() 271 SymbolVector base_;
|
/dports/devel/llvm13/llvm-project-13.0.1.src/flang/include/flang/Evaluate/ |
H A D | variable.h | 43 using SymbolVector = std::vector<SymbolRef>; 242 CoarrayRef(SymbolVector &&, std::vector<Subscript> &&, 245 const SymbolVector &base() const { return base_; } 246 SymbolVector &base() { return base_; } 271 SymbolVector base_;
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/flang/include/flang/Semantics/ |
H A D | symbol.h | 38 using SymbolVector = std::vector<SymbolRef>; variable 249 const SymbolVector ¶mDecls() const { return paramDecls_; } in paramDecls() 282 SymbolVector paramDecls_; 304 const SymbolVector &objects() const { return objects_; } in objects() 306 void add_objects(const SymbolVector &objects) { in add_objects() 311 SymbolVector objects_; 432 const SymbolVector &specificProcs() const { return specificProcs_; } in specificProcs() 459 SymbolVector specificProcs_;
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/flang/include/flang/Evaluate/ |
H A D | variable.h | 43 using SymbolVector = std::vector<SymbolRef>; variable 245 CoarrayRef(SymbolVector &&, std::vector<Subscript> &&, 248 const SymbolVector &base() const { return base_; } in base() 249 SymbolVector &base() { return base_; } in base() 274 SymbolVector base_;
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/flang/lib/Semantics/ |
H A D | runtime-type-info.cpp | 24 const SymbolVector ¶meters, const Symbol &symbol) { in FindLenParameterIndex() 55 const SymbolVector *GetTypeParameters(const Symbol &); 58 const SymbolVector *parameters); 79 const A &x, const SymbolVector *parameters) { in GetValue() 91 const SymbolVector *parameters) { in GetValue() 119 std::map<const Symbol *, SymbolVector> orderedTypeParameters_; 178 const SymbolVector *RuntimeTableBuilder::GetTypeParameters( in GetTypeParameters() 403 const SymbolVector *parameters{GetTypeParameters(*dtSymbol)}; in DescribeType() 616 const std::string &distinctName, const SymbolVector *parameters) { in DescribeComponent() 656 if (const SymbolVector * specParams{GetTypeParameters(spec.typeSymbol())}) { in DescribeComponent()
|
/dports/devel/llvm12/llvm-project-12.0.1.src/flang/lib/Semantics/ |
H A D | runtime-type-info.cpp | 24 const SymbolVector ¶meters, const Symbol &symbol) { in FindLenParameterIndex() 55 const SymbolVector *GetTypeParameters(const Symbol &); 58 const SymbolVector *parameters); 79 const A &x, const SymbolVector *parameters) { in GetValue() 91 const SymbolVector *parameters) { in GetValue() 119 std::map<const Symbol *, SymbolVector> orderedTypeParameters_; 178 const SymbolVector *RuntimeTableBuilder::GetTypeParameters( in GetTypeParameters() 403 const SymbolVector *parameters{GetTypeParameters(*dtSymbol)}; in DescribeType() 616 const std::string &distinctName, const SymbolVector *parameters) { in DescribeComponent() 656 if (const SymbolVector * specParams{GetTypeParameters(spec.typeSymbol())}) { in DescribeComponent()
|
H A D | mod-file.cpp | 46 static void CollectSymbols(const Scope &, SymbolVector &, SymbolVector &); 75 const SymbolVector &symbols() const { return need_; } in symbols() 83 SymbolVector need_; // symbols that are needed 181 SymbolVector sorted; in PutSymbols() 182 SymbolVector uses; in PutSymbols() 475 const Scope &scope, SymbolVector &sorted, SymbolVector &uses) { in CollectSymbols() 476 SymbolVector namelist; in CollectSymbols()
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/flang/lib/Semantics/ |
H A D | mod-file.cpp | 46 static void CollectSymbols(const Scope &, SymbolVector &, SymbolVector &); 75 const SymbolVector &symbols() const { return need_; } in symbols() 83 SymbolVector need_; // symbols that are needed 181 SymbolVector sorted; in PutSymbols() 182 SymbolVector uses; in PutSymbols() 475 const Scope &scope, SymbolVector &sorted, SymbolVector &uses) { in CollectSymbols() 476 SymbolVector namelist; in CollectSymbols()
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/flang/lib/Semantics/ |
H A D | mod-file.cpp | 46 static void CollectSymbols(const Scope &, SymbolVector &, SymbolVector &); 75 const SymbolVector &symbols() const { return need_; } in symbols() 83 SymbolVector need_; // symbols that are needed 181 SymbolVector sorted; in PutSymbols() 182 SymbolVector uses; in PutSymbols() 489 const Scope &scope, SymbolVector &sorted, SymbolVector &uses) { in CollectSymbols() 490 SymbolVector namelist; in CollectSymbols()
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/flang/lib/Semantics/ |
H A D | mod-file.cpp | 46 static void CollectSymbols(const Scope &, SymbolVector &, SymbolVector &); 75 const SymbolVector &symbols() const { return need_; } in symbols() 83 SymbolVector need_; // symbols that are needed 181 SymbolVector sorted; in PutSymbols() 182 SymbolVector uses; in PutSymbols() 475 const Scope &scope, SymbolVector &sorted, SymbolVector &uses) { in CollectSymbols() 476 SymbolVector namelist; in CollectSymbols()
|