/********************************************************************************
** Form generated from reading ui file 'DesEditor.ui'
**
** Created: Tue Oct 16 17:33:54 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_DESEDITOR_H
#define UI_DESEDITOR_H

#include <QtCore/QVariant>
#include <QtGui/QAction>
#include <QtGui/QApplication>
#include <QtGui/QButtonGroup>
#include <QtGui/QGroupBox>
#include <QtGui/QHeaderView>
#include <QtGui/QMainWindow>
#include <QtGui/QSplitter>
#include <QtGui/QTextEdit>
#include <QtGui/QWidget>
#include "DespotTreeWidget.h"
#include "EventViewerWidget.h"
#include "ProgressWidget.h"
#include "StateViewerWidget.h"

QT_BEGIN_NAMESPACE

class Ui_DesEditorUI
{
public:
    QWidget *centralWidget;
    QSplitter *m_mainSplitterWidg;
    QSplitter *m_desSplitterWidg;
    QSplitter *m_stateSplitterWidg;
    QGroupBox *m_stateGroupBox;
    DESpot::StateViewerWidget *m_stateViewWidg;
    QGroupBox *m_stateQuickLookGroupBox;
    DESpot::DespotTreeWidget *m_stateQuickLookWidg;
    QGroupBox *m_eventGroupBox;
    DESpot::EventViewerWidget *m_eventViewWidg;
    QGroupBox *m_transFuncGroupBox;
    QSplitter *m_transSplitterWidg;
    DESpot::DespotTreeWidget *m_transitionViewWidg;
    DESpot::DespotTreeWidget *m_selfTransWidg;
    QGroupBox *m_desEditorOutputGBox;
    QTextEdit *m_outputWidg;
    DESpot::ProgressWidget *m_progressWidget;

    void setupUi(QMainWindow *DesEditorUI)
    {
        if (DesEditorUI->objectName().isEmpty())
            DesEditorUI->setObjectName(QString::fromUtf8("DesEditorUI"));
        DesEditorUI->resize(688, 627);
        centralWidget = new QWidget(DesEditorUI);
        centralWidget->setObjectName(QString::fromUtf8("centralWidget"));
        m_mainSplitterWidg = new QSplitter(centralWidget);
        m_mainSplitterWidg->setObjectName(QString::fromUtf8("m_mainSplitterWidg"));
        m_mainSplitterWidg->setGeometry(QRect(10, 5, 670, 590));
        m_mainSplitterWidg->setOrientation(Qt::Vertical);
        m_desSplitterWidg = new QSplitter(m_mainSplitterWidg);
        m_desSplitterWidg->setObjectName(QString::fromUtf8("m_desSplitterWidg"));
        m_desSplitterWidg->setOrientation(Qt::Horizontal);
        m_stateSplitterWidg = new QSplitter(m_desSplitterWidg);
        m_stateSplitterWidg->setObjectName(QString::fromUtf8("m_stateSplitterWidg"));
        QSizePolicy sizePolicy(static_cast<QSizePolicy::Policy>(7), static_cast<QSizePolicy::Policy>(7));
        sizePolicy.setHorizontalStretch(0);
        sizePolicy.setVerticalStretch(0);
        sizePolicy.setHeightForWidth(m_stateSplitterWidg->sizePolicy().hasHeightForWidth());
        m_stateSplitterWidg->setSizePolicy(sizePolicy);
        m_stateSplitterWidg->setOrientation(Qt::Vertical);
        m_stateGroupBox = new QGroupBox(m_stateSplitterWidg);
        m_stateGroupBox->setObjectName(QString::fromUtf8("m_stateGroupBox"));
        m_stateViewWidg = new DESpot::StateViewerWidget(m_stateGroupBox);
        m_stateViewWidg->setObjectName(QString::fromUtf8("m_stateViewWidg"));
        m_stateViewWidg->setGeometry(QRect(10, 20, 256, 192));
        m_stateViewWidg->setHorizontalScrollBarPolicy(Qt::ScrollBarAsNeeded);
        m_stateViewWidg->setTabKeyNavigation(true);
        m_stateViewWidg->setDragEnabled(true);
        m_stateViewWidg->setAlternatingRowColors(true);
        m_stateViewWidg->setRootIsDecorated(false);
        m_stateViewWidg->setSortingEnabled(true);
        m_stateSplitterWidg->addWidget(m_stateGroupBox);
        m_stateQuickLookGroupBox = new QGroupBox(m_stateSplitterWidg);
        m_stateQuickLookGroupBox->setObjectName(QString::fromUtf8("m_stateQuickLookGroupBox"));
        m_stateQuickLookWidg = new DESpot::DespotTreeWidget(m_stateQuickLookGroupBox);
        m_stateQuickLookWidg->setObjectName(QString::fromUtf8("m_stateQuickLookWidg"));
        m_stateQuickLookWidg->setGeometry(QRect(10, 20, 53, 231));
        m_stateQuickLookWidg->setMidLineWidth(1);
        m_stateQuickLookWidg->setAlternatingRowColors(false);
        m_stateQuickLookWidg->setSortingEnabled(false);
        m_stateSplitterWidg->addWidget(m_stateQuickLookGroupBox);
        m_desSplitterWidg->addWidget(m_stateSplitterWidg);
        m_eventGroupBox = new QGroupBox(m_desSplitterWidg);
        m_eventGroupBox->setObjectName(QString::fromUtf8("m_eventGroupBox"));
        sizePolicy.setHeightForWidth(m_eventGroupBox->sizePolicy().hasHeightForWidth());
        m_eventGroupBox->setSizePolicy(sizePolicy);
        m_eventViewWidg = new DESpot::EventViewerWidget(m_eventGroupBox);
        m_eventViewWidg->setObjectName(QString::fromUtf8("m_eventViewWidg"));
        m_eventViewWidg->setGeometry(QRect(10, 20, 256, 192));
        m_eventViewWidg->setAlternatingRowColors(true);
        m_eventViewWidg->setRootIsDecorated(false);
        m_eventViewWidg->setSortingEnabled(true);
        m_desSplitterWidg->addWidget(m_eventGroupBox);
        m_transFuncGroupBox = new QGroupBox(m_desSplitterWidg);
        m_transFuncGroupBox->setObjectName(QString::fromUtf8("m_transFuncGroupBox"));
        sizePolicy.setHeightForWidth(m_transFuncGroupBox->sizePolicy().hasHeightForWidth());
        m_transFuncGroupBox->setSizePolicy(sizePolicy);
        m_transSplitterWidg = new QSplitter(m_transFuncGroupBox);
        m_transSplitterWidg->setObjectName(QString::fromUtf8("m_transSplitterWidg"));
        m_transSplitterWidg->setGeometry(QRect(10, 20, 256, 389));
        m_transSplitterWidg->setOrientation(Qt::Vertical);
        m_transitionViewWidg = new DESpot::DespotTreeWidget(m_transSplitterWidg);
        m_transitionViewWidg->setObjectName(QString::fromUtf8("m_transitionViewWidg"));
        m_transitionViewWidg->setAlternatingRowColors(true);
        m_transitionViewWidg->setRootIsDecorated(false);
        m_transitionViewWidg->setSortingEnabled(true);
        m_transSplitterWidg->addWidget(m_transitionViewWidg);
        m_selfTransWidg = new DESpot::DespotTreeWidget(m_transSplitterWidg);
        m_selfTransWidg->setObjectName(QString::fromUtf8("m_selfTransWidg"));
        m_selfTransWidg->setAlternatingRowColors(true);
        m_selfTransWidg->setRootIsDecorated(false);
        m_selfTransWidg->setSortingEnabled(true);
        m_transSplitterWidg->addWidget(m_selfTransWidg);
        m_desSplitterWidg->addWidget(m_transFuncGroupBox);
        m_mainSplitterWidg->addWidget(m_desSplitterWidg);
        m_desEditorOutputGBox = new QGroupBox(m_mainSplitterWidg);
        m_desEditorOutputGBox->setObjectName(QString::fromUtf8("m_desEditorOutputGBox"));
        m_desEditorOutputGBox->setFlat(true);
        m_outputWidg = new QTextEdit(m_desEditorOutputGBox);
        m_outputWidg->setObjectName(QString::fromUtf8("m_outputWidg"));
        m_outputWidg->setGeometry(QRect(0, 20, 256, 192));
        m_mainSplitterWidg->addWidget(m_desEditorOutputGBox);
        m_progressWidget = new DESpot::ProgressWidget(centralWidget);
        m_progressWidget->setObjectName(QString::fromUtf8("m_progressWidget"));
        m_progressWidget->setGeometry(QRect(560, 610, 125, 15));
        QSizePolicy sizePolicy1(static_cast<QSizePolicy::Policy>(13), static_cast<QSizePolicy::Policy>(13));
        sizePolicy1.setHorizontalStretch(0);
        sizePolicy1.setVerticalStretch(0);
        sizePolicy1.setHeightForWidth(m_progressWidget->sizePolicy().hasHeightForWidth());
        m_progressWidget->setSizePolicy(sizePolicy1);
        m_progressWidget->setMinimumSize(QSize(125, 15));
        m_progressWidget->setMaximumSize(QSize(125, 15));
        m_progressWidget->setMinimum(0);
        m_progressWidget->setMaximum(10);
        m_progressWidget->setValue(5);
        m_progressWidget->setTextVisible(false);
        m_progressWidget->setOrientation(Qt::Horizontal);
        DesEditorUI->setCentralWidget(centralWidget);

        retranslateUi(DesEditorUI);

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

    void retranslateUi(QMainWindow *DesEditorUI)
    {
        DesEditorUI->setWindowTitle(QApplication::translate("DesEditorUI", "DES Editor - <des name>", 0, QApplication::UnicodeUTF8));
        m_stateGroupBox->setTitle(QApplication::translate("DesEditorUI", "States ", 0, QApplication::UnicodeUTF8));
        m_stateQuickLookGroupBox->setTitle(QApplication::translate("DesEditorUI", "State Quick Look", 0, QApplication::UnicodeUTF8));
        m_eventGroupBox->setTitle(QApplication::translate("DesEditorUI", "Events", 0, QApplication::UnicodeUTF8));
        m_transFuncGroupBox->setTitle(QApplication::translate("DesEditorUI", "Transition Function", 0, QApplication::UnicodeUTF8));
        m_desEditorOutputGBox->setTitle(QApplication::translate("DesEditorUI", "Output ", 0, QApplication::UnicodeUTF8));
        Q_UNUSED(DesEditorUI);
    } // retranslateUi

};

namespace Ui {
    class DesEditorUI: public Ui_DesEditorUI {};
} // namespace Ui

QT_END_NAMESPACE

#endif // UI_DESEDITOR_H
