Home
last modified time | relevance | path

Searched refs:Term (Results 1 – 25 of 4865) sorted by relevance

12345678910>>...195

/dports/lang/yap/yap-6.2.2/H/
H A Deval.h176 Term STD_PROTO(Yap_eval_binary,(Int,Term,Term));
228 Term STD_PROTO(Yap_gmq_rdiv_big_big,(Term, Term));
247 Term STD_PROTO(Yap_gmp_add_big_big,(Term, Term));
248 Term STD_PROTO(Yap_gmp_sub_big_big,(Term, Term));
249 Term STD_PROTO(Yap_gmp_mul_big_big,(Term, Term));
250 Term STD_PROTO(Yap_gmp_div_big_big,(Term, Term));
253 Term STD_PROTO(Yap_gmp_and_big_big,(Term, Term));
254 Term STD_PROTO(Yap_gmp_ior_big_big,(Term, Term));
255 Term STD_PROTO(Yap_gmp_xor_big_big,(Term, Term));
265 Term STD_PROTO(Yap_gmp_exp_big_big,(Term,Term));
[all …]
H A DTags_32Ops.h125 inline EXTERN Term *RepPair (Term);
155 inline EXTERN Term *RepAppl (Term);
186 inline EXTERN Term *RepPair (Term);
270 inline EXTERN Term AdjustPtr (Term t, Term off);
273 AdjustPtr (Term t, Term off) in AdjustPtr()
284 inline EXTERN Term AdjustIDBPtr (Term t, Term off);
287 AdjustIDBPtr (Term t, Term off) in AdjustIDBPtr()
295 inline EXTERN Term AdjustPtr (Term t, Term off);
298 AdjustPtr (Term t, Term off) in AdjustPtr()
309 inline EXTERN Term AdjustIDBPtr (Term t, Term off);
[all …]
H A DTags_32bits.h75 IsVarTerm (Term t) in IsVarTerm()
92 inline EXTERN Term *RepPair (Term);
95 RepPair (Term t) in RepPair()
102 inline EXTERN Term AbsPair (Term *);
122 inline EXTERN Term *RepAppl (Term);
125 RepAppl (Term t) in RepAppl()
132 inline EXTERN Term AbsAppl (Term *);
163 inline EXTERN Term AdjustPtr (Term t, Term off);
166 AdjustPtr (Term t, Term off) in AdjustPtr()
173 inline EXTERN Term AdjustIDBPtr (Term t, Term off);
[all …]
H A DTags_64bits.h79 IsVarTerm (Term t) in IsVarTerm()
96 inline EXTERN Term *RepPair (Term);
99 RepPair (Term t) in RepPair()
106 inline EXTERN Term AbsPair (Term *);
126 inline EXTERN Term *RepAppl (Term);
129 RepAppl (Term t) in RepAppl()
136 inline EXTERN Term AbsAppl (Term *);
167 inline EXTERN Term AdjustPtr (Term t, Term off);
170 AdjustPtr (Term t, Term off) in AdjustPtr()
177 inline EXTERN Term AdjustIDBPtr (Term t, Term off);
[all …]
/dports/sysutils/kf5-baloo/baloo-5.89.0/autotests/unit/lib/
H A Dadvancedqueryparsertest.cpp14 using Term = Baloo::Term; typedef
224 << Term{Term::And, QList<Term>{ in testNestedParentheses_data()
234 << Term{Term::And, QList<Term>{ in testNestedParentheses_data()
237 Term{Term::Or, QList<Term>{ in testNestedParentheses_data()
246 << Term{Term::And, QList<Term>{ in testNestedParentheses_data()
257 << Term{Term::Or, QList<Term>{ in testNestedParentheses_data()
270 << Term{Term::And, QList<Term>{ in testNestedParentheses_data()
272 Term{Term::Or, QList<Term>{ in testNestedParentheses_data()
303 << Term{Term::And, QList<Term>{ in testOptimizedLogic_data()
318 << Term{Term::And, QList<Term>{ in testOptimizedLogic_data()
[all …]
/dports/audio/pms-devel/pms-c94e3c6/vendor/github.com/blevesearch/bleve/analysis/lang/pt/
H A Dlight_stemmer_pt_test.go202 Term: []byte("o"),
217 Term: []byte("o"),
226 Term: []byte("a"),
235 Term: []byte("de"),
250 Term: []byte("a"),
262 Term: []byte("há"),
297 Term: []byte("o"),
312 Term: []byte("o"),
321 Term: []byte("a"),
345 Term: []byte("a"),
[all …]
/dports/audio/pms-devel/pms-c94e3c6/vendor/github.com/blevesearch/bleve/analysis/lang/fr/
H A Dlight_stemmer_fr_test.go38 Term: []byte("cheval"),
45 Term: []byte("cheval"),
50 Term: []byte("cheval"),
57 Term: []byte("hiboux"),
62 Term: []byte("hibou"),
69 Term: []byte("hibou"),
74 Term: []byte("hibou"),
86 Term: []byte("chant"),
98 Term: []byte("chant"),
170 Term: []byte("peau"),
[all …]
/dports/lang/yap/yap-6.2.2/VC/include/
H A DTags_32Ops.h121 inline EXTERN Term * RepPair(Term);
130 inline EXTERN Term AbsPair(Term *);
148 inline EXTERN Term * RepAppl(Term);
252 inline EXTERN Term AdjustPtr(Term t, Term off);
254 inline EXTERN Term AdjustPtr(Term t, Term off) in AdjustPtr()
261 inline EXTERN Term AdjustIDBPtr(Term t, Term off);
263 inline EXTERN Term AdjustIDBPtr(Term t, Term off) in AdjustIDBPtr()
271 inline EXTERN Term AdjustPtr(Term t, Term off);
273 inline EXTERN Term AdjustPtr(Term t, Term off) in AdjustPtr()
280 inline EXTERN Term AdjustIDBPtr(Term t, Term off);
[all …]
H A DTags_64bits.h92 inline EXTERN Term * RepPair(Term);
94 inline EXTERN Term * RepPair(Term t) in RepPair()
101 inline EXTERN Term AbsPair(Term *);
103 inline EXTERN Term AbsPair(Term * p) in AbsPair()
119 inline EXTERN Term * RepAppl(Term);
121 inline EXTERN Term * RepAppl(Term t) in RepAppl()
128 inline EXTERN Term AbsAppl(Term *);
156 inline EXTERN Term AdjustPtr(Term t, Term off);
158 inline EXTERN Term AdjustPtr(Term t, Term off) in AdjustPtr()
165 inline EXTERN Term AdjustIDBPtr(Term t, Term off);
[all …]
H A DTags_24bits.h85 inline EXTERN Term * RepPair(Term);
87 inline EXTERN Term * RepPair(Term t) in RepPair()
94 inline EXTERN Term AbsPair(Term *);
96 inline EXTERN Term AbsPair(Term * p) in AbsPair()
112 inline EXTERN Term * RepAppl(Term);
114 inline EXTERN Term * RepAppl(Term t) in RepAppl()
121 inline EXTERN Term AbsAppl(Term *);
149 inline EXTERN Term AdjustPtr(Term t, Term off);
151 inline EXTERN Term AdjustPtr(Term t, Term off) in AdjustPtr()
158 inline EXTERN Term AdjustIDBPtr(Term t, Term off);
[all …]
H A DTags_32LowTag.h103 inline EXTERN Term * RepPair(Term);
105 inline EXTERN Term * RepPair(Term t) in RepPair()
112 inline EXTERN Term AbsPair(Term *);
114 inline EXTERN Term AbsPair(Term * p) in AbsPair()
130 inline EXTERN Term * RepAppl(Term);
132 inline EXTERN Term * RepAppl(Term t) in RepAppl()
139 inline EXTERN Term AbsAppl(Term *);
167 inline EXTERN Term AdjustPtr(Term t, Term off);
169 inline EXTERN Term AdjustPtr(Term t, Term off) in AdjustPtr()
176 inline EXTERN Term AdjustIDBPtr(Term t, Term off);
[all …]
/dports/games/tomenet/tomenet-4.6.0/src/console/
H A Dz-term.c342 if (y < Term->y1) Term->y1 = y; in QueueAttrChar()
343 if (y > Term->y2) Term->y2 = y; in QueueAttrChar()
390 if (y < Term->y1) Term->y1 = y; in QueueAttrChars()
391 if (y > Term->y2) Term->y2 = y; in QueueAttrChars()
1417 if (Term->y1 <= Term->y2) in Term_fresh()
1909 if (y < Term->y1) Term->y1 = y; in Term_erase()
1910 if (y > Term->y2) Term->y2 = y; in Term_erase()
2266 if (Term->key_head == Term->key_size) Term->key_head = 0; in Term_keypress()
2285 if (Term->key_tail == 0) Term->key_tail = Term->key_size; in Term_key_push()
2374 if (Term->key_length < Term->key_size / 4 && Term->key_size > Term->key_size_orig) in Term_inkey()
[all …]
/dports/devel/gh/cli-2.4.0/vendor/github.com/itchyny/gojq/
H A Dbuiltin.go19 …Term: &Term{Type: TermTypeFunc, Func: &Func{Name: "delpaths", Args: []*Query{&Query{Term: &Term{Ty…
20 …Term: &Term{Type: TermTypeIf, If: &If{Cond: &Query{Left: &Query{Func: "type"}, Op: OpEq, Right: &Q…
23 …Term: &Term{Type: TermTypeFunc, Func: &Func{Name: "map", Args: []*Query{&Query{Term: &Term{Type: T…
24 …Term: &Term{Type: TermTypeFunc, Func: &Func{Name: "map", Args: []*Query{&Query{Term: &Term{Type: T…
27 …Term: &Term{Type: TermTypeObject, Object: &Object{KeyVals: []*ObjectKeyVal{&ObjectKeyVal{Key: "x",…
37 …Term: &Term{Type: TermTypeIf, If: &If{Cond: &Query{Left: &Query{Func: "type"}, Op: OpNe, Right: &Q…
38 …Term: &Term{Type: TermTypeIndex, Index: &Index{Start: &Query{Term: &Term{Type: TermTypeUnary, Unar…
40 …Term: &Term{Type: TermTypeIf, If: &If{Cond: &Query{Left: &Query{Func: "$n"}, Op: OpGt, Right: &Que…
46 …Term: &Term{Type: TermTypeFunc, Func: &Func{Name: "_max_by", Args: []*Query{&Query{Term: &Term{Typ…
49 …Term: &Term{Type: TermTypeReduce, Reduce: &Reduce{Term: &Term{Type: TermTypeFunc, Func: &Func{Name…
[all …]
/dports/misc/fq/fq-0.0.2/vendor/github.com/wader/gojq/
H A Dbuiltin.go19 …Term: &Term{Type: TermTypeFunc, Func: &Func{Name: "delpaths", Args: []*Query{&Query{Term: &Term{Ty…
20 …Term: &Term{Type: TermTypeIf, If: &If{Cond: &Query{Left: &Query{Func: "type"}, Op: OpEq, Right: &Q…
23 …Term: &Term{Type: TermTypeFunc, Func: &Func{Name: "map", Args: []*Query{&Query{Term: &Term{Type: T…
24 …Term: &Term{Type: TermTypeFunc, Func: &Func{Name: "map", Args: []*Query{&Query{Term: &Term{Type: T…
27 …Term: &Term{Type: TermTypeObject, Object: &Object{KeyVals: []*ObjectKeyVal{&ObjectKeyVal{Key: "x",…
37 …Term: &Term{Type: TermTypeIf, If: &If{Cond: &Query{Left: &Query{Func: "type"}, Op: OpNe, Right: &Q…
38 …Term: &Term{Type: TermTypeIndex, Index: &Index{Start: &Query{Term: &Term{Type: TermTypeUnary, Unar…
40 …Term: &Term{Type: TermTypeIf, If: &If{Cond: &Query{Left: &Query{Func: "$n"}, Op: OpGt, Right: &Que…
46 …Term: &Term{Type: TermTypeFunc, Func: &Func{Name: "_max_by", Args: []*Query{&Query{Term: &Term{Typ…
49 …Term: &Term{Type: TermTypeReduce, Reduce: &Reduce{Term: &Term{Type: TermTypeFunc, Func: &Func{Name…
[all …]
/dports/games/zangband/zangband/src/
H A Dz-term.c579 if (y < Term->y1) Term->y1 = y; in Term_queue_char()
580 if (y > Term->y2) Term->y2 = y; in Term_queue_char()
653 if (y < Term->y1) Term->y1 = y; in Term_queue_line()
654 if (y > Term->y2) Term->y2 = y; in Term_queue_line()
1624 if (y < Term->y1) Term->y1 = y; in Term_erase()
1625 if (y > Term->y2) Term->y2 = y; in Term_erase()
1862 if (Term->key_head == Term->key_size) Term->key_head = 0; in Term_keypress()
1869 if (++Term->key_tail == Term->key_size) Term->key_tail = 0; in Term_keypress()
1886 if (Term->key_tail == 0) Term->key_tail = Term->key_size; in Term_key_push()
1896 if (++Term->key_tail == Term->key_size) Term->key_tail = 0; in Term_key_push()
[all …]
H A Dangband.rc21 MENUITEM "Term-0 window", 200
22 MENUITEM "Term-1 window", 201
23 MENUITEM "Term-2 window", 202
24 MENUITEM "Term-3 window", 203
25 MENUITEM "Term-4 window", 204
26 MENUITEM "Term-5 window", 205
27 MENUITEM "Term-6 window", 206
28 MENUITEM "Term-7 window", 207
33 MENUITEM "Term-0 window", 210
34 MENUITEM "Term-1 window", 211
[all …]
/dports/games/mangband/mangband-1.5.3/src/client/
H A Dz-term.c615 if (y < Term->y1) Term->y1 = y; in Term_queue_chars()
616 if (y > Term->y2) Term->y2 = y; in Term_queue_chars()
1210 if (!Term->bigcurs_hook) Term->bigcurs_hook = Term->curs_hook; in Term_fresh()
1816 if (y < Term->y1) Term->y1 = y; in Term_erase()
1817 if (y > Term->y2) Term->y2 = y; in Term_erase()
2060 if (Term->key_head == Term->key_size) Term->key_head = 0; in Term_keypress()
2083 if (Term->key_head == Term->key_size) Term->key_head = 0; in Term_mousepress()
2090 if (++Term->key_tail == Term->key_size) Term->key_tail = 0; in Term_mousepress()
2120 if (Term->key_tail == 0) Term->key_tail = Term->key_size; in Term_event_push()
2131 if (++Term->key_tail == Term->key_size) Term->key_tail = 0; in Term_event_push()
[all …]
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Protocol/SMTLib2/
H A DSyntax.hs316 ite :: Term -> Term -> Term -> Term
369 sub :: Term -> [Term] -> Term
395 div :: Term -> [Term] -> Term
401 (./) :: Term -> [Term] -> Term
408 mod :: Term -> Term -> Term
492 select :: Term -> Term -> Term
497 store :: Term -> Term -> Term -> Term
596 bvsub :: Term -> Term -> Term
618 bvshl :: Term -> Term -> Term
628 bvult :: Term -> Term -> Term
[all …]
/dports/games/angband/Angband-4.2.2/src/
H A Dui-term.c634 if (y < Term->y1) Term->y1 = y; in Term_queue_chars()
635 if (y > Term->y2) Term->y2 = y; in Term_queue_chars()
1003 if (y < Term->y1) Term->y1 = y; in Term_mark()
1004 if (y > Term->y2) Term->y2 = y; in Term_mark()
1165 if (!Term->bigcurs_hook) Term->bigcurs_hook = Term->curs_hook; in Term_fresh()
1817 *w = Term ? Term->wid : 80; in Term_get_size()
1818 *h = Term ? Term->hgt : 24; in Term_get_size()
1937 if (Term->key_head == Term->key_size) Term->key_head = 0; in Term_keypress()
1967 if (Term->key_head == Term->key_size) Term->key_head = 0; in Term_mousepress()
1999 if (Term->key_tail == 0) Term->key_tail = Term->key_size; in Term_event_push()
[all …]
/dports/net/akonadi-search/akonadi-search-21.12.3/core/
H A Dterm.cpp18 Term::Operation m_op = Term::None;
30 Term::Term() in Term() function in Term
35 Term::Term(const Term &t) in Term() function in Term
40 Term::Term(const QString &property) in Term() function in Term
76 Term::Term(Term::Operation op) in Term() function in Term
82 Term::Term(Term::Operation op, const Term &t) in Term() function in Term
89 Term::Term(Term::Operation op, const QList<Term> &t) in Term() function in Term
96 Term::Term(const Term &lhs, Term::Operation op, const Term &rhs) in Term() function in Term
104 Term::~Term() = default;
144 Term Term::subTerm() const in subTerm()
[all …]
/dports/math/zimpl/zimpl-3.3.6/src/zimpl/
H A Dterm.h37 typedef struct term Term; typedef
42 extern Term* term_new(int size);
50 extern void term_free(Term* term);
54 extern Term* term_copy(const Term* term);
58 extern void term_append_term(Term* term_a, const Term* term_b);
60 extern Term* term_add_term(const Term* term_a, const Term* term_b);
62 extern Term* term_sub_term(const Term* term_a, const Term* term_b);
64 extern Term* term_mul_term(const Term* term_a, const Term* term_b);
66 extern Term* term_simplify(const Term* term_org);
77 extern void term_negate(Term* term);
[all …]
/dports/lang/ocaml-nox11/ocaml-4.05.0/testsuite/tests/misc-kb/
H A Dkbmain.ml9 lhs = Term("*", [Term("U",[]); Var 1]); rhs = Var 1 };
11 lhs = Term("*", [Term("I",[Var 1]); Var 1]); rhs = Term("U",[]) };
13 lhs = Term("*", [Term("*", [Var 1; Var 2]); Var 3]);
14 rhs = Term("*", [Var 1; Term("*", [Var 2; Var 3])]) }
20 lhs = Term ("*",[(Term ("U",[])); (Var 1)]);
29 lhs = Term ("*",[(Term ("A",[])); (Term ("B",[]))]);
30 rhs = Term ("*",[(Term ("B",[])); (Term ("A",[]))]) };
32 lhs = Term ("*",[(Term ("C",[])); (Term ("C",[]))]);
37 (Term ("*",[(Term ("A",[])); (Term ("I",[(Term ("C",[]))]))]))]);
38 rhs = Term ("I",[(Term ("A",[]))]) };
[all …]
/dports/lang/ocaml/ocaml-4.05.0/testsuite/tests/misc-kb/
H A Dkbmain.ml9 lhs = Term("*", [Term("U",[]); Var 1]); rhs = Var 1 };
11 lhs = Term("*", [Term("I",[Var 1]); Var 1]); rhs = Term("U",[]) };
13 lhs = Term("*", [Term("*", [Var 1; Var 2]); Var 3]);
14 rhs = Term("*", [Var 1; Term("*", [Var 2; Var 3])]) }
20 lhs = Term ("*",[(Term ("U",[])); (Var 1)]);
29 lhs = Term ("*",[(Term ("A",[])); (Term ("B",[]))]);
30 rhs = Term ("*",[(Term ("B",[])); (Term ("A",[]))]) };
32 lhs = Term ("*",[(Term ("C",[])); (Term ("C",[]))]);
37 (Term ("*",[(Term ("A",[])); (Term ("I",[(Term ("C",[]))]))]))]);
38 rhs = Term ("I",[(Term ("A",[]))]) };
[all …]
/dports/lang/swi-pl/swipl-8.2.3/src/Tests/core/
H A Dtest_acyclic.pl62 Term =.. L.
89 Term = f(_),
141 Term = f(),
203 Term = f(Term),
212 Term = f(f(Term),_),
216 Term = f(_,f(Term)),
220 Term = f(f(_),f(Term),f(_)),
224 Term = f(f(_),f(f(Term),f(_)),f(_)),
228 Term = f(f(f(f(f(f(f(f(f(f(Term)))))))))),
242 Leaf = Term,
[all …]
/dports/sysutils/kf5-baloo/baloo-5.89.0/src/lib/
H A Dterm.cpp28 Term::Term() in Term() function in Baloo::Term
33 Term::Term(const Term& t) in Term() function in Baloo::Term
38 Term::Term(const QString& property) in Term() function in Baloo::Term
75 Term::Term(Term::Operation op) in Term() function in Baloo::Term
81 Term::Term(Term::Operation op, const Term& t) in Term() function in Baloo::Term
88 Term::Term(Term::Operation op, const QList<Term>& t) in Term() function in Baloo::Term
95 Term::Term(const Term& lhs, Term::Operation op, const Term& rhs) in Term() function in Baloo::Term
121 Term::~Term() in ~Term()
165 Term Term::subTerm() const in subTerm()
174 QList<Term> Term::subTerms() const in subTerms()
[all …]

12345678910>>...195