Searched refs:needExport (Results 1 – 8 of 8) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
H A D | expr_miner.cpp | 74 bool& needExport) in initializeChecker() argument 108 needExport = true; in initializeChecker() 112 needExport = false; in initializeChecker() 133 bool needExport = false; in doCheck() local 137 initializeChecker(smte, em, varMap, queryr, needExport); in doCheck()
|
H A D | candidate_rewrite_database.cpp | 139 bool needExport = false; in addTerm() local 143 initializeChecker(rrChecker, em, varMap, crr, needExport); in addTerm() 176 if (needExport) in addTerm()
|
H A D | expr_miner.h | 94 bool& needExport);
|
H A D | query_generator.cpp | 187 bool needExport = false; in checkQuery() local 191 initializeChecker(queryChecker, em, varMap, qy, needExport); in checkQuery()
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
H A D | sygus_repair_const.cpp | 105 bool& needExport) in initializeChecker() argument 140 needExport = false; in initializeChecker() 259 bool needExport = true; in repairSolution() local 263 initializeChecker(repcChecker, em, varMap, fo_body, needExport); in repairSolution() 278 if (needExport) in repairSolution()
|
H A D | sygus_repair_const.h | 211 bool& needExport);
|
/dports/graphics/opencollada/OpenCOLLADA-1.6.68/COLLADAMaya/src/ |
H A D | COLLADAMayaPhysicsExporter.cpp | 485 …void searchAndUpdate(SceneElement* sceneElement, MDagPath& ChildPath, bool result, bool needExport) in searchAndUpdate() argument 494 if (needExport) in searchAndUpdate() 504 searchAndUpdate(childElement, ChildPath, result, needExport); in searchAndUpdate() 509 void PhysicsExporter::UpdateSceneElement(MObject& child, bool result, bool needExport) in UpdateSceneElement() argument 520 searchAndUpdate(sceneElement, ChildPath, result, needExport); in UpdateSceneElement()
|
/dports/graphics/opencollada/OpenCOLLADA-1.6.68/COLLADAMaya/include/ |
H A D | COLLADAMayaPhysicsExporter.h | 141 void UpdateSceneElement(MObject& child, bool result, bool needExport);
|