| /dports/misc/openmvg/openMVG-2.0/src/third_party/ceres-solver/internal/ceres/ |
| H A D | bundle_adjustment_test.cc | 246 SolverConfig(DENSE_SCHUR, NO_SPARSE, kAutomaticOrdering)); in TEST_F()
251 SolverConfig(DENSE_SCHUR, NO_SPARSE, kUserOrdering)); in TEST_F()
267 SolverConfig(ITERATIVE_SCHUR, in TEST_F()
299 SolverConfig(SPARSE_SCHUR, SUITE_SPARSE, kUserOrdering)); in TEST_F()
305 SolverConfig(ITERATIVE_SCHUR, in TEST_F()
314 SolverConfig(ITERATIVE_SCHUR, in TEST_F()
323 SolverConfig(ITERATIVE_SCHUR, in TEST_F()
332 SolverConfig(ITERATIVE_SCHUR, in TEST_F()
354 SolverConfig(SPARSE_SCHUR, CX_SPARSE, kAutomaticOrdering)); in TEST_F()
359 SolverConfig(SPARSE_SCHUR, CX_SPARSE, kUserOrdering)); in TEST_F()
[all …]
|
| H A D | system_test.cc | 151 SolverConfig(DENSE_QR, NO_SPARSE)); in TEST_F()
156 SolverConfig(DENSE_NORMAL_CHOLESKY)); in TEST_F()
161 SolverConfig(DENSE_SCHUR)); in TEST_F()
166 SolverConfig(ITERATIVE_SCHUR, NO_SPARSE, kAutomaticOrdering, JACOBI)); in TEST_F()
172 SolverConfig(SPARSE_NORMAL_CHOLESKY, SUITE_SPARSE, kAutomaticOrdering)); in TEST_F()
179 SolverConfig(SPARSE_NORMAL_CHOLESKY, CX_SPARSE, kAutomaticOrdering)); in TEST_F()
186 SolverConfig(SPARSE_NORMAL_CHOLESKY, EIGEN_SPARSE, kAutomaticOrdering)); in TEST_F()
|
| H A D | test_util.h | 74 struct SolverConfig { struct
75 SolverConfig(
120 SolverConfig ThreadedSolverConfig( argument
144 void RunSolverForConfigAndExpectResidualsMatch(const SolverConfig& config) { in RunSolverForConfigAndExpectResidualsMatch()
|
| H A D | test_util.cc | 132 SolverConfig ThreadedSolverConfig( in ThreadedSolverConfig()
138 return SolverConfig(linear_solver_type, in ThreadedSolverConfig()
|
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/ |
| H A D | solver_config.hh | 27 class SolverConfig { class
102 static SolverConfig load(const std::string& filename);
104 SolverConfig() {} in SolverConfig() function in MiniZinc::SolverConfig
106 SolverConfig(std::string id, std::string version) in SolverConfig() function in MiniZinc::SolverConfig
228 bool operator==(const SolverConfig& sc) const { in operator ==()
237 std::vector<SolverConfig> _solvers;
254 void addConfig(const SolverConfig& sc);
275 const SolverConfig& config(const std::string& s);
283 static void registerBuiltinSolver(const SolverConfig& sc);
|
| /dports/math/minizinc/libminizinc-2.5.5/lib/ |
| H A D | solver_config.cpp | 29 bool SolverConfig::ExtraFlag::validate(const std::string& v) const { in validate()
145 std::vector<SolverConfig::ExtraFlag> ret; in get_extra_flag_list()
180 SolverConfig::ExtraFlag::FlagType flag_type; in get_extra_flag_list()
182 flag_type = SolverConfig::ExtraFlag::FlagType::T_BOOL; in get_extra_flag_list()
184 flag_type = SolverConfig::ExtraFlag::FlagType::T_INT; in get_extra_flag_list()
254 const std::vector<SolverConfig>& solvers;
264 SolverConfig SolverConfig::load(const string& filename) { in load()
265 SolverConfig sc; in load()
682 SolverConfig sc = SolverConfig::load(cur_path + "/" + configFile); in populate()
740 const SolverConfig& sc = _solvers[solversIdx[i]]; in solverConfigsJSON()
[all …]
|
| H A D | solver.cpp | 103 MZNFZNSolverFlag MZNFZNSolverFlag::extra(const SolverConfig::ExtraFlag& ef) { in extra()
105 ef.flagType == SolverConfig::ExtraFlag::FlagType::T_BOOL && ef.range.empty() ? FT_NOARG in extra()
268 const SolverConfig& sc = _solverConfigs.config(selectedSolver); in printHelp()
281 for (const SolverConfig::ExtraFlag& ef : sc.extraFlags()) { in printHelp()
506 const SolverConfig& sc = _solverConfigs.config(solver); in processOptions()
589 const SolverConfig& sc = _solverConfigs.config(solver); in processOptions()
|
| /dports/lang/ghc/ghc-8.10.7/libraries/Cabal/cabal-install/Distribution/Solver/ |
| H A D | Modular.hs | 5 ( modularResolver, SolverConfig(..), PruneAfterFirstSuccess(..) ) where
41 ( SolverConfig(..), PruneAfterFirstSuccess(..), solve )
62 modularResolver :: SolverConfig -> DependencyResolver loc
117 solve' :: SolverConfig
128 runSolver :: Bool -> SolverConfig
223 tryToMinimizeConflictSet :: forall a . (SolverConfig -> RetryLog String SolverFailure a)
224 -> SolverConfig
316 finalErrorMsg :: SolverConfig -> SolverFailure -> String
|
| /dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/Distribution/Solver/ |
| H A D | Modular.hs | 5 ( modularResolver, SolverConfig(..), PruneAfterFirstSuccess(..) ) where
40 ( SolverConfig(..), PruneAfterFirstSuccess(..), solve )
61 modularResolver :: SolverConfig -> DependencyResolver loc
116 solve' :: SolverConfig
127 runSolver :: Bool -> SolverConfig
222 tryToMinimizeConflictSet :: forall a . (SolverConfig -> RetryLog String SolverFailure a)
223 -> SolverConfig
315 finalErrorMsg :: SolverConfig -> SolverFailure -> String
|
| /dports/math/minizinc/libminizinc-2.5.5/solvers/MIP/ |
| H A D | MIP_xpress_wrap.cpp | 214 vector<MiniZinc::SolverConfig::ExtraFlag> MIPxpressWrapper::getExtraFlags( in getExtraFlags()
279 std::vector<MiniZinc::SolverConfig::ExtraFlag> res; in getExtraFlags()
284 MiniZinc::SolverConfig::ExtraFlag::FlagType param_type; in getExtraFlags()
290 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_INT; in getExtraFlags()
297 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_INT; in getExtraFlags()
304 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_FLOAT; in getExtraFlags()
313 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_STRING; in getExtraFlags()
|
| H A D | MIP_osicbc_wrap.cpp | 159 std::vector<MiniZinc::SolverConfig::ExtraFlag> MIPosicbcWrapper::getExtraFlags( in getExtraFlags()
166 std::vector<MiniZinc::SolverConfig::ExtraFlag> res; in getExtraFlags()
181 MiniZinc::SolverConfig::ExtraFlag::FlagType param_type; in getExtraFlags()
185 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_FLOAT; in getExtraFlags()
190 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_INT; in getExtraFlags()
198 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_BOOL; in getExtraFlags()
200 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_STRING; in getExtraFlags()
|
| H A D | MIP_scip_wrap.cpp | 313 std::vector<MiniZinc::SolverConfig::ExtraFlag> MIPScipWrapper::getExtraFlags( in getExtraFlags()
319 std::vector<MiniZinc::SolverConfig::ExtraFlag> res; in getExtraFlags()
332 MiniZinc::SolverConfig::ExtraFlag::FlagType param_type; in getExtraFlags()
337 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_BOOL; in getExtraFlags()
342 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_STRING; in getExtraFlags()
353 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_INT; in getExtraFlags()
359 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_INT; in getExtraFlags()
365 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_FLOAT; in getExtraFlags()
371 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_STRING; in getExtraFlags()
|
| H A D | MIP_cplex_wrap.cpp | 294 vector<MiniZinc::SolverConfig::ExtraFlag> MIPCplexWrapper::getExtraFlags( in getExtraFlags()
450 std::vector<MiniZinc::SolverConfig::ExtraFlag> res; in getExtraFlags()
459 MiniZinc::SolverConfig::ExtraFlag::FlagType param_type; in getExtraFlags()
468 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_INT; in getExtraFlags()
479 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_INT; in getExtraFlags()
490 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_FLOAT; in getExtraFlags()
499 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_STRING; in getExtraFlags()
|
| H A D | MIP_gurobi_wrap.cpp | 439 std::vector<MiniZinc::SolverConfig::ExtraFlag> MIPGurobiWrapper::getExtraFlags( in getExtraFlags()
449 std::vector<MiniZinc::SolverConfig::ExtraFlag> flags; in getExtraFlags()
455 MiniZinc::SolverConfig::ExtraFlag::FlagType param_type; in getExtraFlags()
481 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_INT; in getExtraFlags()
493 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_FLOAT; in getExtraFlags()
502 param_type = MiniZinc::SolverConfig::ExtraFlag::FlagType::T_STRING; in getExtraFlags()
|
| /dports/lang/ghc/ghc-8.10.7/libraries/Cabal/cabal-install/Distribution/Solver/Modular/ |
| H A D | Solver.hs | 7 ( SolverConfig(..)
57 data SolverConfig = SolverConfig { constructor
89 solve :: SolverConfig -- ^ solver parameters
|
| /dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/Distribution/Solver/Modular/ |
| H A D | Solver.hs | 7 ( SolverConfig(..)
60 data SolverConfig = SolverConfig { function
92 solve :: SolverConfig -- ^ solver parameters
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ |
| H A D | TypeCheck.hs | 17 , SolverConfig(..)
46 import Cryptol.TypeCheck.InferTypes(VarType(..), SolverConfig(..))
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/Solver/ |
| H A D | SMT.hs | 71 startSolver :: SolverConfig -> IO Solver
72 startSolver SolverConfig { .. } =
97 withSolver :: SolverConfig -> (Solver -> IO a) -> IO a
|
| /dports/math/minizinc/libminizinc-2.5.5/solvers/geas/ |
| H A D | geas_solverinstance.cpp | 685 SolverConfig sc("org.minizinc.geas", getVersion(nullptr)); in GeasSolverFactory()
700 SolverConfig::ExtraFlag("--conflicts", in GeasSolverFactory()
702 SolverConfig::ExtraFlag::FlagType::T_INT, {}, "0"), in GeasSolverFactory()
703 SolverConfig::ExtraFlag( in GeasSolverFactory()
706 SolverConfig::ExtraFlag::FlagType::T_INT, {}, "0"), in GeasSolverFactory()
|
| /dports/math/minizinc-ide/MiniZincIDE-2.5.5/MiniZincIDE/ |
| H A D | projectbrowser.cpp | 88 case Project::SolverConfig: in setupContextMenu()
|
| H A D | project.h | 32 SolverConfig = 8, enumerator
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ModuleSystem/ |
| H A D | Env.hs | 63 , meSolverConfig :: T.SolverConfig
153 , meSolverConfig = T.SolverConfig
|
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/solvers/MIP/ |
| H A D | MIP_osicbc_wrap.hh | 99 static std::vector<MiniZinc::SolverConfig::ExtraFlag> getExtraFlags(FactoryOptions& factoryOpt);
|
| H A D | MIP_solverinstance.hh | 154 std::vector<SolverConfig::ExtraFlag> _extraFlags;
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/ |
| H A D | InferTypes.hs | 42 data SolverConfig = SolverConfig function
|