| /dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | GitSHA1.h | 27 const char* get_compilation_env();
|
| H A D | GitSHA1.cpp.in | 37 const char* CMSat::get_compilation_env() function in CMSat
|
| H A D | cryptominisat.cpp | 923 DLL_PUBLIC const char* SATSolver::get_compilation_env() in get_compilation_env() function in SATSolver
925 return Solver::get_compilation_env(); in get_compilation_env()
953 ss << "c CMS compilation env " << get_compilation_env() << endl; in get_text_version_info()
|
| H A D | solver.h | 127 static const char* get_compilation_env();
|
| H A D | cryptominisat.h.in | 149 static const char* get_compilation_env(); //get compilation environment string
|
| H A D | main.cpp | 1413 solver->add_sql_tag("env", solver->get_compilation_env()); in solve()
|
| H A D | solver.cpp | 2949 const char* Solver::get_compilation_env() in get_compilation_env() function in Solver
2951 return CMSat::get_compilation_env(); in get_compilation_env()
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | GitSHA1.h | 27 const char* get_compilation_env();
|
| H A D | GitSHA1.cpp.in | 37 const char* CMSat::get_compilation_env() function in CMSat
|
| H A D | cryptominisat.cpp | 923 DLL_PUBLIC const char* SATSolver::get_compilation_env() in get_compilation_env() function in SATSolver
925 return Solver::get_compilation_env(); in get_compilation_env()
953 ss << "c CMS compilation env " << get_compilation_env() << endl; in get_text_version_info()
|
| H A D | solver.h | 127 static const char* get_compilation_env();
|
| H A D | cryptominisat.h.in | 149 static const char* get_compilation_env(); //get compilation environment string
|
| H A D | main.cpp | 1413 solver->add_sql_tag("env", solver->get_compilation_env()); in solve()
|
| H A D | solver.cpp | 2949 const char* Solver::get_compilation_env() in get_compilation_env() function in Solver
2951 return CMSat::get_compilation_env(); in get_compilation_env()
|
| /dports/math/stp/stp-2.3.3/include/stp/Util/ |
| H A D | GitSHA1.h | 31 DLL_PUBLIC const char* get_compilation_env();
|
| /dports/math/stp/stp-2.3.3/lib/Util/ |
| H A D | GitSHA1.cpp.in | 41 const char* stp::get_compilation_env() function in stp
|
| /dports/math/stp/stp-2.3.3/tools/stp/ |
| H A D | main_common.cpp | 89 cout << "STP compilation options " << stp::get_compilation_env() << std::endl; in printVersionInfo()
|
| /dports/math/stp/stp-2.3.3/bindings/python/stp/ |
| H A D | stp.py.in | 37 'get_git_version_sha', 'get_git_version_tag', 'get_compilation_env'
68 _set_func('get_compilation_env', c_char_p)
763 def get_compilation_env(): function
764 return _lib.get_compilation_env()
|
| /dports/math/stp/stp-2.3.3/tests/api/python/ |
| H A D | tests.py.in | 354 self.assertNotEqual(len(stp.get_compilation_env()), 0)
|
| /dports/math/stp/stp-2.3.3/include/stp/ |
| H A D | c_interface.h | 101 DLL_PUBLIC const char* get_compilation_env(void);
|
| /dports/math/stp/stp-2.3.3/lib/Interface/ |
| H A D | c_interface.cpp | 62 const char* get_compilation_env(void) in get_compilation_env() function
64 return stp::get_compilation_env(); in get_compilation_env()
|