Home
last modified time | relevance | path

Searched refs:ConstraintList (Results 1 – 25 of 132) sorted by relevance

123456

/dports/math/ogdf/OGDF/test/include/bandit/assertion_frameworks/snowhouse/snowhouse/fluent/
H A Dexpressionbuilder.h51 ConstraintList<ConstraintAdapterType, Nil> node(constraint, Nil()); in EqualTo()
64 ConstraintList<ConstraintAdapterType, Nil> node(constraint, Nil()); in EqualToWithDelta()
77 ConstraintList<ConstraintAdapterType, Nil> node(constraint, Nil()); in Fulfilling()
258 typedef ConstraintList<AndOperator, Nil> AndOperatorNode;
259 typedef ConstraintList<OrOperator, Nil> OrOperatorNode;
260 typedef ConstraintList<NotOperator, Nil> NotOperatorNode;
261 typedef ConstraintList<AllOperator, Nil> AllOperatorNode;
262 typedef ConstraintList<AtLeastOperator, Nil> AtLeastOperatorNode;
263 typedef ConstraintList<ExactlyOperator, Nil> ExactlyOperatorNode;
264 typedef ConstraintList<AtMostOperator, Nil> AtMostOperatorNode;
[all …]
H A Dconstraintlist.h18 struct ConstraintList struct
23 ConstraintList(const HeadType& head, const TailType& tail) in ConstraintList() argument
47 …typedef ConstraintList<typename L1::HeadType, typename type_concat<typename L1::TailType, L2>::t> … argument
/dports/lang/mono-basic/mono-basic-4.7/vbnc/vbnc/source/Types/
H A DTypeParameterConstraints.vb27 Private m_ConstraintList As ConstraintList
33 Sub Init(ByVal ConstraintList As ConstraintList)
34 m_ConstraintList = ConstraintList
55 ReadOnly Property Constraints() As ConstraintList
/dports/graphics/qgis/qgis-3.22.3/src/core/metadata/
H A Dqgslayermetadata.h168 typedef QList< QgsLayerMetadata::Constraint > ConstraintList; typedef
195 QgsLayerMetadata::ConstraintList constraints() const;
208 void setConstraints( const QgsLayerMetadata::ConstraintList &constraints );
336 ConstraintList mConstraints;
357 Q_DECLARE_METATYPE( QgsLayerMetadata::ConstraintList )
/dports/graphics/qgis-ltr/qgis-3.16.16/src/core/metadata/
H A Dqgslayermetadata.h165 typedef QList< QgsLayerMetadata::Constraint > ConstraintList; typedef
192 QgsLayerMetadata::ConstraintList constraints() const;
205 void setConstraints( const QgsLayerMetadata::ConstraintList &constraints );
332 ConstraintList mConstraints;
353 Q_DECLARE_METATYPE( QgsLayerMetadata::ConstraintList )
/dports/math/vampire/vampire-4.5.1/Kernel/
H A DAssignment.cpp83 bool Assignment::isSatisfied(Kernel::ConstraintList* constraints) in isSatisfied()
87 ConstraintList::Iterator cit(constraints); in isSatisfied()
125 void Assignment::assertSatisfied(ConstraintList* constraints) in assertSatisfied()
129 ConstraintList::Iterator cit(constraints); in assertSatisfied()
H A DAssignment.hpp58 bool isSatisfied(ConstraintList* c);
62 void assertSatisfied(ConstraintList* c);
/dports/graphics/graphviz/graphviz-2.44.1/lib/vpsc/
H A Dsolve_VPSC.h59 typedef std::vector<Constraint*> ConstraintList; typedef
60 ConstraintList inactive;
61 double mostViolated(ConstraintList &l,Constraint* &v);
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/core/tests/examples/
H A Dpmedian4.py11 …on import ConcreteModel, RangeSet, Param, Var, Reals, Binary, Objective, Constraint, ConstraintList
36 model.single_x = ConstraintList()
40 model.bound_y = ConstraintList()
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/contrib/mindtpy/
H A Dinitialization.py18 from pyomo.core import (ConstraintList, Objective,
58 MindtPy.cuts.fp_orthogonality_cuts = ConstraintList(
61 solve_data.working_model.MindtPy_utils.cuts.fp_orthogonality_cuts = ConstraintList(
65 MindtPy.cuts.oa_cuts = ConstraintList(doc='Outer approximation cuts')
68 MindtPy.cuts.ecp_cuts = ConstraintList(doc='Extended Cutting Planes')
70 MindtPy.cuts.aff_cuts = ConstraintList(doc='Affine cuts')
H A DMindtPy.py39 from pyomo.core import (Block, ConstraintList, NonNegativeReals,
129 feas.feas_constraints = ConstraintList(
138 lin.no_good_cuts = ConstraintList(doc='no-good cuts')
147 lin.feasible_no_good_cuts = ConstraintList(
/dports/security/lego/lego-4.5.3/vendor/github.com/aliyun/alibaba-cloud-sdk-go/services/dts/
H A Dstruct_structure_initialization_detail_in_describe_migration_job_detail.go27 ConstraintList ConstraintList `json:"ConstraintList" xml:"ConstraintList"` member
H A Dstruct_structure_initialization_detail.go28 ConstraintList ConstraintList `json:"ConstraintList" xml:"ConstraintList"` member
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/include/clang/Analysis/
H A DCloneDetection.h196 Ts... ConstraintList) { in constrainClones()
198 constrainClones(CloneGroups, ConstraintList...); in constrainClones()
207 void findClones(std::vector<CloneGroup> &Result, Ts... ConstraintList) { in findClones() argument
219 constrainClones(Result, ConstraintList...); in findClones()
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/include/clang/Analysis/
H A DCloneDetection.h196 Ts... ConstraintList) { in constrainClones()
198 constrainClones(CloneGroups, ConstraintList...); in constrainClones()
207 void findClones(std::vector<CloneGroup> &Result, Ts... ConstraintList) { in findClones() argument
219 constrainClones(Result, ConstraintList...); in findClones()
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/include/clang/Analysis/
H A DCloneDetection.h196 Ts... ConstraintList) { in constrainClones()
198 constrainClones(CloneGroups, ConstraintList...); in constrainClones()
207 void findClones(std::vector<CloneGroup> &Result, Ts... ConstraintList) { in findClones() argument
219 constrainClones(Result, ConstraintList...); in findClones()
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/include/clang/Analysis/
H A DCloneDetection.h196 Ts... ConstraintList) { in constrainClones()
198 constrainClones(CloneGroups, ConstraintList...); in constrainClones()
207 void findClones(std::vector<CloneGroup> &Result, Ts... ConstraintList) { in findClones() argument
219 constrainClones(Result, ConstraintList...); in findClones()
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/include/clang/Analysis/
H A DCloneDetection.h196 Ts... ConstraintList) { in constrainClones()
198 constrainClones(CloneGroups, ConstraintList...); in constrainClones()
207 void findClones(std::vector<CloneGroup> &Result, Ts... ConstraintList) { in findClones() argument
219 constrainClones(Result, ConstraintList...); in findClones()
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/include/clang/Analysis/
H A DCloneDetection.h196 Ts... ConstraintList) { in constrainClones()
198 constrainClones(CloneGroups, ConstraintList...); in constrainClones()
207 void findClones(std::vector<CloneGroup> &Result, Ts... ConstraintList) { in findClones() argument
219 constrainClones(Result, ConstraintList...); in findClones()
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/include/clang/Analysis/
H A DCloneDetection.h196 Ts... ConstraintList) { in constrainClones()
198 constrainClones(CloneGroups, ConstraintList...); in constrainClones()
207 void findClones(std::vector<CloneGroup> &Result, Ts... ConstraintList) { in findClones() argument
219 constrainClones(Result, ConstraintList...); in findClones()
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/include/clang/Analysis/
H A DCloneDetection.h196 Ts... ConstraintList) { in constrainClones()
198 constrainClones(CloneGroups, ConstraintList...); in constrainClones()
207 void findClones(std::vector<CloneGroup> &Result, Ts... ConstraintList) { in findClones() argument
219 constrainClones(Result, ConstraintList...); in findClones()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/include/clang/Analysis/
H A DCloneDetection.h196 Ts... ConstraintList) { in constrainClones()
198 constrainClones(CloneGroups, ConstraintList...); in constrainClones()
207 void findClones(std::vector<CloneGroup> &Result, Ts... ConstraintList) { in findClones() argument
219 constrainClones(Result, ConstraintList...); in findClones()
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/include/clang/Analysis/
H A DCloneDetection.h196 Ts... ConstraintList) { in constrainClones()
198 constrainClones(CloneGroups, ConstraintList...); in constrainClones()
207 void findClones(std::vector<CloneGroup> &Result, Ts... ConstraintList) { in findClones() argument
219 constrainClones(Result, ConstraintList...); in findClones()
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/include/clang/Analysis/
H A DCloneDetection.h196 Ts... ConstraintList) { in constrainClones()
198 constrainClones(CloneGroups, ConstraintList...); in constrainClones()
207 void findClones(std::vector<CloneGroup> &Result, Ts... ConstraintList) { in findClones() argument
219 constrainClones(Result, ConstraintList...); in findClones()
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/include/clang/Analysis/
H A DCloneDetection.h196 Ts... ConstraintList) { in constrainClones()
198 constrainClones(CloneGroups, ConstraintList...); in constrainClones()
207 void findClones(std::vector<CloneGroup> &Result, Ts... ConstraintList) { in findClones() argument
219 constrainClones(Result, ConstraintList...); in findClones()

123456