| /external/openfst/src/test/ |
| weight-tester.h | 0 // weight-tester.h
27 #include <fst/random-weight.h>
32 // hold for the Weight class to be well-defined. It calls function object
34 template<class Weight, class WeightGenerator>
42 Weight w1 = weight_generator_();
43 Weight w2 = weight_generator_();
44 Weight w3 = weight_generator_();
46 VLOG(1) << "weight type = " << Weight::Type();
66 void TestSemiring(Weight w1, Weight w2, Weight w3)
[all...] |
| /external/srec/tools/thirdparty/OpenFst/fst/lib/ |
| random-weight.h | 1 // random-weight.h
26 #include "fst/lib/float-weight.h"
27 #include "fst/lib/product-weight.h"
28 #include "fst/lib/string-weight.h"
33 // divisors should be returned in the random weight generation.
39 typedef TropicalWeight Weight;
46 Weight operator() () const {
49 return Weight::Zero();
51 return Weight(static_cast<float>(n));
66 typedef LogWeight Weight;
[all...] |
| prune.h | 31 typedef typename A::Weight Weight;
34 Weight threshold;
39 vector<Weight> *idistance;
42 vector<Weight> *fdistance;
44 PruneOptions(const Weight& t, ArcFilter f, vector<Weight> *id = 0,
45 vector<Weight> *fd = 0)
52 // do not belong to a successful path whose weight is no more than
53 // 'opts.threshold' Times() the weight of the shortest path. Weight
102 Weight weight = Times(Times((*idistance)[state], arc.weight), local
210 Weight weight = Times(Times((*idistance)[state], arc.weight), local
[all...] |
| reweight.h | 30 // vector in the direction defined by TYPE. Weight needs to be left
34 // An arc of weight w, with an origin state of potential p and
39 void Reweight(MutableFst<Arc> *fst, vector<typename Arc::Weight> potential,
41 typedef typename Arc::Weight Weight;
46 potential.push_back(Weight::Zero());
48 if (type == REWEIGHT_TO_FINAL && !(Weight::Properties() & kRightSemiring))
50 << "Weight to be right distributive: "
51 << Weight::Type();
53 if (type == REWEIGHT_TO_INITIAL && !(Weight::Properties() & kLeftSemiring)
[all...] |
| shortest-distance.h | 58 typedef typename Arc::Weight Weight;
62 vector<Weight> *distance,
79 vector<Weight> *distance_;
85 vector<Weight> rdistance_; // Relaxation distance.
99 if (!(Weight::Properties() & kRightSemiring))
100 LOG(FATAL) << "ShortestDistance: Weight needs to be right distributive: "
101 << Weight::Type();
115 distance_->push_back(Weight::Zero());
116 rdistance_.push_back(Weight::Zero())
[all...] |
| arc.h | 22 #include "fst/lib/float-weight.h"
23 #include "fst/lib/product-weight.h"
24 #include "fst/lib/string-weight.h"
32 typedef TropicalWeight Weight;
35 StdArc(Label i, Label o, Weight w, StateId s)
36 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
47 Weight weight; // Transition weight member in struct:fst::StdArc
56 typedef LogWeight Weight;
71 Weight weight; \/\/ Transition weight member in struct:fst::LogArc
100 Weight weight; \/\/ Transition weight member in class:fst::StringArc
134 Weight weight; \/\/ Transition weight member in struct:fst::GallicArc
159 Weight weight; \/\/ Transition weight member in struct:fst::ReverseArc
[all...] |
| shortest-path.h | 55 // The shortest path is the lowest weight path w.r.t. the natural
63 vector<typename Arc::Weight> *distance,
66 typedef typename Arc::Weight Weight;
75 vector<Weight> rdistance;
82 Weight f_distance = Weight::Zero();
90 if ((Weight::Properties() & (kPath | kRightSemiring))
92 LOG(FATAL) << "SingleShortestPath: Weight needs to have the path"
93 << " property and be right distributive: " << Weight::Type()
[all...] |
| determinize.h | 32 #include "fst/lib/factor-weight.h"
49 typedef W Weight;
62 typedef StringWeight<L, S> Weight;
64 Weight operator()(const Weight &w1, const Weight &w2) const {
69 LOG(FATAL) << "LabelCommonDivisor: Weight needs to be left semiring";
72 return Weight::One();
73 else if (w1 == Weight::Zero())
74 return Weight(iter2.Value())
219 Weight weight; \/\/ Residual weight member in struct:fst::DeterminizeFsaImpl::Element
[all...] |
| /external/openfst/src/include/fst/ |
| random-weight.h | 1 // random-weight.h
31 #include <fst/float-weight.h>
32 #include <fst/product-weight.h>
33 #include <fst/string-weight.h>
34 #include <fst/lexicographic-weight.h>
35 #include <fst/power-weight.h>
36 #include <fst/signed-log-weight.h>
37 #include <fst/sparse-power-weight.h>
43 // divisors should be returned in the random weight generation.
50 typedef TropicalWeightTpl<T> Weight;
[all...] |
| shortest-distance.h | 51 // the final states have the same final weight), the
75 typedef typename Arc::Weight Weight;
79 vector<Weight> *distance,
97 vector<Weight> *distance_;
104 vector<Weight> rdistance_; // Relaxation distance.
123 if (!(Weight::Properties() & kRightSemiring)) {
124 FSTERROR() << "ShortestDistance: Weight needs to be right distributive: "
125 << Weight::Type();
130 if (first_path_ && !(Weight::Properties() & kPath))
[all...] |
| prune.h | 37 typedef typename A::Weight Weight;
40 // Pruning weight threshold.
41 Weight weight_threshold;
47 const vector<Weight> *distance;
52 explicit PruneOptions(const Weight& w, StateId s, ArcFilter f,
53 vector<Weight> *d = 0, float e = kDelta)
68 typedef W Weight;
70 PruneCompare(const vector<Weight> &idistance,
71 const vector<Weight> &fdistance
158 Weight weight = Times(Times(idistance[s], arc.weight), local
284 Weight weight = Times(Times(idistance[s], arc.weight), local
[all...] |
| reweight.h | 35 // vector in the direction defined by TYPE. Weight needs to be left
39 // An arc of weight w, with an origin state of potential p and
45 const vector<typename Arc::Weight> &potential,
47 typedef typename Arc::Weight Weight;
52 if (type == REWEIGHT_TO_FINAL && !(Weight::Properties() & kRightSemiring)) {
54 << "Weight to be right distributive: "
55 << Weight::Type();
60 if (type == REWEIGHT_TO_INITIAL && !(Weight::Properties() & kLeftSemiring)) {
62 << "Weight to be left distributive:
73 typename Arc::Weight weight = potential[state]; local
[all...] |
| shortest-path.h | 43 typedef typename Arc::Weight Weight;
53 Weight weight_threshold; // pruning weight threshold.
58 bool fp = false, Weight w = Weight::Zero(),
72 // The shortest path is the lowest weight path w.r.t. the natural
80 vector<typename Arc::Weight> *distance,
83 typedef typename Arc::Weight Weight;
[all...] |
| arc.h | 28 #include <fst/expectation-weight.h>
29 #include <fst/float-weight.h>
30 #include <fst/lexicographic-weight.h>
31 #include <fst/power-weight.h>
32 #include <fst/product-weight.h>
33 #include <fst/signed-log-weight.h>
34 #include <fst/sparse-power-weight.h>
38 #include <fst/string-weight.h>
46 typedef W Weight;
50 ArcTpl(Label i, Label o, const Weight& w, StateId s
63 Weight weight; member in class:fst::ArcTpl
99 Weight weight; \/\/ Transition weight member in class:fst::StringArc
133 Weight weight; \/\/ Transition weight member in struct:fst::GallicArc
158 Weight weight; \/\/ Transition weight member in struct:fst::ReverseArc
182 Weight weight; \/\/ Transition weight member in struct:fst::LexicographicArc
206 Weight weight; \/\/ Transition weight member in struct:fst::ProductArc
238 Weight weight; \/\/ Transition weight member in struct:fst::PowerArc
270 Weight weight; \/\/ Transition weight member in struct:fst::SparsePowerArc
301 Weight weight; \/\/ Transition weight member in struct:fst::ExpectationArc
[all...] |
| accumulator.h | 19 // Classes to accumulate arc weights. Useful for weight lookahead.
46 typedef typename A::Weight Weight;
56 Weight Sum(Weight w, Weight v) {
61 Weight Sum(Weight w, ArcIterator *aiter, ssize_t begin,
63 Weight sum = w;
66 sum = Plus(sum, aiter->Value().weight);
[all...] |
| push.h | 27 #include <fst/factor-weight.h>
39 // Compute the total weight (sum of the weights of all accepting paths) from
44 typename Arc::Weight ComputeTotalWeight(
46 const vector<typename Arc::Weight> &distance,
50 distance[fst.Start()] : Arc::Weight::Zero();
52 typename Arc::Weight sum = Arc::Weight::Zero();
58 // Divide the weight of every accepting path by 'w'. The weight 'w' is
62 void RemoveWeight(MutableFst<Arc> *fst, typename Arc::Weight w, bool at_final)
[all...] |
| determinize.h | 39 #include <fst/factor-weight.h>
57 typedef W Weight;
70 typedef StringWeight<L, S> Weight;
72 Weight operator()(const Weight &w1, const Weight &w2) const {
77 FSTERROR() << "LabelCommonDivisor: Weight needs to be left semiring";
78 return Weight::NoWeight();
80 return Weight::One();
81 } else if (w1 == Weight::Zero())
133 Weight weight; \/\/ Residual weight member in struct:fst::DeterminizeElement
[all...] |
| /external/openfst/src/script/ |
| weight-class.cc | 20 #include <fst/script/weight-class.h>
25 REGISTER_FST_WEIGHT(StdArc::Weight);
26 REGISTER_FST_WEIGHT(LogArc::Weight);
27 REGISTER_FST_WEIGHT(Log64Arc::Weight);
|
| /external/openfst/src/include/fst/script/ |
| reweight.h | 25 #include <fst/script/weight-class.h>
37 typedef typename Arc::Weight Weight;
38 vector<Weight> potentials(args->arg2.size());
41 potentials[i] = *(args->arg2[i].GetWeight<Weight>());
|
| prune.h | 25 #include <fst/script/weight-class.h>
56 typedef typename A::Weight Weight;
59 Weight weight_threshold = *(opts.weight_threshold.GetWeight<Weight>());
61 vector<Weight> *distance = 0;
64 distance = new vector<Weight>(opts.distance->size());
66 (*distance)[i] = *((*opts.distance)[i].GetWeight<Weight>());
82 typedef typename Arc::Weight Weight;
[all...] |
| /external/llvm/lib/CodeGen/ |
| MachineBranchProbabilityInfo.cpp | 41 uint32_t Weight = getEdgeWeight(MBB, I);
42 Sum += Weight;
56 uint32_t Weight = getEdgeWeight(MBB, I);
57 Sum += Weight / Scale;
66 uint32_t Weight = Src->getSuccWeight(Dst);
67 if (!Weight)
69 return Weight;
93 uint32_t Weight = getEdgeWeight(MBB, I);
94 if (Weight > MaxWeight) {
95 MaxWeight = Weight;
[all...] |
| /frameworks/base/core/tests/coretests/src/android/widget/layout/linear/ |
| WeightTest.java | 26 import android.widget.layout.linear.Weight;
28 public class WeightTest extends ActivityInstrumentationTestCase<Weight> {
33 super("com.android.frameworks.coretests", Weight.class);
|
| Weight.java | 24 public class Weight extends Activity {
|
| /frameworks/base/core/tests/coretests/src/android/widget/layout/table/ |
| Weight.java | 25 * Exercise table layout with cells having a weight.
27 public class Weight extends Activity {
|
| WeightTest.java | 19 import android.widget.layout.table.Weight;
27 * {@link android.widget.layout.table.Weight} is
28 * setup to exercise tables in which cells use a weight.
30 public class WeightTest extends ActivityInstrumentationTestCase<Weight> {
37 super("com.android.frameworks.coretests", Weight.class);
44 final Weight activity = getActivity();
|
