Home
last modified time | relevance | path

Searched refs:d_constraints (Results 1 – 14 of 14) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Dcallbacks.cpp71 , 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 Dconstraint.h235 SortedConstraintMap d_constraints; member
241 PerVariableDatabase(ArithVar v) : d_var(v), d_constraints() {} in PerVariableDatabase()
244 return d_constraints.empty(); in empty()
H A Dcallbacks.h117 ConstraintCPVec d_constraints; variable
H A Dnonlinear_extension.h534 std::vector<Node> d_constraints; variable
H A Dconstraint.cpp811 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 Dnonlinear_extension.cpp434 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 DMouseCursor.cpp217 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 Dtopdirs.cpp178 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 Dtopdirs.h68 d_constraints, enumerator
H A Dpdb2top.cpp707 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 Dtopio.cpp757 case Directive::d_constraints: in read_topol()
/dports/science/gromacs/gromacs-2021.4/src/gromacs/mdlib/
H A Dlincs_gpu.cuh85 int2* d_constraints; member
H A Dlincs_gpu.cu118 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 DMouseCursor.h397 …URect d_constraints; //!< Specifies the area (in screen pixels) that the mouse can move around … variable