summaryrefslogtreecommitdiff
path: root/klm/search/final.hh
diff options
context:
space:
mode:
authorKenneth Heafield <github@kheafield.com>2012-09-12 12:01:26 +0100
committerKenneth Heafield <github@kheafield.com>2012-09-12 12:01:26 +0100
commitc26c35a9bcbb4d42ae50ad0a75c1b5fb59702bd1 (patch)
treeeced40cfee4bff7c4cd3fc644016e45f7903a55a /klm/search/final.hh
parent2ca3db90bd0a2e9a8619d2ebec7c6ac723838aca (diff)
Refactor search so that it knows even less, but keeps track of edge pointers
Diffstat (limited to 'klm/search/final.hh')
-rw-r--r--klm/search/final.hh12
1 files changed, 6 insertions, 6 deletions
diff --git a/klm/search/final.hh b/klm/search/final.hh
index 24e6f0a5..823b8c1a 100644
--- a/klm/search/final.hh
+++ b/klm/search/final.hh
@@ -1,18 +1,20 @@
#ifndef SEARCH_FINAL__
#define SEARCH_FINAL__
-#include "search/rule.hh"
+#include "search/arity.hh"
#include "search/types.hh"
#include <boost/array.hpp>
namespace search {
+class Edge;
+
class Final {
public:
typedef boost::array<const Final*, search::kMaxArity> ChildArray;
- void Reset(Score bound, const Rule &from, const Final &left, const Final &right) {
+ void Reset(Score bound, const Edge &from, const Final &left, const Final &right) {
bound_ = bound;
from_ = &from;
children_[0] = &left;
@@ -21,16 +23,14 @@ class Final {
const ChildArray &Children() const { return children_; }
- unsigned int ChildCount() const { return from_->Arity(); }
-
- const Rule &From() const { return *from_; }
+ const Edge &From() const { return *from_; }
Score Bound() const { return bound_; }
private:
Score bound_;
- const Rule *from_;
+ const Edge *from_;
ChildArray children_;
};