Home
last modified time | relevance | path

Searched defs:solve (Results 251 – 275 of 3025) sorted by relevance

1...<<11121314151617181920>>...121

/dports/science/packmol/packmol-18.169/
H A Drestmol.f9012 subroutine restmol(itype,ilubar,n,x,fx,solve) argument
21 logical :: solve, initsafe local
/dports/math/z3/z3-z3-4.8.13/src/qe/mbp/
H A Dmbp_solve_plugin.cpp70 bool solve(expr* lhs, expr* rhs, expr_ref& v, expr_ref& t) { in solve() function in mbp::arith_solve_plugin
251 expr_ref solve(expr* atom, bool is_pos) override { in solve() function in mbp::arith_solve_plugin
283 expr_ref solve(expr *atom, bool is_pos) override { in solve() function in mbp::basic_solve_plugin
324 expr_ref solve(expr *atom, bool is_pos) override { in solve() function in mbp::dt_solve_plugin
392 expr_ref solve(expr *atom, bool is_pos) override { in solve() function in mbp::bv_solve_plugin
410 expr_ref solve(expr *atom, bool is_pos) override { in solve() function in mbp::array_solve_plugin
H A Dmbp_datatypes.cpp39 bool solve(model& model, app_ref_vector& vars, expr_ref_vector& lits) { in solve() function
126 … bool solve(model& model, app_ref_vector& vars, expr* fml, expr_ref& t, expr_ref_vector& eqs) { in solve() function
143 …bool solve(model& model, app_ref_vector& vars, app* a, expr* b, expr_ref& t, expr_ref_vector& eqs)… in solve() function
299 bool datatype_project_plugin::solve(model& model, app_ref_vector& vars, expr_ref_vector& lits) { in solve() function in mbp::datatype_project_plugin
/dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/mbp/
H A Dmbp_solve_plugin.cpp70 bool solve(expr* lhs, expr* rhs, expr_ref& v, expr_ref& t) { in solve() function in mbp::arith_solve_plugin
251 expr_ref solve(expr* atom, bool is_pos) override { in solve() function in mbp::arith_solve_plugin
283 expr_ref solve(expr *atom, bool is_pos) override { in solve() function in mbp::basic_solve_plugin
324 expr_ref solve(expr *atom, bool is_pos) override { in solve() function in mbp::dt_solve_plugin
392 expr_ref solve(expr *atom, bool is_pos) override { in solve() function in mbp::bv_solve_plugin
410 expr_ref solve(expr *atom, bool is_pos) override { in solve() function in mbp::array_solve_plugin
H A Dmbp_datatypes.cpp39 bool solve(model& model, app_ref_vector& vars, expr_ref_vector& lits) { in solve() function
126 … bool solve(model& model, app_ref_vector& vars, expr* fml, expr_ref& t, expr_ref_vector& eqs) { in solve() function
143 …bool solve(model& model, app_ref_vector& vars, app* a, expr* b, expr_ref& t, expr_ref_vector& eqs)… in solve() function
299 bool datatype_project_plugin::solve(model& model, app_ref_vector& vars, expr_ref_vector& lits) { in solve() function in mbp::datatype_project_plugin
/dports/math/SCIP/scip-7.0.3/tests/src/lpi/
H A Dsolve.c487 Test(solve, test1) in Test() argument
565 Test(solve, test2) in Test() argument
638 Test(solve, test3) in Test() argument
704 Test(solve, test4) in Test() argument
750 Test(solve, test5) in Test() argument
846 Test(solve, test6) in Test() argument
961 Test(solve, test7) in Test() argument
/dports/science/InsightToolkit/ITK-5.0.1/Modules/ThirdParty/VNL/src/vxl/core/vnl/algo/
H A Dvnl_cholesky.cxx53 void vnl_cholesky::solve(vnl_vector<double> const& b, vnl_vector<double>* x) const in solve() function in vnl_cholesky
63 vnl_vector<double> vnl_cholesky::solve(vnl_vector<double> const& b) const in solve() function in vnl_cholesky
/dports/misc/vxl/vxl-3.3.2/core/vnl/algo/
H A Dvnl_cholesky.cxx58 vnl_cholesky::solve(vnl_vector<double> const & b, vnl_vector<double> * x) const in solve() function in vnl_cholesky
69 vnl_cholesky::solve(vnl_vector<double> const & b) const in solve() function in vnl_cholesky
/dports/math/ecos/ecos-2.0.8/test/qcml/
H A Dsimple_tests.py24 def solve(s): function
/dports/math/py-ecos/ecos-python-2.0.8/ecos/test/qcml/
H A Dsimple_tests.py24 def solve(s): function
/dports/math/py-CyLP/CyLP-0.91.4/cylp/py/
H A DPySolve.py14 def solve(filename, method): function
/dports/math/couenne/Couenne-releases-0.5.8/Couenne/src/interfaces/
H A DCouenneMINLPInterface.cpp23 CouNumber CouenneMINLPInterface::solve (CouNumber *solution) { in solve() function in CouenneMINLPInterface
/dports/lang/rust/rustc-1.58.1-src/src/test/ui/closures/2229_closure_analysis/run_pass/
H A Dissue-88372.rs5 fn solve<F>(validate: F) -> Option<u64> in solve() function
/dports/math/munkres-cpp/munkres-cpp-1.0.0-6-g61086fc/src/adapters/
H A Dadapter.h30 virtual void solve(Container &con) in solve() function
/dports/science/dakota/dakota-6.13.0-release-public.src-UI/packages/external/trilinos/packages/rol/adapters/minitensor/src/sol/
H A DROL_MiniTensor_MiniSolver_Def.hpp78 solve( in solve() function in ROL::MiniTensor_Minimizer
144 solve( in solve() function in ROL::MiniTensor_Minimizer
221 solve( in solve() function in ROL::MiniTensor_Minimizer
302 solve( in solve() function in ROL::MiniTensor_Minimizer
/dports/math/libmesh/libmesh-1.6.2/include/solvers/
H A Dlinear_solver.h329 LinearSolver<T>::solve (SparseMatrix<T> & mat, in solve() function
346 LinearSolver<T>::solve (const ShellMatrix<T> & mat, in solve() function
/dports/science/py-pymol/pymol-open-source-2.4.0/modules/cealign/src/tnt/
H A Djama_cholesky.h146 Array1D<Real> Cholesky<Real>::solve(const Array1D<Real> &b) in solve() function
188 Array2D<Real> Cholesky<Real>::solve(const Array2D<Real> &B) in solve() function
/dports/science/py-gpaw/gpaw-21.6.0/gpaw/lrtddft2/
H A Dlr_layouts.py141 def solve(self, A_orig, b_orig): member in LrTDDFPTSolveLayout
294 def solve(self, A, b): member in LrTDDFTLayouts
/dports/biology/dsr-pdb/dsr-pdb-1.0.3/include/tnt/
H A Djama_cholesky.h146 Array1D<Real> Cholesky<Real>::solve(const Array1D<Real> &b) in solve() function
188 Array2D<Real> Cholesky<Real>::solve(const Array2D<Real> &B) in solve() function
/dports/math/sdpa/sdpa-7.3.8/
H A Dsdpa_solve.cpp65 void SDPA::solve() in solve() function in SDPA
/dports/lang/maude/maude-2.7.1/src/Core/
H A DequalitySubproblem.cc47 EqualitySubproblem::solve(bool findFirst, RewritingContext& solution) in solve() function in EqualitySubproblem
/dports/www/gitlab-workhorse/gitlab-foss-0a901d60f8ae4a60c04ae82e6e9c3a03e9321417/.gitlab/issue_templates/
H A DProductivity Improvement.md8 ### Problem identification checklist
/dports/graphics/ossim/ossim-OrchidIsland-2.11.1/src/base/
H A Dossim2dLinearRegression.cpp16 void ossim2dLinearRegression::solve() in solve() function in ossim2dLinearRegression
/dports/math/apache-commons-math/commons-math3-3.6.1-src/src/main/java/org/apache/commons/math3/analysis/solvers/
H A DBaseAbstractUnivariateSolver.java192 public double solve(int maxEval, FUNC f, double min, double max, double startValue) in solve() method in BaseAbstractUnivariateSolver
203 public double solve(int maxEval, FUNC f, double min, double max) { in solve() method in BaseAbstractUnivariateSolver
208 public double solve(int maxEval, FUNC f, double startValue) in solve() method in BaseAbstractUnivariateSolver
/dports/math/dune-fem/dune-fem-d1c625e6d51167d0cce57de6adcef21f548a8f82/dune/fem/misc/
H A Dumfpack.hh70 static void solve ( A ... args ) in solve() function
125 …static void solve ( int m, const int *cs, const int *ri, std::complex< double > *val, double *x, c… in solve() function
193 …static void solve ( int m, const int *cs, const int *ri, const Fem::Double *val, Fem::Double *x, c… in solve() function

1...<<11121314151617181920>>...121