/********************************************************************************
** Form generated from reading ui file 'SubsystemLWSynDialog.ui'
**
** Created: Tue Oct 16 17:33:59 2012
**      by: Qt User Interface Compiler version 4.5.2
**
** WARNING! All changes made in this file will be lost when recompiling ui file!
********************************************************************************/

#ifndef UI_SUBSYSTEMLWSYNDIALOG_H
#define UI_SUBSYSTEMLWSYNDIALOG_H

#include <QtCore/QVariant>
#include <QtGui/QAction>
#include <QtGui/QApplication>
#include <QtGui/QButtonGroup>
#include <QtGui/QDialog>
#include <QtGui/QDialogButtonBox>
#include <QtGui/QHBoxLayout>
#include <QtGui/QHeaderView>
#include <QtGui/QLabel>
#include <QtGui/QRadioButton>
#include <QtGui/QVBoxLayout>

QT_BEGIN_NAMESPACE

class Ui_SubsystemLWSynDialog
{
public:
    QVBoxLayout *verticalLayout;
    QLabel *label;
    QLabel *label_warning;
    QHBoxLayout *horizontalLayout;
    QRadioButton *radio_BDD;
    QRadioButton *radio_DES;
    QRadioButton *radio_both;
    QDialogButtonBox *buttonBox;

    void setupUi(QDialog *SubsystemLWSynDialog)
    {
        if (SubsystemLWSynDialog->objectName().isEmpty())
            SubsystemLWSynDialog->setObjectName(QString::fromUtf8("SubsystemLWSynDialog"));
        SubsystemLWSynDialog->resize(247, 201);
        verticalLayout = new QVBoxLayout(SubsystemLWSynDialog);
        verticalLayout->setObjectName(QString::fromUtf8("verticalLayout"));
        label = new QLabel(SubsystemLWSynDialog);
        label->setObjectName(QString::fromUtf8("label"));
        label->setWordWrap(true);

        verticalLayout->addWidget(label);

        label_warning = new QLabel(SubsystemLWSynDialog);
        label_warning->setObjectName(QString::fromUtf8("label_warning"));
        label_warning->setEnabled(true);
        label_warning->setWordWrap(true);

        verticalLayout->addWidget(label_warning);

        horizontalLayout = new QHBoxLayout();
        horizontalLayout->setObjectName(QString::fromUtf8("horizontalLayout"));
        radio_BDD = new QRadioButton(SubsystemLWSynDialog);
        radio_BDD->setObjectName(QString::fromUtf8("radio_BDD"));
        radio_BDD->setChecked(true);

        horizontalLayout->addWidget(radio_BDD);

        radio_DES = new QRadioButton(SubsystemLWSynDialog);
        radio_DES->setObjectName(QString::fromUtf8("radio_DES"));

        horizontalLayout->addWidget(radio_DES);

        radio_both = new QRadioButton(SubsystemLWSynDialog);
        radio_both->setObjectName(QString::fromUtf8("radio_both"));

        horizontalLayout->addWidget(radio_both);


        verticalLayout->addLayout(horizontalLayout);

        buttonBox = new QDialogButtonBox(SubsystemLWSynDialog);
        buttonBox->setObjectName(QString::fromUtf8("buttonBox"));
        buttonBox->setOrientation(Qt::Horizontal);
        buttonBox->setStandardButtons(QDialogButtonBox::Cancel|QDialogButtonBox::Ok);

        verticalLayout->addWidget(buttonBox);


        retranslateUi(SubsystemLWSynDialog);
        QObject::connect(buttonBox, SIGNAL(accepted()), SubsystemLWSynDialog, SLOT(accept()));
        QObject::connect(buttonBox, SIGNAL(rejected()), SubsystemLWSynDialog, SLOT(reject()));

        QMetaObject::connectSlotsByName(SubsystemLWSynDialog);
    } // setupUi

    void retranslateUi(QDialog *SubsystemLWSynDialog)
    {
        SubsystemLWSynDialog->setWindowTitle(QApplication::translate("SubsystemLWSynDialog", "DESpot", 0, QApplication::UnicodeUTF8));
        label->setText(QApplication::translate("SubsystemLWSynDialog", "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0//EN\" \"http://www.w3.org/TR/REC-html40/strict.dtd\">\n"
"<html><head><meta name=\"qrichtext\" content=\"1\" /><style type=\"text/css\">\n"
"p, li { white-space: pre-wrap; }\n"
"</style></head><body style=\" font-family:'Sans'; font-size:10pt; font-weight:400; font-style:normal;\">\n"
"<p align=\"center\" style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Please choose an output file format for the synthesis results.</p></body></html>", 0, QApplication::UnicodeUTF8));
        label_warning->setText(QApplication::translate("SubsystemLWSynDialog", "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0//EN\" \"http://www.w3.org/TR/REC-html40/strict.dtd\">\n"
"<html><head><meta name=\"qrichtext\" content=\"1\" /><style type=\"text/css\">\n"
"p, li { white-space: pre-wrap; }\n"
"</style></head><body style=\" font-family:'Sans'; font-size:10pt; font-weight:400; font-style:normal;\">\n"
"<p align=\"center\" style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\"><span style=\" font-weight:600;\">Warning: Choosing an option that includes the DES format could result in very large files.</span></p>\n"
"<p align=\"center\" style=\"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; font-family:'Courier New,courier'; font-weight:600;\"></p></body></html>", 0, QApplication::UnicodeUTF8));
        radio_BDD->setText(QApplication::translate("SubsystemLWSynDialog", "BDD", 0, QApplication::UnicodeUTF8));
        radio_DES->setText(QApplication::translate("SubsystemLWSynDialog", "DES", 0, QApplication::UnicodeUTF8));
        radio_both->setText(QApplication::translate("SubsystemLWSynDialog", "Both", 0, QApplication::UnicodeUTF8));
        Q_UNUSED(SubsystemLWSynDialog);
    } // retranslateUi

};

namespace Ui {
    class SubsystemLWSynDialog: public Ui_SubsystemLWSynDialog {};
} // namespace Ui

QT_END_NAMESPACE

#endif // UI_SUBSYSTEMLWSYNDIALOG_H
