| /dports/math/z3/z3-z3-4.8.13/src/tactic/core/ |
| H A D | symmetry_reduce_tactic.cpp | 107 typedef ptr_vector<app> term_set; typedef in symmetry_reduce_tactic::imp
135 term_set T, cts; in operator ()()
138 term_set& consts = P[i]; in operator ()()
465 void select_terms(expr* fml, term_set const& p, term_set& T) { in select_terms()
534 term_set& cts, term_set const& consts, app_map const& occs) { in select_most_promising_term()
561 term_set const& m_S;
562 term_set& m_r;
564 member_of(term_set const& S, term_set& r) : m_S(S), m_r(r) {} in member_of()
573 void compute_used_in(app* t, term_set& cts, term_set const& consts) { in compute_used_in()
591 unsigned compute_cts_delta(app* t, term_set& cts, term_set const& consts) { in compute_cts_delta()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/core/ |
| H A D | symmetry_reduce_tactic.cpp | 107 typedef ptr_vector<app> term_set; typedef in symmetry_reduce_tactic::imp
135 term_set T, cts; in operator ()()
138 term_set& consts = P[i]; in operator ()()
469 void select_terms(expr* fml, term_set const& p, term_set& T) { in select_terms()
538 term_set& cts, term_set const& consts, app_map const& occs) { in select_most_promising_term()
565 term_set const& m_S;
566 term_set& m_r;
568 member_of(term_set const& S, term_set& r) : m_S(S), m_r(r) {} in member_of()
577 void compute_used_in(app* t, term_set& cts, term_set const& consts) { in compute_used_in()
595 unsigned compute_cts_delta(app* t, term_set& cts, term_set const& consts) { in compute_cts_delta()
[all …]
|
| /dports/audio/baresip/baresip-0.5.8/modules/stdio/ |
| H A D | stdio.c | 32 bool term_set; member
46 if (st->term_set) in ui_destructor()
113 st->term_set = true; in term_setup()
|
| /dports/www/ilias/ILIAS-5.4.25/Modules/Glossary/classes/ |
| H A D | class.ilGlossaryTerm.php | 60 $term_set = $ilDB->query($q);
61 $term_rec = $ilDB->fetchAssoc($term_set);
89 $term_set = $ilDB->query($q);
90 while ($term_rec = $ilDB->fetchAssoc($term_set)) {
455 $term_set = $ilDB->query($q);
457 while ($term_rec = $ilDB->fetchAssoc($term_set)) {
|
| /dports/www/ilias6/ILIAS-6.14/Modules/Glossary/classes/ |
| H A D | class.ilGlossaryTerm.php | 58 $term_set = $ilDB->query($q);
59 $term_rec = $ilDB->fetchAssoc($term_set);
87 $term_set = $ilDB->query($q);
88 while ($term_rec = $ilDB->fetchAssoc($term_set)) {
449 $term_set = $ilDB->query($q);
451 while ($term_rec = $ilDB->fetchAssoc($term_set)) {
|
| /dports/devel/p5-Term-ReadLine-Gnu/Term-ReadLine-Gnu-1.42/ |
| H A D | Gnu.pm | 149 term_set => ['', '', '', ''],
347 $prompt = ${$Attribs{term_set}}[0] . $prompt . ${$Attribs{term_set}}[1];
564 $prompt = ${$Attribs{term_set}}[0] . $prompt . ${$Attribs{term_set}}[1];
|
| /dports/biology/py-goatools/goatools-1.1.6/goatools/ |
| H A D | obo_parser.py | 275 term_set
276 for r, term_set in self.relationship.items()
292 term_set
293 for r, term_set in self.relationship_rev.items()
|
| /dports/math/gnuplot-lite/gnuplot-5.4.1/src/ |
| H A D | readline.c | 264 static int term_set = 0; /* =1 if rl_termio set */ variable
1571 if (term_set == 0) { in set_termio()
1670 term_set = 1; in set_termio()
1680 if (term_set == 1) { in reset_termio()
1699 term_set = 0; in reset_termio()
|
| /dports/math/gnuplot/gnuplot-5.4.1/src/ |
| H A D | readline.c | 264 static int term_set = 0; /* =1 if rl_termio set */ variable
1571 if (term_set == 0) { in set_termio()
1670 term_set = 1; in set_termio()
1680 if (term_set == 1) { in reset_termio()
1699 term_set = 0; in reset_termio()
|
| /dports/math/gnuplot-tex-extras/gnuplot-5.2.8/src/ |
| H A D | readline.c | 256 static int term_set = 0; /* =1 if rl_termio set */ variable
1556 if (term_set == 0) { in set_termio()
1655 term_set = 1; in set_termio()
1665 if (term_set == 1) { in reset_termio()
1684 term_set = 0; in reset_termio()
|
| /dports/news/trn4/trn-4.0-test77/ |
| H A D | init.c | 125 term_set(tcbuf);
|
| /dports/ftp/bsdftpd-ssl/bsdftpd-ssl-1.1.0/contrib/libedit/ |
| H A D | term.h | 102 protected int term_set __P((EditLine *, char *));
|
| H A D | el.c | 190 rv = term_set(el, va_arg(va, char *)); in el_set()
|
| /dports/comms/picocom/picocom-3.1/ |
| H A D | term.h | 526 int term_set (int fd,
|
| /dports/devel/py-poetry-core/poetry-core-1.0.7/poetry/core/_vendor/lark/ |
| H A D | load_grammar.py | 307 self.term_set = {td.name for td in self.terminals}
329 … if value.isalnum() and value[0].isalpha() and value.upper() not in self.term_set:
334 if term_name in self.term_set:
347 if term_name not in self.term_set:
349 self.term_set.add(term_name)
|
| /dports/math/py-statsmodels/statsmodels-0.13.1/statsmodels/stats/ |
| H A D | anova.py | 188 term_set = set(term.factors)
191 if term_set.issubset(other_set) and not term_set == other_set:
|
| /dports/news/trn/trn-3.6/ |
| H A D | init.c | 121 term_set(tcbuf);
|
| /dports/graphics/bmeps/dktools-4.31.1/src/prmonsnmp/ |
| H A D | prmonsnmp.c | 1783 int term_set = 0; in main() local
1834 term_set = 1; in main()
1944 if (0 != term_set) { in main()
|
| /dports/devel/py-lark-parser/lark-parser-0.12.0/lark/ |
| H A D | load_grammar.py | 420 self.term_set = {td.name for td in self.terminals}
442 …f value and is_id_continue(value) and is_id_start(value[0]) and value.upper() not in self.term_set:
445 if term_name in self.term_set:
458 if term_name not in self.term_set:
460 self.term_set.add(term_name)
|
| /dports/devel/boost-docs/boost_1_72_0/boost/graph/ |
| H A D | vf2_sub_graph_iso.hpp | 278 term_set() const { in term_set() function in boost::detail::base_state
632 term1 = state1_.term_set(); in valid()
633 term2 = state2_.term_set(); in valid()
|
| /dports/devel/hyperscan/boost_1_75_0/boost/graph/ |
| H A D | vf2_sub_graph_iso.hpp | 306 boost::tuple< size_type, size_type, size_type > term_set() const in term_set() function in boost::detail::base_state
716 term1 = state1_.term_set(); in valid()
717 term2 = state2_.term_set(); in valid()
|
| /dports/devel/R-cran-BH/BH/inst/include/boost/graph/ |
| H A D | vf2_sub_graph_iso.hpp | 306 boost::tuple< size_type, size_type, size_type > term_set() const in term_set() function in boost::detail::base_state
716 term1 = state1_.term_set(); in valid()
717 term2 = state2_.term_set(); in valid()
|
| /dports/databases/percona57-pam-for-mysql/boost_1_59_0/boost/graph/ |
| H A D | vf2_sub_graph_iso.hpp | 281 term_set() const { in term_set() function in boost::detail::base_state
635 term1 = state1_.term_set(); in valid()
636 term2 = state2_.term_set(); in valid()
|
| /dports/math/stanmath/math-4.2.0/lib/boost_1.75.0/boost/graph/ |
| H A D | vf2_sub_graph_iso.hpp | 306 boost::tuple< size_type, size_type, size_type > term_set() const in term_set() function in boost::detail::base_state
716 term1 = state1_.term_set(); in valid()
717 term2 = state2_.term_set(); in valid()
|
| /dports/science/py-scipy/scipy-1.7.1/scipy/_lib/boost/boost/graph/ |
| H A D | vf2_sub_graph_iso.hpp | 306 boost::tuple< size_type, size_type, size_type > term_set() const in term_set() function in boost::detail::base_state
716 term1 = state1_.term_set(); in valid()
717 term2 = state2_.term_set(); in valid()
|