3 @author Bruno M. Carvalho and Deniz Sarioz
4 licensed under (open-source) QPL v1.0
5 which accompanies this distribution in the file QPL
14 #include <qapplication.h>
16 #include <qmainwindow.h>
17 #include <qmultilineedit.h>
19 #include <qpopupmenu.h>
21 #include <qpushbutton.h>
22 #include <qtoolbutton.h>
28 #include <qmessagebox.h>
29 #include <qfiledialog.h>
30 #include <qstringlist.h>
31 #include <qbuttongroup.h>
32 #include <qradiobutton.h>
34 class SnarkInput : public QMainWindow {
39 SnarkInput(QWidget *parent=0, const char *name=0, WFlags f=0);
41 QString inputfilename;
42 QString outputfilename;
44 QPopupMenu* commandsmenu;
45 QPopupMenu* runsnarkmenu;
47 QMultiLineEdit* currentinput;
48 QButtonGroup* insertbuttongroup;
49 QRadioButton* int1button;
50 QRadioButton* int2button;
52 void setInsertType(int);
59 // void SNARKManual();
66 void callProjection();
79 #endif // SNARKINPUT_H