| /dports/math/yices/yices-2.6.2/src/context/ |
| H A D | context.c | 2387 bveq_simp_t simp; in map_bveq_to_literal() local
4421 bveq_simp_t simp; in assert_toplevel_bveq() local
|
| /dports/net/libsignal-protocol-c/libsignal-protocol-c-2.3.3/src/protobuf-c/ |
| H A D | protobuf-c.c | 188 ProtobufCBufferSimple *simp = (ProtobufCBufferSimple *) buffer; in protobuf_c_buffer_simple_append() local
|
| /dports/net-im/dino/dino-0.2.2/plugins/signal-protocol/libsignal-protocol-c/src/protobuf-c/ |
| H A D | protobuf-c.c | 188 ProtobufCBufferSimple *simp = (ProtobufCBufferSimple *) buffer; in protobuf_c_buffer_simple_append() local
|
| /dports/math/giacxcas/giac-1.6.0/src/ |
| H A D | markup.cc | 2474 bool simp=(tmp.priority==0); in gen2markup() local
|
| /dports/math/ogdf/OGDF/src/coin/Clp/ |
| H A D | ClpFactorization.cpp | 1322 … CoinSimpFactorization * simp = dynamic_cast<CoinSimpFactorization *>(coinFactorizationB_); in operator =() local
|
| /dports/games/ags/ags_linux_v.3.4.4.1/Engine/script/ |
| H A D | systemimports.cpp | 23 SystemImports simp; variable
|
| /dports/lang/spidermonkey60/firefox-60.9.0/third_party/rust/regex-syntax-0.4.1/src/ |
| H A D | lib.rs | 455 fn simp(expr: Expr, recurse: usize, limit: usize) -> Result<Expr> { in simplify() function
|
| /dports/math/clasp/clasp-3.3.5/src/ |
| H A D | asp_preprocessor.cpp | 147 ValueRep res = value_true, simp; in simplifyClassifiedProgram() local
|
| H A D | logic_program.cpp | 409 const bool simp = frozen(); in accept() local
|
| /dports/math/cadical/cadical-1.0.3-cb89cbf/test/cnf/ |
| H A D | run.sh | 166 simp () { function
|
| /dports/net/ocserv/ocserv-1.1.3/src/protobuf/protobuf-c/ |
| H A D | protobuf-c.c | 183 ProtobufCBufferSimple *simp = (ProtobufCBufferSimple *) buffer; in protobuf_c_buffer_simple_append() local
|
| /dports/math/cvc4/CVC4-1.7/src/preprocessing/util/ |
| H A D | ite_utilities.cpp | 1900 ITECareSimplifier& simp) in mkNew()
|
| H A D | ite_utilities.h | 351 CareSetPtrVal(ITECareSimplifier& simp) in CareSetPtrVal()
|
| /dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/ |
| H A D | ite_simp.cpp | 243 Node simp = simpITE(&d_iteUtilities, (*assertionsToPreprocess)[i]); in applyInternal() local
|
| /dports/math/cvc4/CVC4-1.7/src/theory/ |
| H A D | theory_model_builder.cpp | 988 Node simp = NodeManager::currentNM()->mkNode(un.getKind(), children); in assignFunction() local
|
| /dports/math/stp/stp-2.3.3/include/stp/ToSat/ |
| H A D | BitBlaster.h | 218 Simplifier* simp; variable
|
| /dports/math/stp/stp-2.3.3/lib/Interface/ |
| H A D | c_interface.cpp | 131 stp::Simplifier* simp = new stp::Simplifier(bm); in vc_createValidityChecker() local
263 stp::Simplifier* simp = new stp::Simplifier(b); in vc_printAssertsToStream() local
292 stp::Simplifier* simp = new stp::Simplifier(b); in vc_printQueryStateToBuffer() local
1632 stp::Simplifier* simp = (stp::Simplifier*)(stp_i->simp); in vc_simplify() local
|
| H A D | cpp_interface.cpp | 470 Simplifier* simp = new Simplifier(&bm); in Cpp_interface() local
|
| /dports/math/stp/stp-2.3.3/tests/api/C/ |
| H A D | leaks.cpp | 194 Expr simp = vc_simplify(vc, product); in TEST() local
|
| /dports/math/stp/stp-2.3.3/include/stp/STPManager/ |
| H A D | STP.h | 73 Simplifier* simp; variable
112 delete simp; in deleteObjects() local
|
| /dports/math/stp/stp-2.3.3/include/stp/Simplifier/ |
| H A D | SubstitutionMap.h | 45 Simplifier* simp; variable
|
| H A D | BVSolver.h | 131 BVSolver(STPMgr* bm, Simplifier* simp) in BVSolver()
|
| H A D | PropagateEqualities.h | 48 Simplifier* simp; variable
|
| /dports/math/stp/stp-2.3.3/include/stp/AbsRefineCounterExample/ |
| H A D | AbsRefine_CounterExample.h | 52 Simplifier* simp; variable
|
| H A D | ArrayTransformer.h | 85 Simplifier* simp; variable
|