bool PlannerThread::plan_init() { checkPause(); if (!resetPlanVars()) { return false; } checkPause(); if (!updateState()) { return false; } checkPause(); if (!loadState()) { return false; } checkPause(); if (!groundRules()) { return false; } checkPause(); if (!completePlannerState()) { return false; } checkPause(); if (!preserveState()) { return false; } checkPause(); if (!compileGoal()) { return false; } checkPause(); if (!loadRules()) { return false; } checkPause(); if (!preserveRules()) { return false; } checkPause(); if (!goalUpdate()) { return false; } checkPause(); if (!loadGoal()) { return false; } checkPause(); return true; }
XkbRules::XkbRules(bool layoutsOnly) { #ifdef HAVE_XKLAVIER loadNewRules(layoutsOnly); #else X11_DIR = X11Helper::findX11Dir(); if( X11_DIR == NULL ) { kError() << "Cannot find X11 directory!" << endl; // throw Exception(); return; } QString rulesFile = X11Helper::findXkbRulesFile(X11_DIR, QX11Info::display()); if( rulesFile.isEmpty() ) { kError() << "Cannot find rules file in " << X11_DIR << endl; // throw Exception(); return; } loadRules(rulesFile, layoutsOnly); #endif }
void LayoutConfig::defaults() { loadRules(); m_kxkbConfig.setDefaults(); initUI(); emit KCModule::changed(true); }
Game::Game(std::istream &stream) { pleaseWait(); loadPuzzle(solvedPuzzle, stream); loadRules(rules, stream); memcpy(savedSolvedPuzzle, solvedPuzzle, sizeof(solvedPuzzle)); savedRules = rules; possibilities = new Possibilities(stream); puzzle = new Puzzle(iconSet, solvedPuzzle, possibilities); verHints = new VertHints(iconSet, rules, stream); horHints = new HorHints(iconSet, rules, stream); watch = new Watch(stream); hinted = true; }
SimpleStochasticSimulator::SimpleStochasticSimulator( std::string rulesfile, std::string modelfile ) : SimpleSimulator() { loadRules(rulesfile); loadModel(modelfile); std::cout << "Prior to initialization there are " << getNumSpecies() << " species and " << getNumRxns() << " reactions" << std::endl; recordNewReactions(); initialize(); std::cout << "After initialization there are " << getNumSpecies() << " species and " << getNumRxns() << " reactions" << std::endl; }
void RuleBlock::reloadRules(const Engine* engine) { unloadRules(); loadRules(engine); }
LayoutConfig::LayoutConfig(QWidget *parent, const char *name) : KCModule(parent, name), m_rules(NULL) { QVBoxLayout *main = new QVBoxLayout(this, 0, KDialog::spacingHint()); widget = new LayoutConfigWidget(this, "widget"); main->addWidget(widget); connect(widget->chkEnable, SIGNAL(toggled(bool)), this, SLOT(changed())); connect(widget->chkShowSingle, SIGNAL(toggled(bool)), this, SLOT(changed())); connect(widget->chkShowFlag, SIGNAL(toggled(bool)), this, SLOT(changed())); connect(widget->comboModel, SIGNAL(activated(int)), this, SLOT(changed())); connect(widget->listLayoutsSrc, SIGNAL(doubleClicked(QListViewItem *, const QPoint &, int)), this, SLOT(add())); connect(widget->btnAdd, SIGNAL(clicked()), this, SLOT(add())); connect(widget->btnRemove, SIGNAL(clicked()), this, SLOT(remove())); connect(widget->comboVariant, SIGNAL(activated(int)), this, SLOT(changed())); connect(widget->comboVariant, SIGNAL(activated(int)), this, SLOT(variantChanged())); connect(widget->listLayoutsDst, SIGNAL(selectionChanged(QListViewItem *)), this, SLOT(layoutSelChanged(QListViewItem *))); connect(widget->editDisplayName, SIGNAL(textChanged(const QString &)), this, SLOT(displayNameChanged(const QString &))); connect(widget->chkLatin, SIGNAL(clicked()), this, SLOT(changed())); connect(widget->chkLatin, SIGNAL(clicked()), this, SLOT(latinChanged())); widget->btnUp->setIconSet(SmallIconSet("1uparrow")); connect(widget->btnUp, SIGNAL(clicked()), this, SLOT(changed())); connect(widget->btnUp, SIGNAL(clicked()), this, SLOT(moveUp())); widget->btnDown->setIconSet(SmallIconSet("1downarrow")); connect(widget->btnDown, SIGNAL(clicked()), this, SLOT(changed())); connect(widget->btnDown, SIGNAL(clicked()), this, SLOT(moveDown())); connect(widget->grpSwitching, SIGNAL(clicked(int)), SLOT(changed())); connect(widget->chkEnableSticky, SIGNAL(toggled(bool)), this, SLOT(changed())); connect(widget->spinStickyDepth, SIGNAL(valueChanged(int)), this, SLOT(changed())); widget->listLayoutsSrc->setColumnText(LAYOUT_COLUMN_FLAG, ""); widget->listLayoutsDst->setColumnText(LAYOUT_COLUMN_FLAG, ""); widget->listLayoutsDst->setColumnText(LAYOUT_COLUMN_INCLUDE, ""); // widget->listLayoutsDst->setColumnText(LAYOUT_COLUMN_DISPLAY_NAME, ""); widget->listLayoutsSrc->setColumnWidth(LAYOUT_COLUMN_FLAG, 28); widget->listLayoutsDst->setColumnWidth(LAYOUT_COLUMN_FLAG, 28); widget->listLayoutsDst->header()->setResizeEnabled(FALSE, LAYOUT_COLUMN_INCLUDE); widget->listLayoutsDst->header()->setResizeEnabled(FALSE, LAYOUT_COLUMN_DISPLAY_NAME); widget->listLayoutsDst->setColumnWidthMode(LAYOUT_COLUMN_INCLUDE, QListView::Manual); widget->listLayoutsDst->setColumnWidth(LAYOUT_COLUMN_INCLUDE, 0); // widget->listLayoutsDst->setColumnWidth(LAYOUT_COLUMN_DISPLAY_NAME, 0); widget->listLayoutsDst->setSorting(-1); #if 0 widget->listLayoutsDst->setResizeMode(QListView::LastColumn); widget->listLayoutsSrc->setResizeMode(QListView::LastColumn); #endif widget->listLayoutsDst->setResizeMode(QListView::LastColumn); // Read rules - we _must_ read _before_ creating xkb-options comboboxes loadRules(); makeOptionsTab(); load(); }
bool PlannerThread::planning_cycle() { checkPause(); if (!updateState()) { return false; } checkPause(); if (!completePlannerState()) { return false; } checkPause(); if (!loadState()) { return false; } checkPause(); if (compareState()) { checkPause(); if (!adaptRules()) { return false; } checkPause(); } checkPause(); if (!goalUpdate()) { return false; } checkPause(); if (!loadGoal()) { return false; } checkPause(); if (!planCompletion()) { return true; } checkPause(); if (!checkHoldingSymbols()) { checkPause(); jumpBack(); checkPause(); if (!resetConfig()) { return false; } checkPause(); } else { checkPause(); if (checkGoalCompletion()) { checkPause(); if (!resetRules()) { return false; } checkPause(); if (!resetConfig()) { return false; } checkPause(); if (!loadRules()) { return false; } checkPause(); if (!jumpForward()) { return false; } checkPause(); return true; } checkPause(); int flag_prada = PRADA(); checkPause(); if (flag_prada == 0) { return false; } else if (flag_prada == 2) { if (!increaseHorizon()) { return false; } checkPause(); return true; } if (!loadUsedObjs()) { return false; } checkPause(); if (!codeAction()) { return false; } checkPause(); if (!execAction()) { return false; } checkPause(); if (!preserveState()) { return false; } checkPause(); if (!checkFailure()) { return false; } checkPause(); } checkPause(); return true; }
int main(int argc, const char * argv[]) { Bool result = TRUE; if ((argc < 2) || (argc > 3)) { printf(USAGE); return -1; } if (strcmp(argv[1], LOAD_RULES) == 0) { if (argc != 3) { printf("A path to a rules file must be specified in order to load rules.\n"); return -1; } else { result = loadRules(argv[2]); if (!result) { return -1; } return 0; } } else if (strcmp(argv[1], LOAD_HOSTS) == 0) { if (argc != 3) { printf("A path to a hosts file must be specified in order to load hosts.\n"); return -1; } else { result = loadHosts(argv[2]); if (!result) { return -1; } return 0; } } else if (argc != 2) { printf("Any action other than %s, %s must not take any parameters.\n", LOAD_RULES, LOAD_HOSTS); return -1; } if (strcmp(argv[1], ACTIVATE) == 0) { result = activate(); } else if (strcmp(argv[1], DEACTIVATE) == 0) { result = deactivate(); } else if (strcmp(argv[1], SHOW_RULES) == 0) { result = showRules(); } else if (strcmp(argv[1], CLEAR_RULES) == 0) { result = clearRules(); } else if (strcmp(argv[1], SHOW_LOG) == 0) { result = showLog(); } else if (strcmp(argv[1], CLEAR_LOG) == 0) { result = clearLog(); } else if (strcmp(argv[1], SHOW_CONNECTION_TABLE) == 0) { result = showConnectionTable(); } else if (strcmp(argv[1], SHOW_HOSTS) == 0) { result = showHosts(); } else { printf("The only valid actions are: %s, %s, %s, %s, %s, %s, %s, %s\n", ACTIVATE, DEACTIVATE, SHOW_RULES, CLEAR_RULES, LOAD_RULES, SHOW_LOG, CLEAR_LOG, SHOW_CONNECTION_TABLE, SHOW_HOSTS, LOAD_HOSTS); } if (result) { return 0; } else { return -1; } }