| /dports/math/z3/z3-z3-4.8.13/examples/userPropagator/ |
| H A D | example.cpp | 64 int solutionId = 1; member in user_propagator
69 return solutionId - 1; in getModelCount()
78 Write("Model #" << solutionId << ":\n"); in final()
79 solutionId++; in final()
224 int solutionId = 1; in test01() local
235 WriteLine("Model #" + to_string(solutionId) + ":"); in test01()
236 solutionId++; in test01()
250 return solutionId - 1; in test01()
|
| /dports/www/ilias6/ILIAS-6.14/Services/AssessmentQuestion/examples/ |
| H A D | class.exTestPlayerGUI.php | 182 $solutionId = 0;
184 if ($solutionId) {
185 return $DIC->question()->getQuestionSolutionInstance($questionId, $solutionId);
|
| /dports/astro/gpstk/GPSTk-8.0.0/core/lib/FileHandling/SINEX/ |
| H A D | SinexTypes.cpp | 632 ss << ' ' << formatStr(solutionId, 4); in operator std::string()
656 solutionId = line.substr(9, 4); in operator =()
700 ss << ' ' << formatStr(solutionId, 4); in operator std::string()
723 solutionId = line.substr(9, 4); in operator =()
852 ss << ' ' << formatStr(solutionId, 4); in operator std::string()
877 solutionId = line.substr(9, 4); in operator =()
1083 solutionId = line.substr(9, 4); in operator =()
1192 solutionId = line.substr(9, 4); in operator =()
1260 solutionId = line.substr(22, 4); in operator =()
1330 solutionId = line.substr(22, 4); in operator =()
[all …]
|
| H A D | SinexTypes.hpp | 431 std::string solutionId; ///< Solution number at a site member
468 std::string solutionId; ///< Solution number at a site member
594 std::string solutionId; ///< Solution number at a site member
701 std::string solutionId; ///< Solution number at a site member
766 std::string solutionId; ///< Solution number at a site member
803 std::string solutionId; ///< Solution number at a site member
841 std::string solutionId; ///< Solution number at a site member
1209 std::string solutionId; ///< Solution number at a site member
|
| /dports/www/ilias6/ILIAS-6.14/Services/AssessmentQuestion/interfaces/ |
| H A D | interface.ilAsqQuestionSolution.php | 15 * @param integer $solutionId
17 public function setSolutionId($solutionId); argument
|
| /dports/www/ilias6/ILIAS-6.14/Services/AssessmentQuestion/classes/ |
| H A D | class.ilAsqFactory.php | 203 * @param integer $solutionId
206 public function getQuestionSolutionInstance($questionId, $solutionId) : ilAsqQuestionSolution argument
215 $questionSolutionInstance->setSolutionId($solutionId);
|
| /dports/www/phpmyfaq/phpmyfaq/src/phpMyFAQ/Instance/ |
| H A D | Elasticsearch.php | 308 * @param int $solutionId
311 public function delete($solutionId) argument
316 'id' => $solutionId
|
| /dports/www/phpmyfaq/phpmyfaq/admin/ |
| H A D | record.save.php | 78 $solutionId = Filter::filterInput(INPUT_POST, 'solution_id', FILTER_VALIDATE_INT); variable
214 $esInstance->delete($solutionId);
220 'solution_id' => $solutionId,
|
| H A D | record.add.php | 67 $solutionId = Filter::filterInput(INPUT_POST, 'solution_id', FILTER_VALIDATE_INT); variable
208 'solution_id' => $solutionId,
284 <input type="hidden" name="solution_id" value="<?= $solutionId ?>">
|
| H A D | ajax.autosave.php | 66 $solutionId = Filter::filterInput(INPUT_POST, 'solutionId', FILTER_VALIDATE_INT); variable
|
| /dports/www/phpmyfaq/phpmyfaq/src/phpMyFAQ/Helper/ |
| H A D | SearchHelper.php | 151 $solutionId = $faq->getSolutionIdFromId($result->id, $result->lang);
153 $solutionId = $result->solution_id;
157 … $currentUrl = $this->config->getDefaultUrl() . sprintf('index.php?solution_id=%d', $solutionId);
|
| /dports/www/phpmyfaq/phpmyfaq/ |
| H A D | index.php | 341 $solutionId = Filter::filterInput(INPUT_GET, 'solution_id', FILTER_VALIDATE_INT); variable
342 if (!is_null($solutionId)) {
345 $faqData = $faq->getIdFromSolutionId($solutionId);
420 if (isset($solutionId) && is_numeric($solutionId)) {
|
| H A D | faq.php | 74 $solutionId = Filter::filterInput(INPUT_GET, 'solution_id', FILTER_VALIDATE_INT); variable
77 if (0 === (int)$solutionId) {
80 $faq->getRecordBySolutionId($solutionId);
|
| /dports/www/ilias/ILIAS-5.4.25/Modules/TestQuestionPool/classes/questions/ |
| H A D | class.ilAssOrderingElement.php | 484 list($randomId, $solutionId, $pos, $indent) = explode(
490 $this->setSolutionIdentifier($solutionId);
|
| /dports/www/ilias/ILIAS-5.4.25/Modules/TestQuestionPool/classes/ |
| H A D | class.ilAssQuestionUserSolutionAdopter.php | 214 $solutionId = $this->db->nextId('tst_solutions');
217 $solutionId, $this->getActiveId(), $questionId, $this->getTargetPass(), time(),
|
| H A D | class.assFileUpload.php | 688 foreach ($_POST[self::REUSE_FILES_TBL_POSTVAR] as $solutionId) {
689 $solution = $this->getSolutionRecordById($solutionId);
|
| H A D | class.assQuestion.php | 4757 protected function removeSolutionRecordById($solutionId) argument
4765 array($solutionId)
4776 protected function getSolutionRecordById($solutionId) argument
4784 array($solutionId)
4901 public function updateCurrentSolution($solutionId, $value1, $value2, $authorized = true) argument
4918 'solution_id' => array('integer', $solutionId)
|
| /dports/www/ilias6/ILIAS-6.14/Modules/TestQuestionPool/classes/ |
| H A D | class.ilAssQuestionUserSolutionAdopter.php | 214 $solutionId = $this->db->nextId('tst_solutions');
217 $solutionId, $this->getActiveId(), $questionId, $this->getTargetPass(), time(),
|
| H A D | class.assFileUpload.php | 694 foreach ($_POST[self::REUSE_FILES_TBL_POSTVAR] as $solutionId) {
695 $solution = $this->getSolutionRecordById($solutionId);
|
| H A D | class.assQuestion.php | 4778 protected function removeSolutionRecordById($solutionId) argument
4786 array($solutionId)
4797 protected function getSolutionRecordById($solutionId) argument
4805 array($solutionId)
4922 public function updateCurrentSolution($solutionId, $value1, $value2, $authorized = true) argument
4939 'solution_id' => array('integer', $solutionId)
|
| /dports/www/ilias6/ILIAS-6.14/Modules/TestQuestionPool/classes/questions/ |
| H A D | class.ilAssOrderingElement.php | 484 list($randomId, $solutionId, $pos, $indent) = explode(
490 $this->setSolutionIdentifier($solutionId);
|
| /dports/www/phpmyfaq/phpmyfaq/src/phpMyFAQ/ |
| H A D | Faq.php | 1070 $solutionId = $this->getSolutionIdFromId($recordId, $recordLang);
1151 $esInstance->delete($solutionId);
1331 * @param int $solutionId Solution ID
1333 public function getRecordBySolutionId($solutionId) argument
1354 $solutionId,
1399 * @param int $solutionId Solution ID
1403 public function getIdFromSolutionId($solutionId) argument
1425 $solutionId
|