std::map<std::string, size_t> Server::conjecture (
const std::string & diverge_out,
const std::string & equal_out,
size_t max_count)
{
POMAGMA_ASSERT_LT(0, max_count);
crop();
std::vector<float> probs;
std::vector<std::string> routes;
auto language = load_language(m_language_file);
{
Router router(m_structure.signature(), language);
probs = router.measure_probs();
routes = router.find_routes();
}
std::map<std::string, size_t> counts;
counts["diverge"] = pomagma::conjecture_diverge(
m_structure,
probs,
routes,
diverge_out.c_str());
counts["equal"] = pomagma::conjecture_equal(
m_structure,
probs,
routes,
equal_out.c_str(),
max_count);
return counts;
}
void
gsview_language(int new_language)
{
if (load_language(new_language)) {
check_menu_item(IDM_LANGMENU, option.language, FALSE);
option.language = new_language;
check_menu_item(IDM_LANGMENU, option.language, TRUE);
change_language();
}
}
void StringsEditor::on_languageSelector_comboBox_currentTextChanged(const QString &arg1)
{
if (data_loading) { return; }
save_data();
current_lang = arg1.toStdString();
data_loading = true;
std::string path_new = FILEPATH + std::string("/lang/strings_ingame_") + arg1.toStdString() + std::string(".dat");
load_language(path_new);
fill_translation();
data_loading = false;
}
void StringsEditor::on_addLanguage_pushButton_clicked()
{
data_loading = true;
std::string path_old = FILEPATH + std::string("/strings_ingame_v4.dat");
std::string path_new = FILEPATH + std::string("/lang/strings_ingame_") + ui->languageName_lineEdit->text().toStdString() + std::string(".dat");
QFile::copy(path_old.c_str(), path_new.c_str());
load_language(path_new);
ui->languageSelector_comboBox->addItem(ui->languageName_lineEdit->text().toStdString().c_str());
ui->languageSelector_comboBox->setEnabled(true);
data_loading = false;
}
size_t conjecture_diverge(Structure& structure, const char* language_file,
const char* conjectures_file) {
std::vector<float> probs;
std::vector<std::string> routes;
auto language = load_language(language_file);
{
Router router(structure.signature(), language);
probs = router.measure_probs();
routes = router.find_routes();
}
return conjecture_diverge(structure, probs, routes, conjectures_file);
}
Server::Server (
const char * structure_file,
const char * language_file)
: m_structure(structure_file),
m_approximator(m_structure),
m_probs(),
m_routes(),
m_simplifier(m_structure.signature(), m_routes)
{
if (POMAGMA_DEBUG_LEVEL > 1) {
m_structure.validate();
}
auto language = load_language(language_file);
Router router(m_structure.signature(), language);
m_probs = router.measure_probs();
m_routes = router.find_routes();
}
Server::Server(const char* structure_file, const char* language_file)
: m_language(load_language(language_file)),
m_structure(structure_file),
m_return(m_structure.carrier()),
m_nreturn(m_structure.carrier()),
m_dense_set_store(m_structure.carrier().item_dim()),
m_worker_pool(),
m_intervals_approximator(m_structure, m_dense_set_store, m_worker_pool),
m_approximator(m_structure),
m_approximate_parser(m_approximator),
m_probs(),
m_routes(),
m_simplifier(m_structure.signature(), m_routes, m_error_log),
m_corpus(m_structure.signature()),
m_validator(m_approximator),
m_parser(),
m_virtual_machine() {
// parser and virtual_machine must be loaded after RETURN is delclared.
Signature& signature = m_structure.signature();
POMAGMA_ASSERT(not signature.unary_relation("RETURN"),
"reserved name RETURN is defined in loaded structure");
POMAGMA_ASSERT(not signature.unary_relation("NRETURN"),
"reserved name NRETURN is defined in loaded structure");
signature.declare("RETURN", m_return);
signature.declare("NRETURN", m_nreturn);
m_parser.load(signature);
m_virtual_machine.load(signature);
if (POMAGMA_DEBUG_LEVEL > 1) {
m_structure.validate();
}
Router router(m_structure.signature(), m_language);
m_probs = router.measure_probs();
m_routes = router.find_routes();
}
StringsEditor::StringsEditor(QWidget *parent, bool pick_mode) : QDialog(parent), ui(new Ui::StringsEditor), string_edit_model(this), target_qline(NULL), target_property(NULL)
{
pick_mode_enabled = pick_mode;
string_list = fio_str.load_game_strings();
ui->setupUi(this);
data_loading = true;
// ==================== GAME STRINGS ==================== //
fill_data();
QObject::connect(&signal_mapper, SIGNAL(mapped(const int &)), this, SLOT(on_text_changed(const int &)));
for (int i=0; i<string_list.size(); i++) {
QLabel* line_text = new QLabel();
line_text->setText(QString(string_list.at(i).c_str()));
ui->tabGame_gridLayout->addWidget(line_text, i, 0);
QLineEdit* line_editor = new QLineEdit();
editor_line_list.push_back(line_editor);
line_editor->setEnabled(false);
ui->tabGame_gridLayout->addWidget(line_editor, i, 1);
signal_mapper.setMapping(line_editor, i);
QObject::connect(line_editor, SIGNAL(textChanged(QString)), &signal_mapper, SLOT(map()));
}
if (ui->languageSelector_comboBox->count() > 0) {
current_lang = ui->languageSelector_comboBox->currentText().toStdString();
std::string path_new = FILEPATH + std::string("/lang/strings_ingame_") + current_lang + std::string(".dat");
load_language(path_new);
}
// ==================== COMMON STRINGS ==================== //
std::vector<std::string> common_string_list = fio_str.get_common_strings();
/*
common_string_list.push_back(CURRENT_FILE_FORMAT::st_file_common_string("NOME #1", "VALOR #1"));
common_string_list.push_back(CURRENT_FILE_FORMAT::st_file_common_string("NOME #2", "VALOR #2"));
common_string_list.push_back(CURRENT_FILE_FORMAT::st_file_common_string("NOME #3", "VALOR #3"));
*/
string_edit_model.set_data(common_string_list);
string_edit_model.set_pick_mode(pick_mode_enabled);
ui->commonStrings_tableView->setModel(&string_edit_model);
#if QT_VERSION >= 0x050000
ui->commonStrings_tableView->horizontalHeader()->setSectionResizeMode(QHeaderView::Stretch); // Qt5
#else
ui->commonStrings_tableView->horizontalHeader()->setStretchLastSection(true); // Qt4
#endif
data_loading = false;
if (pick_mode_enabled == true) {
ui->tabWidget->setTabEnabled(0, false);
ui->addLanguage_pushButton->setVisible(false);
ui->languageName_lineEdit->setVisible(false);
ui->addCommonString_pushButton->setVisible(false);
ui->tabWidget->setCurrentIndex(1);
}
}
