check_cursor.cpp

一个类似STL的自动机的源代码库

#include <astl.h>
#include <dfa.h>
#include <cursor.h>
#include <check.h>
#include <debug.h>
#include <nfa_mmap.h>
#include <determinize.h>

int main()
{
  DFA_matrix<> A;
  A.initial(A.new_state());
  check(plainc(A), "cursor");
  A.set_trans(A.initial(), 'a', A.new_state());
  check(transitionc(A), "transition_cursor");
  check(forwardc(A), "forward_cursor");
  check(debugplainc(A), "cursor_debug");
  check(debugc(A), "forward_cursor_debug");
  cursor_trace<cursor<DFA_matrix<> > > trace(plainc(A));
  check(trace, "cursor_trace");
  check(tracec(forwardc(A)), "forward_cursor_trace");
  NFA_mmap<> nfa;
  NFA_mmap<>::state_type q = nfa.new_state(), p = nfa.new_state();
  nfa.initial().insert(q);
  check(dcursor<NFA_mmap<> >(nfa, nfa.initial()), "dcursor");
  nfa.set_trans(q, 'a', p);
  check(forward_dcursor<NFA_mmap<> >(nfa, nfa.initial()), "forward_dcursor");
  check(closurec(transitionc(nfa, q), 'a'), "closure_cursor");
  check(async_forward_dcursor<NFA_mmap<> >(nfa, 'a', nfa.initial()), "async_forward_dcursor");
  return 0;
}