bool ran_or_fin_t::operator()(const conf_t &c)
{
- switch (c.state->type) {
- case nfa_state_t::RAN:
- case nfa_state_t::FIN: return true;
- default: return false;
- }
+ return c.state->type == nfa_state_t::RAN
+ || c.state->type == nfa_state_t::FIN;
}
void khistory_t::init()
case nfa_state_t::TAG:
stack.push_back(conf_t(x, n->tag.out, 0));
break;
- default:
+ case nfa_state_t::RAN:
+ case nfa_state_t::FIN:
break;
}
}
++q->arcidx;
}
break;
- default:
+ case nfa_state_t::RAN:
+ case nfa_state_t::FIN:
break;
}
copy_offs(ctx, q, q->tag.out, q->tag.info);
relax_gtop(ctx, conf_t(x, q->tag.out, 0));
break;
- default:
+ case nfa_state_t::RAN:
+ case nfa_state_t::FIN:
break;
}
}
case nfa_state_t::TAG:
stack.push_back(conf_t(x, n->tag.out, ctx.history.link(ctx, x)));
break;
- default:
+ case nfa_state_t::RAN:
+ case nfa_state_t::FIN:
break;
}
}
switch (ctx.dc_opts->posix_closure) {
case POSIX_CLOSURE_GOR1: closure_posix_gor1(ctx); break;
case POSIX_CLOSURE_GTOP: closure_posix_gtop(ctx); break;
- default: DASSERT(false); break;
}
DDUMP_CLSTATS(ctx);
++q->arcidx;
}
break;
- default:
+ case nfa_state_t::RAN:
+ case nfa_state_t::FIN:
break;
}
case nfa_state_t::TAG:
relax_gtop(ctx, conf_t(x, q->tag.out, ctx.history.link(ctx, x)));
break;
- default:
+ case nfa_state_t::RAN:
+ case nfa_state_t::FIN:
break;
}
}