Searched refs:d_constraints (Results 1 – 14 of 14) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
H A D | callbacks.cpp | 71 , d_constraints() in FarkasConflictBuilder() 88 d_constraints.clear(); in reset() 97 (!underConstruction() && d_constraints.empty() && d_farkas.empty()) || in addConstraint() 98 (underConstruction() && d_constraints.size() + 1 == d_farkas.size())); in addConstraint() 106 d_constraints.push_back(c); in addConstraint() 109 Assert(!PROOF_ON() || d_constraints.size() + 1 == d_farkas.size()); in addConstraint() 127 if(d_constraints.empty()){ in makeLastConsequent() 132 ConstraintCP last = d_constraints.back(); in makeLastConsequent() 133 d_constraints.back() = d_consequent; in makeLastConsequent() 146 Assert(!d_constraints.empty()); in commitConflict() [all …]
|
H A D | constraint.h | 235 SortedConstraintMap d_constraints; member 241 PerVariableDatabase(ArithVar v) : d_var(v), d_constraints() {} in PerVariableDatabase() 244 return d_constraints.empty(); in empty()
|
H A D | callbacks.h | 117 ConstraintCPVec d_constraints; variable
|
H A D | nonlinear_extension.h | 534 std::vector<Node> d_constraints; variable
|
H A D | constraint.cpp | 811 return d_varDatabases[v]->d_constraints; in getVariableSCM() 901 SortedConstraintMap& scm = back->d_constraints; in ~ConstraintDatabase() 1347 return (d_database->d_varDatabases[d_variable])->d_constraints; in constraintSet()
|
H A D | nonlinear_extension.cpp | 434 if (!IsInVector(d_constraints, atom)) { in registerConstraint() 435 d_constraints.push_back(atom); in registerConstraint()
|
/dports/graphics/cegui/cegui-0.8.7/cegui/src/ |
H A D | MouseCursor.cpp | 217 d_constraints.d_min.d_x = cegui_reldim(renderer_area.d_min.d_x / renderer_area.getWidth()); in setConstraintArea() 218 d_constraints.d_min.d_y = cegui_reldim(renderer_area.d_min.d_y / renderer_area.getHeight()); in setConstraintArea() 219 d_constraints.d_max.d_x = cegui_reldim(renderer_area.d_max.d_x / renderer_area.getWidth()); in setConstraintArea() 225 d_constraints.d_min.d_x = cegui_reldim(finalArea.d_min.d_x / renderer_area.getWidth()); in setConstraintArea() 226 d_constraints.d_min.d_y = cegui_reldim(finalArea.d_min.d_y / renderer_area.getHeight()); in setConstraintArea() 227 d_constraints.d_max.d_x = cegui_reldim(finalArea.d_max.d_x / renderer_area.getWidth()); in setConstraintArea() 228 d_constraints.d_max.d_y = cegui_reldim(finalArea.d_max.d_y / renderer_area.getHeight()); in setConstraintArea() 245 d_constraints = *area; in setUnifiedConstraintArea() 249 d_constraints.d_min.d_x = cegui_reldim(renderer_area.d_min.d_x / renderer_area.getWidth()); in setUnifiedConstraintArea() 251 d_constraints.d_max.d_x = cegui_reldim(renderer_area.d_max.d_x / renderer_area.getWidth()); in setUnifiedConstraintArea() [all …]
|
/dports/science/gromacs/gromacs-2021.4/src/gromacs/gmxpreprocess/ |
H A D | topdirs.cpp | 178 case Directive::d_constraints: in ifunc_index() 296 set_nec(&(necessary[Directive::d_exclusions]), Directive::d_bonds, Directive::d_constraints, in DS_Init() 305 set_nec(&(necessary[Directive::d_constraints]), Directive::d_atoms, Directive::d_none); in DS_Init()
|
H A D | topdirs.h | 68 d_constraints, enumerator
|
H A D | pdb2top.cpp | 707 print_bondeds(out, at->nr, Directive::d_constraints, F_CONSTR, 0, plist); in write_top() 708 print_bondeds(out, at->nr, Directive::d_constraints, F_CONSTRNC, 0, plist); in write_top()
|
H A D | topio.cpp | 757 case Directive::d_constraints: in read_topol()
|
/dports/science/gromacs/gromacs-2021.4/src/gromacs/mdlib/ |
H A D | lincs_gpu.cuh | 85 int2* d_constraints; member
|
H A D | lincs_gpu.cu | 118 const int2* __restrict__ gm_constraints = kernelParams.d_constraints; in __launch_bounds__() 544 freeDeviceBuffer(&kernelParams_.d_constraints); in ~LincsGpu() 912 freeDeviceBuffer(&kernelParams_.d_constraints); in set() 923 allocateDeviceBuffer(&kernelParams_.d_constraints, kernelParams_.numConstraintsThreads, in set() 950 copyToDeviceBuffer(&kernelParams_.d_constraints, constraintsHost.data(), 0, in set()
|
/dports/graphics/cegui/cegui-0.8.7/cegui/include/CEGUI/ |
H A D | MouseCursor.h | 397 …URect d_constraints; //!< Specifies the area (in screen pixels) that the mouse can move around … variable
|