/********************************************************************************
** Form generated from reading ui file 'SimHierConfig.ui'
**
** Created: Tue Jan 26 17:06:49 2016
**      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_SIMHIERCONFIG_H
#define UI_SIMHIERCONFIG_H

#include <QtCore/QVariant>
#include <QtGui/QAction>
#include <QtGui/QApplication>
#include <QtGui/QButtonGroup>
#include <QtGui/QGroupBox>
#include <QtGui/QHeaderView>
#include <QtGui/QLabel>
#include <QtGui/QMainWindow>
#include <QtGui/QRadioButton>
#include <QtGui/QSplitter>
#include <QtGui/QTabWidget>
#include <QtGui/QTableView>
#include <QtGui/QTextEdit>
#include <QtGui/QTreeView>
#include <QtGui/QWidget>
#include "ProgressWidget.h"

QT_BEGIN_NAMESPACE

class Ui_SimHierConfigUI
{
public:
    QWidget *centralWidget;
    QSplitter *m_mainSplitterWidg;
    QTabWidget *configTabWidget;
    QWidget *eventChooserTab;
    QTableView *selEventTab;
    QWidget *StartStatesTab;
    QTreeView *startStatesView;
    QWidget *eligEventTab;
    QRadioButton *randomChooseButton;
    QRadioButton *userChooseButton;
    QTableView *eligEventView;
    QGroupBox *eventChooseGroupBox;
    QWidget *ineligEventTab;
    QTableView *ineligEventView;
    QWidget *runtimeTab;
    QLabel *elapsedDisplay_2;
    QLabel *elapsedLabel_2;
    QLabel *stepDisplay_2;
    QLabel *stepLabel_2;
    QGroupBox *statusGroupBox;
    QWidget *historyTab;
    QTableView *histEventView;
    QLabel *stepLabel;
    QLabel *elapsedLabel;
    QLabel *stepDisplay;
    QLabel *elapsedDisplay;
    QTabWidget *outputTabWidg;
    QWidget *currrentStateTab;
    QTreeView *currentStateView;
    QWidget *nextStateTab;
    QTreeView *nextStateView;
    QWidget *traceTab;
    QTextEdit *m_outputWidg;
    DESpot::ProgressWidget *m_progressWidget;

    void setupUi(QMainWindow *SimHierConfigUI)
    {
        if (SimHierConfigUI->objectName().isEmpty())
            SimHierConfigUI->setObjectName(QString::fromUtf8("SimHierConfigUI"));
        SimHierConfigUI->resize(1041, 766);
        SimHierConfigUI->setMinimumSize(QSize(10, 0));
        centralWidget = new QWidget(SimHierConfigUI);
        centralWidget->setObjectName(QString::fromUtf8("centralWidget"));
        m_mainSplitterWidg = new QSplitter(centralWidget);
        m_mainSplitterWidg->setObjectName(QString::fromUtf8("m_mainSplitterWidg"));
        m_mainSplitterWidg->setGeometry(QRect(0, 0, 981, 721));
        m_mainSplitterWidg->setOrientation(Qt::Horizontal);
        configTabWidget = new QTabWidget(m_mainSplitterWidg);
        configTabWidget->setObjectName(QString::fromUtf8("configTabWidget"));
        configTabWidget->setTabPosition(QTabWidget::South);
        eventChooserTab = new QWidget();
        eventChooserTab->setObjectName(QString::fromUtf8("eventChooserTab"));
        selEventTab = new QTableView(eventChooserTab);
        selEventTab->setObjectName(QString::fromUtf8("selEventTab"));
        selEventTab->setGeometry(QRect(1, 1, 469, 679));
        configTabWidget->addTab(eventChooserTab, QString());
        StartStatesTab = new QWidget();
        StartStatesTab->setObjectName(QString::fromUtf8("StartStatesTab"));
        startStatesView = new QTreeView(StartStatesTab);
        startStatesView->setObjectName(QString::fromUtf8("startStatesView"));
        startStatesView->setGeometry(QRect(10, 10, 481, 681));
        configTabWidget->addTab(StartStatesTab, QString());
        eligEventTab = new QWidget();
        eligEventTab->setObjectName(QString::fromUtf8("eligEventTab"));
        randomChooseButton = new QRadioButton(eligEventTab);
        randomChooseButton->setObjectName(QString::fromUtf8("randomChooseButton"));
        randomChooseButton->setGeometry(QRect(200, 650, 83, 18));
        userChooseButton = new QRadioButton(eligEventTab);
        userChooseButton->setObjectName(QString::fromUtf8("userChooseButton"));
        userChooseButton->setGeometry(QRect(330, 650, 83, 18));
        eligEventView = new QTableView(eligEventTab);
        eligEventView->setObjectName(QString::fromUtf8("eligEventView"));
        eligEventView->setGeometry(QRect(-20, 10, 591, 611));
        eventChooseGroupBox = new QGroupBox(eligEventTab);
        eventChooseGroupBox->setObjectName(QString::fromUtf8("eventChooseGroupBox"));
        eventChooseGroupBox->setGeometry(QRect(160, 630, 311, 51));
        configTabWidget->addTab(eligEventTab, QString());
        ineligEventTab = new QWidget();
        ineligEventTab->setObjectName(QString::fromUtf8("ineligEventTab"));
        ineligEventView = new QTableView(ineligEventTab);
        ineligEventView->setObjectName(QString::fromUtf8("ineligEventView"));
        ineligEventView->setGeometry(QRect(-10, -10, 591, 611));
        configTabWidget->addTab(ineligEventTab, QString());
        runtimeTab = new QWidget();
        runtimeTab->setObjectName(QString::fromUtf8("runtimeTab"));
        elapsedDisplay_2 = new QLabel(runtimeTab);
        elapsedDisplay_2->setObjectName(QString::fromUtf8("elapsedDisplay_2"));
        elapsedDisplay_2->setGeometry(QRect(310, 20, 101, 16));
        QSizePolicy sizePolicy(QSizePolicy::Minimum, QSizePolicy::Preferred);
        sizePolicy.setHorizontalStretch(0);
        sizePolicy.setVerticalStretch(0);
        sizePolicy.setHeightForWidth(elapsedDisplay_2->sizePolicy().hasHeightForWidth());
        elapsedDisplay_2->setSizePolicy(sizePolicy);
        elapsedDisplay_2->setMinimumSize(QSize(10, 0));
        elapsedDisplay_2->setFrameShape(QFrame::StyledPanel);
        elapsedLabel_2 = new QLabel(runtimeTab);
        elapsedLabel_2->setObjectName(QString::fromUtf8("elapsedLabel_2"));
        elapsedLabel_2->setGeometry(QRect(170, 20, 139, 20));
        stepDisplay_2 = new QLabel(runtimeTab);
        stepDisplay_2->setObjectName(QString::fromUtf8("stepDisplay_2"));
        stepDisplay_2->setGeometry(QRect(80, 20, 81, 16));
        sizePolicy.setHeightForWidth(stepDisplay_2->sizePolicy().hasHeightForWidth());
        stepDisplay_2->setSizePolicy(sizePolicy);
        stepDisplay_2->setFrameShape(QFrame::StyledPanel);
        stepDisplay_2->setFrameShadow(QFrame::Plain);
        stepLabel_2 = new QLabel(runtimeTab);
        stepLabel_2->setObjectName(QString::fromUtf8("stepLabel_2"));
        stepLabel_2->setGeometry(QRect(10, 20, 71, 16));
        statusGroupBox = new QGroupBox(runtimeTab);
        statusGroupBox->setObjectName(QString::fromUtf8("statusGroupBox"));
        statusGroupBox->setGeometry(QRect(0, 0, 471, 61));
        configTabWidget->addTab(runtimeTab, QString());
        historyTab = new QWidget();
        historyTab->setObjectName(QString::fromUtf8("historyTab"));
        histEventView = new QTableView(historyTab);
        histEventView->setObjectName(QString::fromUtf8("histEventView"));
        histEventView->setGeometry(QRect(10, 40, 461, 641));
        stepLabel = new QLabel(historyTab);
        stepLabel->setObjectName(QString::fromUtf8("stepLabel"));
        stepLabel->setGeometry(QRect(10, 10, 71, 16));
        elapsedLabel = new QLabel(historyTab);
        elapsedLabel->setObjectName(QString::fromUtf8("elapsedLabel"));
        elapsedLabel->setGeometry(QRect(160, 10, 139, 20));
        stepDisplay = new QLabel(historyTab);
        stepDisplay->setObjectName(QString::fromUtf8("stepDisplay"));
        stepDisplay->setGeometry(QRect(70, 10, 81, 16));
        sizePolicy.setHeightForWidth(stepDisplay->sizePolicy().hasHeightForWidth());
        stepDisplay->setSizePolicy(sizePolicy);
        stepDisplay->setFrameShape(QFrame::StyledPanel);
        stepDisplay->setFrameShadow(QFrame::Plain);
        elapsedDisplay = new QLabel(historyTab);
        elapsedDisplay->setObjectName(QString::fromUtf8("elapsedDisplay"));
        elapsedDisplay->setGeometry(QRect(300, 10, 101, 16));
        sizePolicy.setHeightForWidth(elapsedDisplay->sizePolicy().hasHeightForWidth());
        elapsedDisplay->setSizePolicy(sizePolicy);
        elapsedDisplay->setMinimumSize(QSize(10, 0));
        elapsedDisplay->setFrameShape(QFrame::StyledPanel);
        configTabWidget->addTab(historyTab, QString());
        m_mainSplitterWidg->addWidget(configTabWidget);
        outputTabWidg = new QTabWidget(m_mainSplitterWidg);
        outputTabWidg->setObjectName(QString::fromUtf8("outputTabWidg"));
        outputTabWidg->setTabPosition(QTabWidget::South);
        outputTabWidg->setTabShape(QTabWidget::Rounded);
        currrentStateTab = new QWidget();
        currrentStateTab->setObjectName(QString::fromUtf8("currrentStateTab"));
        currentStateView = new QTreeView(currrentStateTab);
        currentStateView->setObjectName(QString::fromUtf8("currentStateView"));
        currentStateView->setGeometry(QRect(10, 40, 451, 651));
        outputTabWidg->addTab(currrentStateTab, QString());
        nextStateTab = new QWidget();
        nextStateTab->setObjectName(QString::fromUtf8("nextStateTab"));
        nextStateView = new QTreeView(nextStateTab);
        nextStateView->setObjectName(QString::fromUtf8("nextStateView"));
        nextStateView->setGeometry(QRect(0, 10, 491, 681));
        outputTabWidg->addTab(nextStateTab, QString());
        traceTab = new QWidget();
        traceTab->setObjectName(QString::fromUtf8("traceTab"));
        m_outputWidg = new QTextEdit(traceTab);
        m_outputWidg->setObjectName(QString::fromUtf8("m_outputWidg"));
        m_outputWidg->setGeometry(QRect(11, 31, 479, 649));
        outputTabWidg->addTab(traceTab, QString());
        m_mainSplitterWidg->addWidget(outputTabWidg);
        m_progressWidget = new DESpot::ProgressWidget(centralWidget);
        m_progressWidget->setObjectName(QString::fromUtf8("m_progressWidget"));
        m_progressWidget->setGeometry(QRect(860, 750, 150, 15));
        QSizePolicy sizePolicy1(QSizePolicy::Ignored, QSizePolicy::Ignored);
        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(150, 15));
        m_progressWidget->setMinimum(0);
        m_progressWidget->setMaximum(10);
        m_progressWidget->setValue(5);
        m_progressWidget->setTextVisible(false);
        m_progressWidget->setOrientation(Qt::Horizontal);
        SimHierConfigUI->setCentralWidget(centralWidget);

        retranslateUi(SimHierConfigUI);

        configTabWidget->setCurrentIndex(2);
        outputTabWidg->setCurrentIndex(2);


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

    void retranslateUi(QMainWindow *SimHierConfigUI)
    {
        SimHierConfigUI->setWindowTitle(QApplication::translate("SimHierConfigUI", "Project Editor - <project name>", 0, QApplication::UnicodeUTF8));
        configTabWidget->setTabText(configTabWidget->indexOf(eventChooserTab), QApplication::translate("SimHierConfigUI", "Event Set", 0, QApplication::UnicodeUTF8));
        configTabWidget->setTabText(configTabWidget->indexOf(StartStatesTab), QApplication::translate("SimHierConfigUI", "Start State", 0, QApplication::UnicodeUTF8));
        randomChooseButton->setText(QApplication::translate("SimHierConfigUI", "Random Choose", 0, QApplication::UnicodeUTF8));
        userChooseButton->setText(QApplication::translate("SimHierConfigUI", "User Choose", 0, QApplication::UnicodeUTF8));
        eventChooseGroupBox->setTitle(QApplication::translate("SimHierConfigUI", "Event Choose Mode", 0, QApplication::UnicodeUTF8));
        configTabWidget->setTabText(configTabWidget->indexOf(eligEventTab), QApplication::translate("SimHierConfigUI", "Eligible Event", 0, QApplication::UnicodeUTF8));
        configTabWidget->setTabText(configTabWidget->indexOf(ineligEventTab), QApplication::translate("SimHierConfigUI", "Ineligible Event", 0, QApplication::UnicodeUTF8));
        elapsedDisplay_2->setText(QString());
        elapsedLabel_2->setText(QApplication::translate("SimHierConfigUI", "Elapsed Time (milliseconds)", 0, QApplication::UnicodeUTF8));
        stepDisplay_2->setText(QString());
        stepLabel_2->setText(QApplication::translate("SimHierConfigUI", "Total Steps", 0, QApplication::UnicodeUTF8));
        statusGroupBox->setTitle(QApplication::translate("SimHierConfigUI", "Status", 0, QApplication::UnicodeUTF8));
        configTabWidget->setTabText(configTabWidget->indexOf(runtimeTab), QApplication::translate("SimHierConfigUI", "Dashboard", 0, QApplication::UnicodeUTF8));
        stepLabel->setText(QApplication::translate("SimHierConfigUI", "Total Steps", 0, QApplication::UnicodeUTF8));
        elapsedLabel->setText(QApplication::translate("SimHierConfigUI", "Elapsed Time (milliseconds)", 0, QApplication::UnicodeUTF8));
        stepDisplay->setText(QString());
        elapsedDisplay->setText(QString());
        configTabWidget->setTabText(configTabWidget->indexOf(historyTab), QApplication::translate("SimHierConfigUI", "History", 0, QApplication::UnicodeUTF8));
        outputTabWidg->setTabText(outputTabWidg->indexOf(currrentStateTab), QApplication::translate("SimHierConfigUI", "Current State Tuple", 0, QApplication::UnicodeUTF8));
        outputTabWidg->setTabText(outputTabWidg->indexOf(nextStateTab), QApplication::translate("SimHierConfigUI", "Next State Tuple", 0, QApplication::UnicodeUTF8));
        m_outputWidg->setHtml(QApplication::translate("SimHierConfigUI", "<!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 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:'MS Shell Dlg'; font-size:8pt;\"></p></body></html>", 0, QApplication::UnicodeUTF8));
        outputTabWidg->setTabText(outputTabWidg->indexOf(traceTab), QApplication::translate("SimHierConfigUI", "Trace", 0, QApplication::UnicodeUTF8));
        Q_UNUSED(SimHierConfigUI);
    } // retranslateUi

};

namespace Ui {
    class SimHierConfigUI: public Ui_SimHierConfigUI {};
} // namespace Ui

QT_END_NAMESPACE

#endif // UI_SIMHIERCONFIG_H
