Home
last modified time | relevance | path

Searched refs:needExport (Results 1 – 8 of 8) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dexpr_miner.cpp74 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 Dcandidate_rewrite_database.cpp139 bool needExport = false; in addTerm() local
143 initializeChecker(rrChecker, em, varMap, crr, needExport); in addTerm()
176 if (needExport) in addTerm()
H A Dexpr_miner.h94 bool& needExport);
H A Dquery_generator.cpp187 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 Dsygus_repair_const.cpp105 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 Dsygus_repair_const.h211 bool& needExport);
/dports/graphics/opencollada/OpenCOLLADA-1.6.68/COLLADAMaya/src/
H A DCOLLADAMayaPhysicsExporter.cpp485 …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 DCOLLADAMayaPhysicsExporter.h141 void UpdateSceneElement(MObject& child, bool result, bool needExport);