/dports/math/cvc4/CVC4-1.7/src/include/ |
H A D | cvc4_public.h | 40 # define CVC4_UNUSED __attribute__((__unused__)) macro 47 # define CVC4_UNUSED macro
|
/dports/math/cvc4/CVC4-1.7/src/base/ |
H A D | output.h | 443 void operator!() CVC4_UNUSED; 444 void operator~() CVC4_UNUSED; 445 void operator-() CVC4_UNUSED; 446 void operator+() CVC4_UNUSED;
|
/dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
H A D | dual_simplex.cpp | 201 int32_t prevErrorSize CVC4_UNUSED = d_errorSet.errorSize(); in searchForFeasibleSolution() local 237 int32_t currErrorSize CVC4_UNUSED = d_errorSet.errorSize(); in searchForFeasibleSolution() local
|
H A D | partial_model.cpp | 196 size_t removed CVC4_UNUSED = d_nodeToArithVarMap.erase(vi.d_node); in releaseArithVar() local
|
H A D | theory_arith_private.cpp | 197 unsigned posPos CVC4_UNUSED = pos.size(); in resolve() local 207 unsigned negPos CVC4_UNUSED = neg.size(); in resolve() local 2623 int checks CVC4_UNUSED = 0; in subsumption() local 2624 int subsumed CVC4_UNUSED = 0; in subsumption() local 3581 bool res CVC4_UNUSED = assertionCases(curr); in check() local 3593 bool res CVC4_UNUSED = assertionCases(curr); in check() local
|
H A D | approx_simplex.cpp | 1387 int nrows CVC4_UNUSED = glp_ios_cut_get_aux_nrows(tree, gmi->poolOrdinal()); in gmiCut() local
|
/dports/math/cvc4/CVC4-1.7/src/expr/ |
H A D | metakind_template.cpp | 184 switch(Kind k CVC4_UNUSED = nv->getKind()) { in operatorToKind() local
|
H A D | pickler.cpp | 371 Block header CVC4_UNUSED = d_current.dequeue(); in fromCaseConstant() local
|
H A D | expr_manager_template.cpp | 799 Type testerType CVC4_UNUSED = c.getTester().getType(); in checkResolvedDatatype() local 805 Type ctorType CVC4_UNUSED = c.getConstructor().getType(); in checkResolvedDatatype() local
|
H A D | node_builder.h | 1299 bool realloced CVC4_UNUSED = false; in internalCopy() local
|
/dports/math/cvc4/CVC4-1.7/src/smt_util/ |
H A D | boolean_simplification.h | 169 bool b CVC4_UNUSED =
|
/dports/math/cvc4/CVC4-1.7/src/theory/ |
H A D | substitutions.cpp | 214 const SubstitutionMap::NodeMap& substitutions) CVC4_UNUSED;
|
H A D | theory_model_builder.cpp | 650 bool assignable, evaluable CVC4_UNUSED; in buildModel() local
|
H A D | theory_engine.cpp | 956 bool CVC4_UNUSED wasInConflict = d_inConflict; in postsolve()
|
/dports/math/cvc4/CVC4-1.7/src/main/ |
H A D | interactive_shell.cpp | 268 int c CVC4_UNUSED = d_in.get(); in readCommand() local
|
/dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/ |
H A D | miplib_trick.cpp | 530 Theory::PPAssertStatus status CVC4_UNUSED; // just for assertions in applyInternal() local
|
/dports/math/cvc4/CVC4-1.7/src/prop/ |
H A D | cnf_stream.cpp | 148 bool negated CVC4_UNUSED = false; in ensureLiteral() local
|
/dports/math/cvc4/CVC4-1.7/src/theory/uf/ |
H A D | symmetry_breaker.cpp | 443 bool good CVC4_UNUSED = d_template.match(phi); in assertFormula() local
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
H A D | sygus_unif_io.cpp | 1378 CVC4_UNUSED bool set_split_cond_res_index = false; in constructSol()
|
/dports/math/cvc4/CVC4-1.7/src/preprocessing/util/ |
H A D | ite_utilities.cpp | 1477 static int CVC4_UNUSED instance = 0; in simpITEAtom()
|
/dports/math/cvc4/CVC4-1.7/src/theory/datatypes/ |
H A D | theory_datatypes.cpp | 161 TNode atom CVC4_UNUSED = fact.getKind() == kind::NOT ? fact[0] : fact; in check() local
|
/dports/math/cvc4/CVC4-1.7/src/theory/strings/ |
H A D | theory_strings_rewriter.cpp | 4064 CVC4_UNUSED bool ret = in checkEntailArithApprox()
|