| /dports/math/cadical/cadical-1.0.3-cb89cbf/src/ |
| H A D | extend.cpp | 12 const int elit = internal->externalize (ilit); in push_clause_literal_on_extension_stack() local
21 const int elit = internal->externalize (ilit); in push_witness_literal_on_extension_stack() local
64 for (const auto & elit : w) { in push_external_clause_and_witness_on_extension_stack() local
71 for (const auto & elit : c) { in push_external_clause_and_witness_on_extension_stack() local
|
| H A D | external.cpp | 87 int External::internalize (int elit) { in internalize()
124 void External::add (int elit) { in add()
136 void External::assume (int elit) { in assume()
146 bool External::failed (int elit) { in failed()
225 void External::freeze (int elit) { in freeze()
241 void External::melt (int elit) { in melt()
|
| H A D | restore.cpp | 102 int elit; in restore_clauses() local
207 int elit; in restore_clauses() local
|
| H A D | internal.cpp | 641 const int elit = externalize (ilit); in traverse_clauses() local
|
| H A D | compact.cpp | 291 for (const auto & elit : external->assumptions) { in compact() local
|
| /dports/science/py-dlib/dlib-19.22/dlib/test/ |
| H A D | entropy_encoder_model.cpp | 57 ee elit(ecoder); in entropy_encoder_model_kernel_test() local
|
| /dports/science/dlib-cpp/dlib-19.22/dlib/test/ |
| H A D | entropy_encoder_model.cpp | 57 ee elit(ecoder); in entropy_encoder_model_kernel_test() local
|
| /dports/x11-toolkits/pyl-gtk2/pygtk-2.24.0/examples/pango/ |
| H A D | extentdemo.py | 33 …def __init__(self, text="""Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmo…
|
| /dports/science/elmerfem/elmerfem-release-9.0/meshgen2d/src/ |
| H A D | Mesh.cpp | 419 std::list< Element * >::iterator elit; in output() local
485 std::list< Element * >::iterator elit; in outputElements() local
|
| /dports/science/lammps/lammps-stable_29Sep2021/lib/atc/ |
| H A D | KD_Tree.cpp | 61 for (vector<Elem>::iterator elit = candElems_->begin(); in KD_Tree() local
|
| /dports/science/liggghts/LIGGGHTS-PUBLIC-3.8.0-26-g6e873439/lib/atc/ |
| H A D | KD_Tree.cpp | 60 for (vector<Elem>::iterator elit = candElems_->begin(); in KD_Tree() local
|
| /dports/lang/gcc10/gcc-10.3.0/libgo/ |
| H A D | sysinfo.c | 311 #define EREF(elit) unsigned elit ## fn(unsigned x) { return x == elit ? 1 : 0; } argument
|
| /dports/lang/gcc9-devel/gcc-9-20211007/libgo/ |
| H A D | sysinfo.c | 311 #define EREF(elit) unsigned elit ## fn(unsigned x) { return x == elit ? 1 : 0; } argument
|
| /dports/devel/avr-gcc/gcc-10.2.0/libgo/ |
| H A D | sysinfo.c | 311 #define EREF(elit) unsigned elit ## fn(unsigned x) { return x == elit ? 1 : 0; } argument
|
| /dports/lang/gcc9/gcc-9.4.0/libgo/ |
| H A D | sysinfo.c | 311 #define EREF(elit) unsigned elit ## fn(unsigned x) { return x == elit ? 1 : 0; } argument
|
| /dports/lang/gcc9-aux/gcc-9.1.0/libgo/ |
| H A D | sysinfo.c | 311 #define EREF(elit) unsigned elit ## fn(unsigned x) { return x == elit ? 1 : 0; } argument
|
| /dports/math/vampire/vampire-4.5.1/VUtils/ |
| H A D | SMTLIBConcat.cpp | 102 LExprList::Iterator elit(e->list); in rewriteSmt1FormToSmt2() local
|
| /dports/devel/umbrello/umbrello-21.12.3/umbrello/uml1model/ |
| H A D | enum.cpp | 227 void UMLEnum::signalEnumLiteralRemoved(UMLClassifierListItem *elit) in signalEnumLiteralRemoved()
|
| /dports/science/mbdyn/mbdyn-1.7.3/contrib/Post/ |
| H A D | Post.C | 481 std::list<OutputElement>::iterator elit = ite->second; in operator() local
521 for (std::list<OutputElement>::iterator elit = it.elements.begin(); in operator() local
|
| /dports/lang/gcc12-devel/gcc-12-20211205/libgo/ |
| H A D | sysinfo.c | 381 #define EREF(elit) unsigned elit ## fn(unsigned x) { return x == elit ? 1 : 0; } argument
|
| /dports/lang/gcc11/gcc-11.2.0/libgo/ |
| H A D | sysinfo.c | 381 #define EREF(elit) unsigned elit ## fn(unsigned x) { return x == elit ? 1 : 0; } argument
|
| /dports/lang/gcc11-devel/gcc-11-20211009/libgo/ |
| H A D | sysinfo.c | 381 #define EREF(elit) unsigned elit ## fn(unsigned x) { return x == elit ? 1 : 0; } argument
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/libgo/ |
| H A D | sysinfo.c | 381 #define EREF(elit) unsigned elit ## fn(unsigned x) { return x == elit ? 1 : 0; } argument
|
| /dports/devel/umbrello/umbrello-21.12.3/umbrello/codegenerators/cpp/ |
| H A D | cppheadercodedocument.cpp | 486 for (UMLClassifierListItemListIt elit(ell) ; elit.hasNext() ;) { in updateContent() local
|
| /dports/math/vampire/vampire-4.5.1/SAT/ |
| H A D | lglib.c | 3031 int elit = lglexport (lgl, ilit); in lglialiased() local
3651 int elit; in lglesimpcls() local
4704 int elit, ilit, erepr; in lglreset() local
12297 int idx, lkhdres, phase, elit; in lgltlsetlkhd() local
12552 int res, idx, elit; in lgljwhlook() local
12588 int res, idx, elit, * scores; in lglislook() local
12704 int res, idx, elit; in lglsumlenlook() local
14135 int elit; in lgleliminated() local
23336 int elit, phase; in lglsetphases() local
24995 int elit, val; in lglutrav() local
[all …]
|