71 process_stream(std::istream& is, constchar* filename);
72
73virtualint
74 process_file(constchar* filename);
75
76virtualint
77 run();
78 };
79
80
81
82#endif // SPOT_BIN_COMMON_FINPUT_HH
Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Oct 1 2013 12:08:31 for spot by 1.8.4