symdiff.cpp

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

#include <tools.h>
#include <dfa.h>
#include <ccopy.h>
#include <stream.h>
#include <cursor.h>
#include <set_operation.h>
#include <debug.h>

template <typename DFA>
int run(DFA &A, DFA &B, config &c)
{
  A.initial(clone(A, clone_cursor<plain>(cin)));
  B.initial(clone(B, clone_cursor<plain>(c.aux_input)));
  DFA_stream out(cout);
  if (c.state_mark)
    clone(out, dfirst_markc(sym_diffc(forwardc(A), 
				      forwardc(B))));
  else
    clone(out, dfirstc(sym_diffc(forwardc(A), 
				 forwardc(B))));
  return 0;
}

int main(int argc, char **argv)
{
  config c(argc, argv, 2, "map matrix bin");
  
  if (c.representation == "map") {
    DFA_map<plain> A1, A2;
    return run(A1, A2, c);
  }

  if (c.representation == "matrix") {
    DFA_matrix<plain> A1, A2;
    return run(A1, A2, c);
  }
  
  if (c.representation == "bin") {
    DFA_bin<plain> A1, A2;
    return run(A1, A2, c);
  }
};