Lines Matching full:stateid
43 // typedef typename Arc::StateId StateId;
49 // bool InitState(StateId s, StateId root);
51 // bool WhiteArc(StateId s, const Arc &a);
53 // bool GreyArc(StateId s, const Arc &a);
55 // bool BlackArc(StateId s, const Arc &a);
57 // void FinishState(StateId s);
71 typedef typename Arc::StateId StateId;
76 StateId start = fst.Start();
93 StateId nstates = start + 1; // # of known states in general case
108 for (StateId root = start; visit && root < nstates;) {
113 StateId s = queue->Head();
198 typedef typename A::StateId StateId;
208 bool InitState(StateId s, StateId) {
214 bool WhiteArc(StateId s, const Arc &arc) {
219 bool GreyArc(StateId s, const Arc &arc) {
224 bool BlackArc(StateId s, const Arc &arc) {
229 void FinishState(StateId s) {
248 typedef typename A::StateId StateId;
250 explicit PartialVisitor(StateId maxvisit, bool access_only = false)
260 bool InitState(StateId s, StateId root) {
267 bool WhiteArc(StateId s, const Arc &arc) { return true; }
268 bool GreyArc(StateId s, const Arc &arc) { return true; }
269 bool BlackArc(StateId s, const Arc &arc) { return true; }
270 void FinishState(StateId s) {}
274 StateId maxvisit_;
276 StateId nvisit_;
277 StateId start_;
