/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Tools/ |
H A D | Induction.hs | 141 strengthen [] cont = cont function 142 strengthen ((nm, st):sts) cont = try ("Proving strengthening initation : " ++ nm) function
|
/dports/lang/ocaml-nox11/ocaml-4.05.0/typing/ |
H A D | mtype.mli | 27 val strengthen: aliasable:bool -> Env.t -> module_type -> Path.t -> module_type val
|
H A D | mtype.ml | 36 let rec strengthen ~aliasable env mty p = var
|
H A D | env.mli | 274 val strengthen: val
|
/dports/lang/ocaml/ocaml-4.05.0/typing/ |
H A D | mtype.mli | 27 val strengthen: aliasable:bool -> Env.t -> module_type -> Path.t -> module_type val
|
H A D | mtype.ml | 36 let rec strengthen ~aliasable env mty p = var
|
H A D | env.mli | 274 val strengthen: val
|
/dports/lang/halide/Halide-release_2019_08_27-2654-g664dc4993/src/ |
H A D | FunctionPtr.h | 68 void strengthen() { in strengthen() function
|
/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | prop_redcost.c | 403 SCIP_Bool strengthen; in propagateRedcostVar() local 460 SCIP_Bool strengthen; in propagateRedcostVar() local
|
H A D | sepa_disjunctive.c | 87 SCIP_Bool strengthen; /**< strengthen cut if integer variables are present */ member 216 …SCIP_Bool strengthen, /**< should cut be strengthened if integer variables are… in generateDisjCutSOS1()
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/base/android/java/src/org/chromium/base/ |
H A D | CollectionUtil.java | 96 public static <T> List<T> strengthen(Collection<WeakReference<T>> weakRefs) { in strengthen() method in CollectionUtil
|
/dports/devel/p5-Set-Object/Set-Object-1.41/lib/Set/ |
H A D | Object.pm | 1118 sub strengthen { subroutine
|
/dports/lang/yap/yap-6.2.2/packages/swi-minisat2/C/ |
H A D | SolverTypes.h | 193 inline void Clause::strengthen(Lit p) in strengthen() function
|
/dports/math/clasp/clasp-3.3.5/tests/ |
H A D | cli_test.cpp | 293 ClaspCliConfig::KeyType strengthen = config.getKey(ClaspCliConfig::KEY_ROOT, "solver.strengthen"); variable
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/tests/ |
H A D | cli_test.cpp | 293 ClaspCliConfig::KeyType strengthen = config.getKey(ClaspCliConfig::KEY_ROOT, "solver.strengthen"); variable
|
/dports/math/clingo/clingo-5.5.1/clasp/tests/ |
H A D | cli_test.cpp | 293 ClaspCliConfig::KeyType strengthen = config.getKey(ClaspCliConfig::KEY_ROOT, "solver.strengthen"); variable
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Substitute/ |
H A D | Class.hs | 92 strengthen err = applySubst (compactS err [Nothing]) function
|
/dports/math/cgl/Cgl-releases-0.60.3/Cgl/src/CglLandP/ |
H A D | CglLandP.hpp | 156 bool strengthen; member in CglLandP::Parameters
|
/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/ |
H A D | SolverTypes.h | 411 inline void Clause::strengthen(Lit p) in strengthen() function
|
/dports/math/ogdf/OGDF/include/ogdf/lib/minisat/core/ |
H A D | SolverTypes.h | 419 inline void Clause::strengthen(Lit p) in strengthen() function
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat2/ |
H A D | SolverTypes.h | 398 inline void Clause::strengthen(Lit p) in strengthen() function
|
/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
H A D | clause.h | 435 void strengthen(const Lit p) in strengthen() function
|
/dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
H A D | clause.h | 435 void strengthen(const Lit p) in strengthen() function
|
/dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/ |
H A D | SolverTypes.h | 476 inline void Clause::strengthen(Lit p) in strengthen() function
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/ |
H A D | SolverTypes.h | 426 inline void Clause::strengthen(Lit p) in strengthen() function
|