Home
last modified time | relevance | path

Searched refs:FactID (Results 1 – 23 of 23) sorted by relevance

/dports/lang/yap/yap-6.2.2/packages/ProbLog/
H A Dproblog_learning.yap1005 forall(tunable_fact(FactID,_),
1007 continuous_fact(FactID)
1027 forall(tunable_fact(FactID,_),
1029 continuous_fact(FactID)
1051 forall(tunable_fact(FactID,_),
1053 continuous_fact(FactID)
1107 forall(tunable_fact(FactID,_),
1109 continuous_fact(FactID)
1183 tunable_fact(FactID,_),
1185 continuous_fact(FactID)
[all …]
H A Dproblog_lfi.yap317 array_element(factprob,FactID,P),
589 forall(get_fact_probability(FactID,P),
593 forall(tunable_fact(FactID,_),
595 array_element(factprob,FactID,P),
596 set_fact_probability(FactID,P)
783 probabilistic_fact(_,_,FactID),
827 \+continuous_fact(FactID),
1014 tunable_fact(FactID,_),
1015 array_element(factprob,FactID,P),
1075 tunable_fact(FactID,_),
[all …]
H A Daproblog.yap974 atom_number(NumAtom,FactID),
975 get_fact_label(FactID,Label),
979 VariableName = FactID
H A Dproblog.yap1493 name(FactID,FactIDName),
1494 new_sample_nonground(ID,FactID).
1534 split_g_id([A|B],[A|FactID],GroundingID) :-
1535 split_g_id(B,FactID,GroundingID).
H A Dproblog.tex452 The possible values for this flag are of the form: (+FactID,-P,+Call). For example: A,B,random\_pro…
/dports/devel/llvm70/llvm-7.0.1.src/tools/clang/lib/Analysis/
H A DThreadSafety.cpp156 using FactID = unsigned short;
165 FactID newFact(std::unique_ptr<FactEntry> Entry) {
171 FactEntry &operator[](FactID F) { return *Facts[F]; }
183 using FactVec = SmallVector<FactID, 4>;
208 void addLockByID(FactID ID) { FactIDs.push_back(ID); }
211 FactID F = FM.newFact(std::move(Entry));
236 return std::find_if(begin(), end(), [&](FactID ID) {
242 auto I = std::find_if(begin(), end(), [&](FactID ID) {
249 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool {
257 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool {
[all …]
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/Analysis/
H A DThreadSafety.cpp158 using FactID = unsigned short; typedef
167 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
172 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()
184 using FactVec = SmallVector<FactID, 4>;
209 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()
212 FactID F = FM.newFact(std::move(Entry)); in addLock()
237 return std::find_if(begin(), end(), [&](FactID ID) { in findLockIter()
243 auto I = std::find_if(begin(), end(), [&](FactID ID) { in findLock()
251 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findLockUniv()
259 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findPartialMatch()
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/Analysis/
H A DThreadSafety.cpp153 using FactID = unsigned short; typedef
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
167 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()
179 using FactVec = SmallVector<FactID, 4>;
204 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()
207 FactID F = FM.newFact(std::move(Entry)); in addLock()
232 return std::find_if(begin(), end(), [&](FactID ID) { in findLockIter()
238 auto I = std::find_if(begin(), end(), [&](FactID ID) { in findLock()
246 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findLockUniv()
254 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findPartialMatch()
[all …]
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/Analysis/
H A DThreadSafety.cpp153 using FactID = unsigned short; typedef
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
167 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()
179 using FactVec = SmallVector<FactID, 4>;
204 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()
207 FactID F = FM.newFact(std::move(Entry)); in addLock()
232 return std::find_if(begin(), end(), [&](FactID ID) { in findLockIter()
238 auto I = std::find_if(begin(), end(), [&](FactID ID) { in findLock()
246 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findLockUniv()
254 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findPartialMatch()
[all …]
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/Analysis/
H A DThreadSafety.cpp153 using FactID = unsigned short; typedef
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
167 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()
179 using FactVec = SmallVector<FactID, 4>;
204 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()
207 FactID F = FM.newFact(std::move(Entry)); in addLock()
232 return std::find_if(begin(), end(), [&](FactID ID) { in findLockIter()
238 auto I = std::find_if(begin(), end(), [&](FactID ID) { in findLock()
246 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findLockUniv()
254 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findPartialMatch()
[all …]
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/Analysis/
H A DThreadSafety.cpp153 using FactID = unsigned short; typedef
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
167 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()
179 using FactVec = SmallVector<FactID, 4>;
204 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()
207 FactID F = FM.newFact(std::move(Entry)); in addLock()
232 return std::find_if(begin(), end(), [&](FactID ID) { in findLockIter()
238 auto I = std::find_if(begin(), end(), [&](FactID ID) { in findLock()
246 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findLockUniv()
254 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findPartialMatch()
[all …]
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/lib/Analysis/
H A DThreadSafety.cpp153 using FactID = unsigned short; typedef
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
167 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()
179 using FactVec = SmallVector<FactID, 4>;
204 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()
207 FactID F = FM.newFact(std::move(Entry)); in addLock()
232 return std::find_if(begin(), end(), [&](FactID ID) { in findLockIter()
238 auto I = std::find_if(begin(), end(), [&](FactID ID) { in findLock()
246 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findLockUniv()
254 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findPartialMatch()
[all …]
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/lib/Analysis/
H A DThreadSafety.cpp153 using FactID = unsigned short; typedef
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
167 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()
179 using FactVec = SmallVector<FactID, 4>;
204 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()
207 FactID F = FM.newFact(std::move(Entry)); in addLock()
232 return std::find_if(begin(), end(), [&](FactID ID) { in findLockIter()
238 auto I = std::find_if(begin(), end(), [&](FactID ID) { in findLock()
246 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findLockUniv()
254 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findPartialMatch()
[all …]
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/Analysis/
H A DThreadSafety.cpp153 using FactID = unsigned short; typedef
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
167 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()
179 using FactVec = SmallVector<FactID, 4>;
204 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()
207 FactID F = FM.newFact(std::move(Entry)); in addLock()
232 return std::find_if(begin(), end(), [&](FactID ID) { in findLockIter()
238 auto I = std::find_if(begin(), end(), [&](FactID ID) { in findLock()
246 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findLockUniv()
254 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findPartialMatch()
[all …]
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/Analysis/
H A DThreadSafety.cpp153 using FactID = unsigned short; typedef
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
167 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()
179 using FactVec = SmallVector<FactID, 4>;
204 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()
207 FactID F = FM.newFact(std::move(Entry)); in addLock()
232 return std::find_if(begin(), end(), [&](FactID ID) { in findLockIter()
238 auto I = std::find_if(begin(), end(), [&](FactID ID) { in findLock()
246 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findLockUniv()
254 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findPartialMatch()
[all …]
/dports/devel/llvm80/llvm-8.0.1.src/tools/clang/lib/Analysis/
H A DThreadSafety.cpp154 using FactID = unsigned short;
163 FactID newFact(std::unique_ptr<FactEntry> Entry) {
168 const FactEntry &operator[](FactID F) const { return *Facts[F]; }
180 using FactVec = SmallVector<FactID, 4>;
205 void addLockByID(FactID ID) { FactIDs.push_back(ID); }
208 FactID F = FM.newFact(std::move(Entry));
233 return std::find_if(begin(), end(), [&](FactID ID) {
239 auto I = std::find_if(begin(), end(), [&](FactID ID) {
247 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool {
255 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool {
[all …]
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/Analysis/
H A DThreadSafety.cpp158 using FactID = unsigned short; typedef
167 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
172 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()
184 using FactVec = SmallVector<FactID, 4>;
209 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()
212 FactID F = FM.newFact(std::move(Entry)); in addLock()
237 return std::find_if(begin(), end(), [&](FactID ID) { in findLockIter()
243 auto I = std::find_if(begin(), end(), [&](FactID ID) { in findLock()
251 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findLockUniv()
259 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findPartialMatch()
[all …]
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/Analysis/
H A DThreadSafety.cpp158 using FactID = unsigned short; typedef
167 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
172 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()
184 using FactVec = SmallVector<FactID, 4>;
209 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()
212 FactID F = FM.newFact(std::move(Entry)); in addLock()
237 return std::find_if(begin(), end(), [&](FactID ID) { in findLockIter()
243 auto I = std::find_if(begin(), end(), [&](FactID ID) { in findLock()
251 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findLockUniv()
259 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findPartialMatch()
[all …]
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/Analysis/
H A DThreadSafety.cpp158 using FactID = unsigned short; typedef
167 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
172 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()
184 using FactVec = SmallVector<FactID, 4>;
209 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()
212 FactID F = FM.newFact(std::move(Entry)); in addLock()
237 return std::find_if(begin(), end(), [&](FactID ID) { in findLockIter()
243 auto I = std::find_if(begin(), end(), [&](FactID ID) { in findLock()
251 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findLockUniv()
259 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findPartialMatch()
[all …]
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/Analysis/
H A DThreadSafety.cpp158 using FactID = unsigned short; typedef
167 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
172 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()
184 using FactVec = SmallVector<FactID, 4>;
209 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()
212 FactID F = FM.newFact(std::move(Entry)); in addLock()
237 return std::find_if(begin(), end(), [&](FactID ID) { in findLockIter()
243 auto I = std::find_if(begin(), end(), [&](FactID ID) { in findLock()
251 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findLockUniv()
259 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findPartialMatch()
[all …]
/dports/lang/clang-mesa/clang-13.0.1.src/lib/Analysis/
H A DThreadSafety.cpp158 using FactID = unsigned short; typedef
167 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
172 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()
184 using FactVec = SmallVector<FactID, 4>;
209 void addLockByID(FactID ID) { FactIDs.push_back(ID); } in addLockByID()
212 FactID F = FM.newFact(std::move(Entry)); in addLock()
237 return std::find_if(begin(), end(), [&](FactID ID) { in findLockIter()
243 auto I = std::find_if(begin(), end(), [&](FactID ID) { in findLock()
251 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findLockUniv()
259 auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool { in findPartialMatch()
[all …]
/dports/lang/yap/yap-6.2.2/packages/ProbLog/problog/
H A Dcompletion.yap587 split_atom_name(Name,FactID,GroundID)
593 add_to_array_element(KK_True_Array,FactID,1,_);
594 add_to_array_element(KK_False_Array,FactID,1,_)
597 format(Handle,'completion:known_count(~w,~w,~w,~w). % ~w~n',[ID,FactID,GroundID,Count,Atom])
H A Dflags.yap390 validation_type_values(problog_flag_validate_learningprobinit,'(FactID,P,Call)').