| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | conjecture_generator.cpp | 339 std::vector< Node > lem; in hasEnumeratedUf() local
916 Node lem = NodeManager::currentNM()->mkNode( OR, rsg.negate(), rsg ); in flushWaitingConjectures() local
|
| /dports/math/cvc4/CVC4-1.7/src/theory/strings/ |
| H A D | theory_strings.cpp | 1304 Node lem = NodeManager::currentNM()->mkNode( kind::OR, atom.negate(), conc ); in assertPendingFact() local
3983 Node lem = nm->mkNode(ITE, code_len, code_range, code_eq_neg1); in registerTerm() local
4104 Node lem; in sendLemma() local
4205 Node lem = nm->mkNode(OR, case_empty, case_nempty); in registerLength() local
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
| H A D | ce_guided_single_inv.cpp | 401 Node lem; in doAddInstantiation() local
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/drivers/net/fddi/skfp/ |
| H A D | smt.c | 1402 static void smt_fill_lem(struct s_smc *smc, struct smt_p_lem *lem, int phy) in smt_fill_lem()
|
| /dports/multimedia/libv4l/linux-5.13-rc2/drivers/net/fddi/skfp/ |
| H A D | smt.c | 1402 static void smt_fill_lem(struct s_smc *smc, struct smt_p_lem *lem, int phy) in smt_fill_lem()
|
| /dports/multimedia/v4l-utils/linux-5.13-rc2/drivers/net/fddi/skfp/ |
| H A D | smt.c | 1402 static void smt_fill_lem(struct s_smc *smc, struct smt_p_lem *lem, int phy) in smt_fill_lem()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/cegqi/ |
| H A D | ceg_instantiator.cpp | 1264 Node lem = conj.size()==1 ? conj[0] : NodeManager::currentNM()->mkNode( AND, conj ); in presolve() local
|
| /dports/devel/pear-PHP_ParserGenerator/PHP_ParserGenerator-0.1.7/ |
| H A D | PHP.out | 3468 T_INT_CAST shift 86
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/drivers/net/fddi/skfp/h/ |
| H A D | smc.h | 232 struct lem_counter lem ; member
|
| /dports/multimedia/libv4l/linux-5.13-rc2/drivers/net/fddi/skfp/h/ |
| H A D | smc.h | 232 struct lem_counter lem ; member
|
| /dports/multimedia/v4l-utils/linux-5.13-rc2/drivers/net/fddi/skfp/h/ |
| H A D | smc.h | 232 struct lem_counter lem ; member
|
| /dports/editors/picpas/PicPas-7940bc3/Source/ |
| H A D | XpresElementsPIC.pas | 501 OnFindElement: procedure(elem: TxpElement) of object; procedure
|
| /dports/emulators/qemu-powernv/qemu-powernv-3.0.50/roms/skiboot/hw/ |
| H A D | p7ioc-phb.c | 483 u64 err, lem; in p7ioc_ER_err_clear() local
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/spacer/ |
| H A D | spacer_context.h | 508 bool add_lemma(lemma* lem) {return m_frames.add_lemma(lem);} in add_lemma()
|
| /dports/games/assaultcube/AssaultCube_v1.2.0.2/source/src/ |
| H A D | server.h | 273 int nt[10], np, lp, ls, lsm, ld, nd, nlt, lem, led; member
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/spacer/ |
| H A D | spacer_context.h | 510 bool add_lemma(lemma* lem) {return m_frames.add_lemma(lem);} in add_lemma()
|
| /dports/databases/percona56-client/percona-server-5.6.51-91.0/storage/ndb/test/ndbapi/ |
| H A D | testIndex.cpp | 2580 const ndb_logevent_MemoryUsage* lem = &le->MemoryUsage; in get_data_memory_pages() local
|
| /dports/databases/percona-pam-for-mysql/percona-server-5.6.51-91.0/storage/ndb/test/ndbapi/ |
| H A D | testIndex.cpp | 2580 const ndb_logevent_MemoryUsage* lem = &le->MemoryUsage; in get_data_memory_pages() local
|
| /dports/databases/mysqlwsrep56-server/mysql-wsrep-wsrep_5.6.51-25.33/storage/ndb/test/ndbapi/ |
| H A D | testIndex.cpp | 2580 const ndb_logevent_MemoryUsage* lem = &le->MemoryUsage; in get_data_memory_pages() local
|
| /dports/databases/mysql56-client/mysql-5.6.51/storage/ndb/test/ndbapi/ |
| H A D | testIndex.cpp | 2580 const ndb_logevent_MemoryUsage* lem = &le->MemoryUsage; in get_data_memory_pages() local
|
| /dports/databases/percona56-server/percona-server-5.6.51-91.0/storage/ndb/test/ndbapi/ |
| H A D | testIndex.cpp | 2580 const ndb_logevent_MemoryUsage* lem = &le->MemoryUsage; in get_data_memory_pages() local
|
| /dports/databases/xtrabackup8/percona-xtrabackup-8.0.14/storage/ndb/test/ndbapi/ |
| H A D | testIndex.cpp | 2650 const ndb_logevent_MemoryUsage* lem = &le->MemoryUsage; in get_data_memory_pages() local
|
| /dports/databases/mysqlwsrep57-server/mysql-wsrep-wsrep_5.7.35-25.27/storage/ndb/test/ndbapi/ |
| H A D | testIndex.cpp | 2650 const ndb_logevent_MemoryUsage* lem = &le->MemoryUsage; in get_data_memory_pages() local
|
| /dports/databases/percona57-client/percona-server-5.7.36-39/storage/ndb/test/ndbapi/ |
| H A D | testIndex.cpp | 2650 const ndb_logevent_MemoryUsage* lem = &le->MemoryUsage; in get_data_memory_pages() local
|
| /dports/databases/percona57-pam-for-mysql/percona-server-5.7.36-39/storage/ndb/test/ndbapi/ |
| H A D | testIndex.cpp | 2650 const ndb_logevent_MemoryUsage* lem = &le->MemoryUsage; in get_data_memory_pages() local
|