| /dports/www/orangehrm/orangehrm-4.9/symfony/lib/vendor/bjeavons/zxcvbn-php/src/Matchers/ |
| H A D | ranked_frequency_lists.json | 1 …n":8,"margaret":9,"dorothy":10,"lisa":11,"nancy":12,"karen":13,"betty":14,"helen":15,"sandra":16,"…
|
| /dports/ports-mgmt/pkg/pkg-1.17.5/external/picosat/ |
| H A D | picosat.c | 6945 assume (PS * ps, Lit * lit) in assume() function
|
| /dports/net-im/matterircd/matterircd-0.25.0/vendor/github.com/pelletier/go-toml/ |
| H A D | parser.go | 43 func (p *tomlParser) assume(typ tokenType) { func
|
| /dports/math/igraph/igraph-0.9.5/vendor/glpk/minisat/ |
| H A D | minisat.c | 505 static inline void assume(solver* s, lit l){ in assume() function
|
| /dports/security/libtasn1/libtasn1-4.18.0/src/gl/ |
| H A D | verify.h | 300 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
302 # define assume(R) __assume (R) macro
307 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
310 # define assume(R) ((R) ? (void) 0 : /*NOTREACHED*/ (void) 0) macro
|
| /dports/games/openttd/openttd-12.1/src/3rdparty/fmt/ |
| H A D | format.h | 336 FMT_INLINE void assume(bool condition) { in assume() function
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/tests/ |
| H A D | enumerator_test.cpp | 501 LitVec assume; variable
|
| H A D | facade_test.cpp | 168 LitVec assume(1, asp.getLiteral(1)); variable
2051 LitVec assume; variable
|
| H A D | parser_test.cpp | 442 LitVec assume; variable
513 LitVec assume; variable
|
| H A D | program_builder_test.cpp | 1362 LitVec assume; variable
1389 LitVec assume; variable
1922 LitVec assume; variable
1990 LitVec assume; variable
2172 LitVec assume; variable
|
| H A D | weight_constraint_test.cpp | 42 static bool checkPropagate(Solver& solver, LitVec& assume, const LitVec& expect) { in checkPropagate()
128 LitVec assume, expect; variable
158 LitVec assume; variable
203 LitVec assume, reason; variable
501 LitVec assume, expect; variable
581 LitVec assume; variable
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
| H A D | solve_algorithms.cpp | 91 bool BasicSolve::assume(const LitVec& path) { in assume() function in Clasp::BasicSolve
318 bool SolveAlgorithm::solve(SharedContext& ctx, const LitVec& assume, ModelHandler* onModel) { in solve()
340 void SolveAlgorithm::start(SharedContext& ctx, const LitVec& assume, ModelHandler* onModel) { in start()
|
| H A D | parallel_solve.cpp | 445 void ParallelSolve::doStart(SharedContext& ctx, const LitVec& assume) { in doStart()
|
| H A D | solver.cpp | 787 bool Solver::assume(const Literal& p) { in assume() function in Clasp::Solver
|
| H A D | dependency_graph.cpp | 653 bool PrgDepGraph::NonHcfComponent::test(const Solver& generator, const LitVec& assume, VarVec& unfo… in test() argument
|
| H A D | logic_program.cpp | 2160 void LogicProgramAdapter::assume(const Potassco::LitSpan& lits) { in assume() function in Clasp::Asp::LogicProgramAdapter
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/ |
| H A D | minimize_constraint.h | 456 uint32 assume : 1; member
|
| H A D | shared_context.h | 579 LitVec* assume; variable
|
| /dports/math/vtk9/VTK-9.1.0/ThirdParty/fmt/vtkfmt/vtkfmt/ |
| H A D | format.h | 317 FMT_INLINE void assume(bool condition) { in assume() function
|
| /dports/math/vtk9/VTK-9.1.0/ThirdParty/ioss/vtkioss/private_copy_fmt/fmt/ |
| H A D | format.h | 336 FMT_INLINE void assume(bool condition) { in assume() function
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/make/jdk/src/classes/build/tools/pandocfilter/json/ |
| H A D | JSONParser.java | 74 private void assume(char c, String message) { in assume() method in JSONParser
|
| /dports/mail/rspamd/rspamd-3.1/contrib/fmt/include/fmt/ |
| H A D | format.h | 336 FMT_INLINE void assume(bool condition) { in assume() function
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/make/jdk/src/classes/build/tools/pandocfilter/json/ |
| H A D | JSONParser.java | 74 private void assume(char c, String message) { in assume() method in JSONParser
|
| /dports/math/octave/octave-6.4.0/libgnu/ |
| H A D | verify.h | 316 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
318 # define assume(R) __assume (R) macro
323 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
326 # define assume(R) ((R) ? (void) 0 : /*NOTREACHED*/ (void) 0) macro
|
| /dports/misc/libkeduvocdocument/libkeduvocdocument-21.12.3/keduvocdocument/docs/ |
| H A D | kvtml-version1.dtd | 42 c NUMBER #IMPLIED -- assume 0 if missing attribute
|