5 #include "../misc/definitions.h"
6 #include "../misc/utils.h"
13 main(int argc, char** argv)
15 std::cout << "Converting lines into a patterns file in Pizza & Chili format" << std::endl;
18 std::cout << "Usage: convert_patterns input output" << std::endl;
22 std::cout << "Input file: " << argv[1] << std::endl;
23 std::ifstream input_file(argv[1], std::ios_base::binary);
26 std::cerr << "Error opening input file!" << std::endl;
30 std::cout << "Output file: " << argv[2] << std::endl;
31 std::ofstream output_file(argv[2], std::ios_base::binary);
34 std::cerr << "Error creating output file!" << std::endl;
37 std::cout << std::endl;
39 std::vector<std::string> rows;
40 readRows(input_file, rows, true);
42 usint patterns = rows.size();
43 usint pattern_length = (*(rows.begin())).length();
44 std::cout << "Number of patterns: " << patterns << std::endl;
45 std::cout << "Pattern length: " << pattern_length << std::endl;
46 std::cout << std::endl;
48 output_file << "# number=" << patterns << " length=" << pattern_length << " file=foo forbidden=" << std::endl;
49 for(std::vector<std::string>::iterator iter = rows.begin(); iter != rows.end(); iter++)
51 output_file.write((*iter).c_str(), pattern_length);