Home
last modified time | relevance | path

Searched refs:SymbolVector (Results 1 – 25 of 179) sorted by relevance

12345678

/dports/math/clingo/clingo-5.5.1/libclingo/tests/
H A Dastv2.cc235 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 Dclingo.cc298 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 Dsymbol.h35 using SymbolVector = std::vector<const Symbol *>; variable
227 const SymbolVector &paramDecls() 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 Dsymbol.h39 using SymbolVector = std::vector<SymbolRef>; variable
253 const SymbolVector &paramDecls() 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 Dsymbol.h38 using SymbolVector = std::vector<SymbolRef>; variable
247 const SymbolVector &paramDecls() 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 Dsymbol.h39 using SymbolVector = std::vector<SymbolRef>; variable
256 const SymbolVector &paramDecls() 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 Dsymbol.h39 using SymbolVector = std::vector<SymbolRef>; variable
253 const SymbolVector &paramDecls() 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 Dsymbol.h38 using SymbolVector = std::vector<SymbolRef>; variable
247 const SymbolVector &paramDecls() 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 Dsymbol.h39 using SymbolVector = std::vector<SymbolRef>;
253 const SymbolVector &paramDecls() 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 Dsymbol.h38 using SymbolVector = std::vector<SymbolRef>; variable
252 const SymbolVector &paramDecls() 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 Dvariable.h43 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 Dvariable.h43 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 Dvariable.h43 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 Dvariable.h43 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 Dvariable.h43 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 Dvariable.h43 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 Dvariable.h43 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 Dsymbol.h38 using SymbolVector = std::vector<SymbolRef>; variable
249 const SymbolVector &paramDecls() 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 Dvariable.h43 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 Druntime-type-info.cpp24 const SymbolVector &parameters, 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 Druntime-type-info.cpp24 const SymbolVector &parameters, 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 Dmod-file.cpp46 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 Dmod-file.cpp46 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 Dmod-file.cpp46 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 Dmod-file.cpp46 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()

12345678