isomorph.cpp

来自「一个类似STL的自动机的源代码库」· C++ 代码 · 共 27 行

#include <astl.h>
#include <dfa.h>
#include <set_operation.h>
#include <cursor.h>
#include <tools.h>
#include <ccopy.h>
#include <string>
#include <iostream>

using namespace std;

const string USAGE = "";
const string DESCRIPTION = "return 0 if the DFA read from stdin is \
the same as the one read from file";

int main(int argc, char **argv)
{
  config c(argc, argv, 2, "", USAGE, DESCRIPTION);
  
  if (isomorph(clone_cursor<plain>(cin), 
	       clone_cursor<plain>(c.aux_input)))
    return 0;
  cerr << "DFAs differ" << endl;
  return 1;
}