/dports/math/ogdf/OGDF/test/include/bandit/assertion_frameworks/snowhouse/snowhouse/fluent/ |
H A D | expressionbuilder.h | 51 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 D | constraintlist.h | 18 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 D | TypeParameterConstraints.vb | 27 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 D | qgslayermetadata.h | 168 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 D | qgslayermetadata.h | 165 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 D | Assignment.cpp | 83 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 D | Assignment.hpp | 58 bool isSatisfied(ConstraintList* c); 62 void assertSatisfied(ConstraintList* c);
|
/dports/graphics/graphviz/graphviz-2.44.1/lib/vpsc/ |
H A D | solve_VPSC.h | 59 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 D | pmedian4.py | 11 …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 D | initialization.py | 18 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 D | MindtPy.py | 39 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 D | struct_structure_initialization_detail_in_describe_migration_job_detail.go | 27 ConstraintList ConstraintList `json:"ConstraintList" xml:"ConstraintList"` member
|
H A D | struct_structure_initialization_detail.go | 28 ConstraintList ConstraintList `json:"ConstraintList" xml:"ConstraintList"` member
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/include/clang/Analysis/ |
H A D | CloneDetection.h | 196 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 D | CloneDetection.h | 196 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 D | CloneDetection.h | 196 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 D | CloneDetection.h | 196 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 D | CloneDetection.h | 196 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 D | CloneDetection.h | 196 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 D | CloneDetection.h | 196 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 D | CloneDetection.h | 196 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 D | CloneDetection.h | 196 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 D | CloneDetection.h | 196 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 D | CloneDetection.h | 196 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 D | CloneDetection.h | 196 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()
|