/dports/math/clingo/clingo-5.5.1/clasp/clasp/ |
H A D | minimize_constraint.h | 214 MinimizeBuilder& add(weight_t prio, weight_t adjust); 237 weight_t prio; 238 weight_t weight; 454 weight_t weight; 465 Core(WeightConstraint* c, weight_t b, weight_t w) : con(c), bound(b), weight(w) {} in Core() 470 weight_t bound; 471 weight_t weight; 481 weight_t bound; 498 void add(const LitPair& x, weight_t w); 506 weight_t minW_; [all …]
|
H A D | weight_constraint.h | 44 static WeightLitsRep create(Solver& s, WeightLitVec& lits, weight_t bound); 58 weight_t bound; /*!< Rhs of linear constraint. */ 59 weight_t reach; /*!< Sum of weights of lits. */ 123 …static CPair create(Solver& s, Literal W, WeightLitVec& lits, weight_t bound, uint32 creationFlags… 158 weight_t weight(uint32 i) const { return lits_->weight(i); } in weight() 176 …weight_t weight(uint32 i) const { return !weights() ? weight_t(1) : (weight_t)lits[(i<<1)+1].rep()… in weight() 226 weight_t bound_[2]; // FFB_BTB: (sumW-bound)+1 / FTB_BFB: bound
|
H A D | logic_program_types.h | 402 …weight_t bound() const { if (type() == Body_t::Normal) return (weight_t)size(); else return hasWei… in bound() 404 …weight_t sumW() const { return static_cast<weight_t>(!hasWeights() ? (weight_t)size() : sumData()… in sumW() 408 …weight_t weight(uint32 idx)const { assert(idx < size()); return !hasWeights() ? 1 : sumData()->wei… in weight() 506 static SumData* create(uint32 size, weight_t bnd, weight_t ws); 508 weight_t bound; 509 weight_t sumW; 510 weight_t weights[0]; 515 weight_t bound; 525 …bool normalize(const LogicProgram& prg, weight_t bound, weight_t sumW, weight_t reachW, uint32… 547 weight_t unsupp_; // <= 0 -> body is supported
|
H A D | unfounded_check.h | 116 ExtData(weight_t bound, uint32 preds) : lower(bound), slack(-bound) { in ExtData() 119 bool addToWs(uint32 idx, weight_t w) { in addToWs() 131 void removeFromWs(uint32 idx, weight_t w) { in removeFromWs() 138 weight_t lower; 139 weight_t slack; 199 void initSuccessors(const BodyPtr& n, weight_t lower); 261 bool isExternal(const BodyPtr&, weight_t& slack) const; 274 mutable weight_t slack;
|
/dports/math/clasp/clasp-3.3.5/clasp/ |
H A D | minimize_constraint.h | 214 MinimizeBuilder& add(weight_t prio, weight_t adjust); 237 weight_t prio; 238 weight_t weight; 454 weight_t weight; 465 Core(WeightConstraint* c, weight_t b, weight_t w) : con(c), bound(b), weight(w) {} in Core() 470 weight_t bound; 471 weight_t weight; 481 weight_t bound; 498 void add(const LitPair& x, weight_t w); 506 weight_t minW_; [all …]
|
H A D | weight_constraint.h | 44 static WeightLitsRep create(Solver& s, WeightLitVec& lits, weight_t bound); 58 weight_t bound; /*!< Rhs of linear constraint. */ 59 weight_t reach; /*!< Sum of weights of lits. */ 123 …static CPair create(Solver& s, Literal W, WeightLitVec& lits, weight_t bound, uint32 creationFlags… 158 weight_t weight(uint32 i) const { return lits_->weight(i); } in weight() 176 …weight_t weight(uint32 i) const { return !weights() ? weight_t(1) : (weight_t)lits[(i<<1)+1].rep()… in weight() 226 weight_t bound_[2]; // FFB_BTB: (sumW-bound)+1 / FTB_BFB: bound
|
H A D | logic_program_types.h | 402 …weight_t bound() const { if (type() == Body_t::Normal) return (weight_t)size(); else return hasWei… in bound() 404 …weight_t sumW() const { return static_cast<weight_t>(!hasWeights() ? (weight_t)size() : sumData()… in sumW() 408 …weight_t weight(uint32 idx)const { assert(idx < size()); return !hasWeights() ? 1 : sumData()->wei… in weight() 506 static SumData* create(uint32 size, weight_t bnd, weight_t ws); 508 weight_t bound; 509 weight_t sumW; 510 weight_t weights[0]; 515 weight_t bound; 525 …bool normalize(const LogicProgram& prg, weight_t bound, weight_t sumW, weight_t reachW, uint32… 547 weight_t unsupp_; // <= 0 -> body is supported
|
H A D | unfounded_check.h | 116 ExtData(weight_t bound, uint32 preds) : lower(bound), slack(-bound) { in ExtData() 119 bool addToWs(uint32 idx, weight_t w) { in addToWs() 131 void removeFromWs(uint32 idx, weight_t w) { in removeFromWs() 138 weight_t lower; 139 weight_t slack; 199 void initSuccessors(const BodyPtr& n, weight_t lower); 261 bool isExternal(const BodyPtr&, weight_t& slack) const; 274 mutable weight_t slack;
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/ |
H A D | minimize_constraint.h | 214 MinimizeBuilder& add(weight_t prio, weight_t adjust); 237 weight_t prio; 238 weight_t weight; 454 weight_t weight; 465 Core(WeightConstraint* c, weight_t b, weight_t w) : con(c), bound(b), weight(w) {} in Core() 470 weight_t bound; 471 weight_t weight; 481 weight_t bound; 498 void add(const LitPair& x, weight_t w); 506 weight_t minW_; [all …]
|
H A D | weight_constraint.h | 44 static WeightLitsRep create(Solver& s, WeightLitVec& lits, weight_t bound); 58 weight_t bound; /*!< Rhs of linear constraint. */ 59 weight_t reach; /*!< Sum of weights of lits. */ 123 …static CPair create(Solver& s, Literal W, WeightLitVec& lits, weight_t bound, uint32 creationFlags… 158 weight_t weight(uint32 i) const { return lits_->weight(i); } in weight() 176 …weight_t weight(uint32 i) const { return !weights() ? weight_t(1) : (weight_t)lits[(i<<1)+1].rep()… in weight() 226 weight_t bound_[2]; // FFB_BTB: (sumW-bound)+1 / FTB_BFB: bound
|
H A D | logic_program_types.h | 402 …weight_t bound() const { if (type() == Body_t::Normal) return (weight_t)size(); else return hasWei… in bound() 404 …weight_t sumW() const { return static_cast<weight_t>(!hasWeights() ? (weight_t)size() : sumData()… in sumW() 408 …weight_t weight(uint32 idx)const { assert(idx < size()); return !hasWeights() ? 1 : sumData()->wei… in weight() 506 static SumData* create(uint32 size, weight_t bnd, weight_t ws); 508 weight_t bound; 509 weight_t sumW; 510 weight_t weights[0]; 515 weight_t bound; 525 …bool normalize(const LogicProgram& prg, weight_t bound, weight_t sumW, weight_t reachW, uint32… 547 weight_t unsupp_; // <= 0 -> body is supported
|
H A D | unfounded_check.h | 116 ExtData(weight_t bound, uint32 preds) : lower(bound), slack(-bound) { in ExtData() 119 bool addToWs(uint32 idx, weight_t w) { in addToWs() 131 void removeFromWs(uint32 idx, weight_t w) { in removeFromWs() 138 weight_t lower; 139 weight_t slack; 199 void initSuccessors(const BodyPtr& n, weight_t lower); 261 bool isExternal(const BodyPtr&, weight_t& slack) const; 274 mutable weight_t slack;
|
/dports/graphics/swftools/swftools-0.9.2/lib/ |
H A D | graphcut.h | 24 typedef signed int weight_t; typedef 33 weight_t weight; 34 weight_t init_weight; 55 halfedge_t*graph_add_edge(node_t*from, node_t*to, weight_t forward_weight, weight_t backward_weight… 56 weight_t graph_maxflow(graph_t*graph, node_t*pos1, node_t*pos2);
|
/dports/lang/halide/Halide-release_2019_08_27-2654-g664dc4993/test/correctness/ |
H A D | lerp.cpp | 13 template<typename weight_t> 15 if (std::numeric_limits<weight_t>::is_integer) in weight_type_scale() 16 return std::numeric_limits<weight_t>::max(); in weight_type_scale() 18 return static_cast<weight_t>(1.0); in weight_type_scale() 72 template<typename value_t, typename weight_t> 75 … int32_t weight_min, int32_t weight_extent, weight_t weight_offset, weight_t weight_scale, in check_range() 85 Param<weight_t> weight_scale_p, weight_offset_p; in check_range() 93 cast<weight_t>((weight + weight_min) * weight_scale_p + weight_offset_p)); in check_range() 103 … weight_t weight_verify = (weight_t)((k + weight_min) * weight_scale + weight_offset); in check_range() 104 double actual_weight = weight_verify / weight_type_scale<weight_t>(); in check_range() [all …]
|
/dports/math/cado-nfs/cado-nfs-f4284e2391121b2bfb97bc4880b6273c7250dc2f/filter/ |
H A D | singleton_simple.cpp | 18 weight_t *table; 27 for (weight_t i = 0; i < rel->nb; i++) { in update_table() 34 table[ind] = UMAX(weight_t); in update_table() 43 for (weight_t i = 0; i < rel->nb; i++) { in print_survivors() 115 table = (weight_t *)malloc(col_max_index*sizeof(weight_t)); in main() 117 memset(table, 0, col_max_index*sizeof(weight_t)); in main()
|
/dports/textproc/dbacl/dbacl-1.14.1/src/ |
H A D | dbacl.h | 180 typedef float weight_t; typedef 235 typedef float weight_t; typedef 289 typedef float weight_t; typedef 345 typedef float weight_t; typedef 576 #define PACK_LAMBDA(a) ((weight_t)(a)) 718 weight_t lam; 766 weight_t dig[ASIZE][ASIZE]; 776 weight_t lam; 784 weight_t ltrms; 785 weight_t dref; [all …]
|
H A D | hypex.h | 26 weight_t lam[2]; 27 weight_t ref;
|
/dports/math/clasp/clasp-3.3.5/src/ |
H A D | minimize_constraint.cpp | 56 for (weight_t wPos = 0, end = (weight_t)weights.size(), x; wPos != end; wPos = x+1) { in resetBounds() 329 weight_t lastW = -1; in propagateImpl() 575 MinimizeBuilder& MinimizeBuilder::add(weight_t prio, weight_t w) { in add() 636 const weight_t P = it->prio, L = static_cast<weight_t>(prios.size()); in prepareLevels() 670 weight_t wpos = (weight_t)weights.size(); in mergeLevels() 694 weight_t wIdx = 0; in createShared() 870 weight_t maxW = 1; in initLevel() 961 weight_t maxW = 0; in pushPath() 1132 weight_t w = std::numeric_limits<weight_t>::max(); in addNext() 1267 weight_t B = static_cast<weight_t>(n + connect); in addK() [all …]
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
H A D | minimize_constraint.cpp | 56 for (weight_t wPos = 0, end = (weight_t)weights.size(), x; wPos != end; wPos = x+1) { in resetBounds() 329 weight_t lastW = -1; in propagateImpl() 575 MinimizeBuilder& MinimizeBuilder::add(weight_t prio, weight_t w) { in add() 636 const weight_t P = it->prio, L = static_cast<weight_t>(prios.size()); in prepareLevels() 670 weight_t wpos = (weight_t)weights.size(); in mergeLevels() 694 weight_t wIdx = 0; in createShared() 870 weight_t maxW = 1; in initLevel() 961 weight_t maxW = 0; in pushPath() 1133 weight_t w = std::numeric_limits<weight_t>::max(); in addNext() 1269 weight_t B = static_cast<weight_t>(n + connect); in addK() [all …]
|
/dports/math/clingo/clingo-5.5.1/clasp/src/ |
H A D | minimize_constraint.cpp | 56 for (weight_t wPos = 0, end = (weight_t)weights.size(), x; wPos != end; wPos = x+1) { in resetBounds() 329 weight_t lastW = -1; in propagateImpl() 575 MinimizeBuilder& MinimizeBuilder::add(weight_t prio, weight_t w) { in add() 636 const weight_t P = it->prio, L = static_cast<weight_t>(prios.size()); in prepareLevels() 670 weight_t wpos = (weight_t)weights.size(); in mergeLevels() 694 weight_t wIdx = 0; in createShared() 870 weight_t maxW = 1; in initLevel() 961 weight_t maxW = 0; in pushPath() 1133 weight_t w = std::numeric_limits<weight_t>::max(); in addNext() 1269 weight_t B = static_cast<weight_t>(n + connect); in addK() [all …]
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/Transforms/SLPVectorizer/AArch64/ |
H A D | loadi8.ll | 7 %struct.weight_t = type { i32, i32 } 9 …8* noalias nocapture %dst, i8* noalias nocapture readonly %src, %struct.weight_t* noalias nocaptur… 12 ; CHECK-NEXT: [[SCALE:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T:%.*]], %struct.weight_t* … 14 ; CHECK-NEXT: [[OFFSET:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T]], %struct.weight_t* [[W… 41 %scale = getelementptr inbounds %struct.weight_t, %struct.weight_t* %w, i64 0, i32 0 43 %offset = getelementptr inbounds %struct.weight_t, %struct.weight_t* %w, i64 0, i32 1 98 define void @f_alias(i8* nocapture %dst, i8* nocapture readonly %src, %struct.weight_t* nocapture r… 101 ; CHECK-NEXT: [[SCALE:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T:%.*]], %struct.weight_t* … 103 ; CHECK-NEXT: [[OFFSET:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T]], %struct.weight_t* [[W… 154 %scale = getelementptr inbounds %struct.weight_t, %struct.weight_t* %w, i64 0, i32 0 [all …]
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/test/Transforms/SLPVectorizer/AArch64/ |
H A D | loadi8.ll | 7 %struct.weight_t = type { i32, i32 } 9 …8* noalias nocapture %dst, i8* noalias nocapture readonly %src, %struct.weight_t* noalias nocaptur… 12 ; CHECK-NEXT: [[SCALE:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T:%.*]], %struct.weight_t* … 14 ; CHECK-NEXT: [[OFFSET:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T]], %struct.weight_t* [[W… 45 %scale = getelementptr inbounds %struct.weight_t, %struct.weight_t* %w, i64 0, i32 0 47 %offset = getelementptr inbounds %struct.weight_t, %struct.weight_t* %w, i64 0, i32 1 102 define void @f_alias(i8* nocapture %dst, i8* nocapture readonly %src, %struct.weight_t* nocapture r… 105 ; CHECK-NEXT: [[SCALE:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T:%.*]], %struct.weight_t* … 107 ; CHECK-NEXT: [[OFFSET:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T]], %struct.weight_t* [[W… 158 %scale = getelementptr inbounds %struct.weight_t, %struct.weight_t* %w, i64 0, i32 0 [all …]
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/test/Transforms/SLPVectorizer/AArch64/ |
H A D | loadi8.ll | 7 %struct.weight_t = type { i32, i32 } 9 …8* noalias nocapture %dst, i8* noalias nocapture readonly %src, %struct.weight_t* noalias nocaptur… 12 ; CHECK-NEXT: [[SCALE:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T:%.*]], %struct.weight_t* … 14 ; CHECK-NEXT: [[OFFSET:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T]], %struct.weight_t* [[W… 45 %scale = getelementptr inbounds %struct.weight_t, %struct.weight_t* %w, i64 0, i32 0 47 %offset = getelementptr inbounds %struct.weight_t, %struct.weight_t* %w, i64 0, i32 1 102 define void @f_alias(i8* nocapture %dst, i8* nocapture readonly %src, %struct.weight_t* nocapture r… 105 ; CHECK-NEXT: [[SCALE:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T:%.*]], %struct.weight_t* … 107 ; CHECK-NEXT: [[OFFSET:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T]], %struct.weight_t* [[W… 158 %scale = getelementptr inbounds %struct.weight_t, %struct.weight_t* %w, i64 0, i32 0 [all …]
|
/dports/graphics/llvm-mesa/llvm-13.0.1.src/test/Transforms/SLPVectorizer/AArch64/ |
H A D | loadi8.ll | 7 %struct.weight_t = type { i32, i32 } 9 …8* noalias nocapture %dst, i8* noalias nocapture readonly %src, %struct.weight_t* noalias nocaptur… 12 ; CHECK-NEXT: [[SCALE:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T:%.*]], %struct.weight_t* … 14 ; CHECK-NEXT: [[OFFSET:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T]], %struct.weight_t* [[W… 45 %scale = getelementptr inbounds %struct.weight_t, %struct.weight_t* %w, i64 0, i32 0 47 %offset = getelementptr inbounds %struct.weight_t, %struct.weight_t* %w, i64 0, i32 1 102 define void @f_alias(i8* nocapture %dst, i8* nocapture readonly %src, %struct.weight_t* nocapture r… 105 ; CHECK-NEXT: [[SCALE:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T:%.*]], %struct.weight_t* … 107 ; CHECK-NEXT: [[OFFSET:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T]], %struct.weight_t* [[W… 158 %scale = getelementptr inbounds %struct.weight_t, %struct.weight_t* %w, i64 0, i32 0 [all …]
|
/dports/devel/llvm13/llvm-project-13.0.1.src/llvm/test/Transforms/SLPVectorizer/AArch64/ |
H A D | loadi8.ll | 7 %struct.weight_t = type { i32, i32 } 9 …8* noalias nocapture %dst, i8* noalias nocapture readonly %src, %struct.weight_t* noalias nocaptur… 12 ; CHECK-NEXT: [[SCALE:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T:%.*]], %struct.weight_t* … 14 ; CHECK-NEXT: [[OFFSET:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T]], %struct.weight_t* [[W… 45 %scale = getelementptr inbounds %struct.weight_t, %struct.weight_t* %w, i64 0, i32 0 47 %offset = getelementptr inbounds %struct.weight_t, %struct.weight_t* %w, i64 0, i32 1 102 define void @f_alias(i8* nocapture %dst, i8* nocapture readonly %src, %struct.weight_t* nocapture r… 105 ; CHECK-NEXT: [[SCALE:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T:%.*]], %struct.weight_t* … 107 ; CHECK-NEXT: [[OFFSET:%.*]] = getelementptr inbounds [[STRUCT_WEIGHT_T]], %struct.weight_t* [[W… 158 %scale = getelementptr inbounds %struct.weight_t, %struct.weight_t* %w, i64 0, i32 0 [all …]
|