Home
last modified time | relevance | path

Searched refs:getTermList (Results 1 – 25 of 35) sorted by relevance

12

/dports/www/ilias6/ILIAS-6.14/Modules/Glossary/classes/
H A Dclass.ilObjGlossary.php486 public function getTermList( function in ilObjGlossary
502 $list = ilGlossaryTerm::getTermList(
699 $terms = $this->getTermList();
752 $terms = $this->getTermList();
850 $terms = $this->getTermList();
974 foreach (ilGlossaryTerm::getTermList($this->getRefId()) as $term) {
1057 $terms = ilGlossaryTerm::getTermList($a_glo_ref_id);
1060 $source_terms = ilGlossaryTerm::getTermList($this->getRefId());
H A Dclass.ilGlossaryForeignTermTableGUI.php44 $terms = $this->glossary->getTermList();
H A Dclass.ilGlossaryExporter.php51 $terms = ilGlossaryTerm::getTermList(
H A Dclass.ilTermQuickListTableGUI.php47 $this->setData($this->glossary->getTermList("", "", "", 0, false, false, null, true));
H A Dclass.ilTermListTableGUI.php117 $this->setData($this->glossary->getTermList(
H A Dclass.ilGlossaryTerm.php361 public static function getTermList( function in ilGlossaryTerm
/dports/www/ilias/ILIAS-5.4.25/Modules/Glossary/classes/
H A Dclass.ilObjGlossary.php499 public function getTermList( function in ilObjGlossary
515 $list = ilGlossaryTerm::getTermList(
848 $terms = $this->getTermList();
982 $terms = $this->getTermList();
1038 $terms = $this->getTermList();
1141 $terms = $this->getTermList();
1273 foreach (ilGlossaryTerm::getTermList($this->getRefId()) as $term) {
1358 $terms = ilGlossaryTerm::getTermList($a_glo_ref_id);
1361 $source_terms = ilGlossaryTerm::getTermList($this->getRefId());
H A Dclass.ilGlossaryForeignTermTableGUI.php48 $terms = $this->glossary->getTermList();
H A Dclass.ilTermQuickListTableGUI.php51 $this->setData($this->glossary->getTermList("", "", "", 0, false, false, null, true));
H A Dclass.ilGlossaryExporter.php57 $terms = ilGlossaryTerm::getTermList(
H A Dclass.ilPresentationListTableGUI.php120 $this->setData($this->glossary->getTermList(
H A Dclass.ilTermListTableGUI.php124 $this->setData($this->glossary->getTermList(
H A Dclass.ilGlossaryTerm.php366 public static function getTermList( function in ilGlossaryTerm
H A Dclass.ilGlossaryPresentationGUI.php1183 $terms = $this->glossary->getTermList();
1264 $ts = $this->glossary->getTermList();
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/
H A Dsygus_module.h72 virtual void getTermList(const std::vector<Node>& candidates,
H A Dcegis.h51 virtual void getTermList(const std::vector<Node>& candidates,
H A Dsygus_pbe.h118 void getTermList(const std::vector<Node>& candidates,
H A Dcegis_unif.h208 void getTermList(const std::vector<Node>& candidates,
H A Dsynth_conjecture.cpp319 d_master->getTermList(d_candidates, terms); in doCheck()
1032 d_master->getTermList(d_candidates, terms); in excludeCurrentSolution()
H A Dcegis.cpp100 void Cegis::getTermList(const std::vector<Node>& candidates, in getTermList() function in CVC4::theory::quantifiers::Cegis
H A Dsygus_pbe.cpp421 void SygusPbe::getTermList(const std::vector<Node>& candidates, in getTermList() function in CVC4::theory::quantifiers::SygusPbe
H A Dcegis_unif.cpp88 void CegisUnif::getTermList(const std::vector<Node>& candidates, in getTermList() function in CVC4::theory::quantifiers::CegisUnif
/dports/www/ilias6/ILIAS-6.14/Modules/Glossary/Export/
H A DGlossaryHtmlExport.php187 $terms = $this->glossary->getTermList();
/dports/www/ilias6/ILIAS-6.14/Modules/Glossary/Presentation/
H A Dclass.ilPresentationListTableGUI.php119 $this->setData($this->glossary->getTermList(
H A Dclass.ilGlossaryPresentationGUI.php1119 $terms = $this->glossary->getTermList();
1202 $ts = $this->glossary->getTermList();

12