Home
last modified time | relevance | path

Searched refs:Expr (Results 1 – 25 of 7607) sorted by relevance

12345678910>>...305

/dports/lang/halide/Halide-release_2019_08_27-2654-g664dc4993/src/
H A DIROperator.h351 Expr operator+(Expr a, Expr b);
371 Expr operator-(Expr a, Expr b);
397 Expr operator*(Expr a, Expr b);
434 Expr operator/(Expr a, Expr b);
463 Expr operator%(Expr a, Expr b);
478 Expr operator>(Expr a, Expr b);
604 Expr max(Expr a, Expr b);
639 Expr min(Expr a, Expr b);
761 Expr absd(Expr a, Expr b);
848 Expr atan2(Expr y, Expr x);
[all …]
/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dvcl.h224 Expr listExpr(const Expr& e1, const Expr& e2);
225 Expr listExpr(const Expr& e1, const Expr& e2, const Expr& e3);
246 Expr orExpr(const Expr& left, const Expr& right);
271 Expr powExpr(const Expr& x, const Expr& n);
273 Expr ltExpr(const Expr& left, const Expr& right);
274 Expr leExpr(const Expr& left, const Expr& right);
275 Expr gtExpr(const Expr& left, const Expr& right);
291 Expr writeExpr(const Expr& array, const Expr& index, const Expr& newValue);
329 Expr newBVSHL(const Expr& t1, const Expr& t2);
330 Expr newBVLSHR(const Expr& t1, const Expr& t2);
[all …]
H A Dvc.h324 virtual Expr listExpr(const Expr& e1, const Expr& e2) = 0;
327 virtual Expr listExpr(const Expr& e1, const Expr& e2, const Expr& e3) = 0;
400 virtual Expr andExpr(const Expr& left, const Expr& right) = 0;
406 virtual Expr orExpr(const Expr& left, const Expr& right) = 0;
415 virtual Expr iffExpr(const Expr& left, const Expr& right) = 0;
542 virtual Expr powExpr(const Expr& x, const Expr& n) = 0;
622 virtual Expr writeExpr(const Expr& array, const Expr& index,
700 virtual Expr newBVSHL(const Expr& t1, const Expr& t2) = 0;
702 virtual Expr newBVLSHR(const Expr& t1, const Expr& t2) = 0;
704 virtual Expr newBVASHR(const Expr& t1, const Expr& t2) = 0;
[all …]
H A Dc_interface.h246 Expr vc_andExpr(VC vc, Expr left, Expr right);
248 Expr vc_orExpr(VC vc, Expr left, Expr right);
251 Expr vc_iffExpr(VC vc, Expr left, Expr right);
252 Expr vc_iteExpr(VC vc, Expr ifpart, Expr thenpart, Expr elsepart);
283 Expr vc_funExpr3(VC vc, Op op, Expr child0, Expr child1, Expr child2);
313 Expr vc_powExpr(VC vc, Expr pow, Expr base);
319 Expr vc_ltExpr(VC vc, Expr left, Expr right);
320 Expr vc_leExpr(VC vc, Expr left, Expr right);
321 Expr vc_gtExpr(VC vc, Expr left, Expr right);
322 Expr vc_geExpr(VC vc, Expr left, Expr right);
[all …]
H A Dtheory_bitvector.h312 Expr newBVAndExpr(const Expr& t1, const Expr& t2);
315 Expr newBVOrExpr(const Expr& t1, const Expr& t2);
318 Expr newBVXorExpr(const Expr& t1, const Expr& t2);
321 Expr newBVXnorExpr(const Expr& t1, const Expr& t2);
325 Expr newBVNorExpr(const Expr& t1, const Expr& t2);
328 Expr newBVLTExpr(const Expr& t1, const Expr& t2);
329 Expr newBVLEExpr(const Expr& t1, const Expr& t2);
332 Expr newBVSLTExpr(const Expr& t1, const Expr& t2);
333 Expr newBVSLEExpr(const Expr& t1, const Expr& t2);
342 Expr newConcatExpr(const Expr& t1, const Expr& t2, const Expr& t3);
[all …]
H A Dtheory_quant.h137 Expr plusOne(const Expr& e);
140 Expr minusOne(const Expr& e);
149 Expr substMacro(const Expr&);
154 Expr rewriteNot(const Expr &);
158 Expr pullVarOut(const Expr&);
171 Expr inst(const Expr & e);
177 Expr instMacros(const Expr& , const Expr );
180 Expr simplifyEq(const Expr &);
183 Expr simplifyQuant(const Expr &);
450 Expr getHead(const Expr& e) ;
[all …]
H A Dtheory_arith.h159 Expr darkShadow(const Expr& lhs, const Expr& rhs) { in darkShadow()
165 Expr grayShadow(const Expr& v, const Expr& e, in grayShadow()
199 inline Expr plusExpr(const Expr& left, const Expr& right) in plusExpr()
205 inline Expr minusExpr(const Expr& left, const Expr& right) in minusExpr()
207 inline Expr multExpr(const Expr& left, const Expr& right) in multExpr()
216 inline Expr powExpr(const Expr& pow, const Expr & base) in powExpr()
221 inline Expr ltExpr(const Expr& left, const Expr& right) in ltExpr()
223 inline Expr leExpr(const Expr& left, const Expr& right) in leExpr()
225 inline Expr gtExpr(const Expr& left, const Expr& right) in gtExpr()
227 inline Expr geExpr(const Expr& left, const Expr& right) in geExpr()
[all …]
H A Dexpr.h291 Expr(const Expr& e);
813 inline Expr& Expr::operator=(const Expr& e) {
830 inline Expr::Expr(const Op& op, const Expr& child) { in Expr() function
846 inline Expr::Expr(const Op& op, const Expr& child0, const Expr& child1) { in Expr() function
864 inline Expr::Expr(const Op& op, const Expr& child0, const Expr& child1, in Expr() function
885 inline Expr::Expr(const Op& op, const Expr& child0, const Expr& child1, in Expr() function
929 inline Expr Expr::eqExpr(const Expr& right) const { in eqExpr()
941 inline Expr Expr::andExpr(const Expr& right) const { in andExpr()
951 inline Expr Expr::orExpr(const Expr& right) const { in orExpr()
961 inline Expr Expr::iteExpr(const Expr& thenpart, const Expr& elsepart) const { in iteExpr()
[all …]
/dports/math/cvc3/cvc3-2.4.1/src/search/
H A DLFSCObject.h35 static Expr cascade_expr( const Expr& e );
64 static Expr d_pf_expr;
69 static Expr queryElimNotNot(const Expr& expr);
72 static Expr queryAtomic(const Expr& expr, bool getBase = false );
87 static bool what_is_proven( const Expr& pf, Expr& pe );
107 static Expr d_refl_str;
150 static Expr d_andE_str;
154 static Expr d_CNF_str;
160 static Expr d_ite_s;
161 static Expr d_iff_s;
[all …]
/dports/math/stp/stp-2.3.3/tests/api/C/
H A Db4-c2.cpp53 Expr e5283967 = in TEST()
56 Expr e5283968 = in TEST()
59 Expr e5283969 = in TEST()
2327 Expr e5285858 = in TEST()
2330 Expr e5285859 = in TEST()
2333 Expr e5285860 = in TEST()
2336 Expr e5285861 = in TEST()
2339 Expr e5285862 = in TEST()
2379 Expr e5285898 = in TEST()
2382 Expr e5285899 = in TEST()
[all …]
H A Db4-c.cpp38 Expr e12867 = e12866; in TEST()
42 Expr e12871 = e12870; in TEST()
47 Expr e12876 = e12875; in TEST()
48 Expr e12877 = e12870; in TEST()
58 Expr e12884 = e12866; in TEST()
62 Expr e12887 = e12886; in TEST()
66 Expr e12890 = e12866; in TEST()
74 Expr e12897 = e12866; in TEST()
77 Expr e12900 = e12886; in TEST()
82 Expr e12905 = e12904; in TEST()
[all …]
/dports/security/klee/klee-2.2/include/klee/Expr/
H A DExprBuilder.h32 virtual ref<Expr> Concat(const ref<Expr> &LHS, const ref<Expr> &RHS) = 0;
35 virtual ref<Expr> ZExt(const ref<Expr> &LHS, Expr::Width W) = 0;
36 virtual ref<Expr> SExt(const ref<Expr> &LHS, Expr::Width W) = 0;
37 virtual ref<Expr> Add(const ref<Expr> &LHS, const ref<Expr> &RHS) = 0;
38 virtual ref<Expr> Sub(const ref<Expr> &LHS, const ref<Expr> &RHS) = 0;
39 virtual ref<Expr> Mul(const ref<Expr> &LHS, const ref<Expr> &RHS) = 0;
40 virtual ref<Expr> UDiv(const ref<Expr> &LHS, const ref<Expr> &RHS) = 0;
41 virtual ref<Expr> SDiv(const ref<Expr> &LHS, const ref<Expr> &RHS) = 0;
45 virtual ref<Expr> And(const ref<Expr> &LHS, const ref<Expr> &RHS) = 0;
46 virtual ref<Expr> Or(const ref<Expr> &LHS, const ref<Expr> &RHS) = 0;
[all …]
/dports/math/stp/stp-2.3.3/include/stp/
H A Dc_interface.h260 DLL_PUBLIC Expr vc_eqExpr(VC vc, Expr child0, Expr child1);
290 DLL_PUBLIC Expr vc_andExpr(VC vc, Expr left, Expr right);
302 DLL_PUBLIC Expr vc_orExpr(VC vc, Expr left, Expr right);
313 DLL_PUBLIC Expr vc_xorExpr(VC vc, Expr left, Expr right);
318 DLL_PUBLIC Expr vc_impliesExpr(VC vc, Expr hyp, Expr conc);
322 DLL_PUBLIC Expr vc_iffExpr(VC vc, Expr left, Expr right);
356 DLL_PUBLIC Expr vc_readExpr(VC vc, Expr array, Expr index);
363 DLL_PUBLIC Expr vc_writeExpr(VC vc, Expr array, Expr index, Expr newValue);
725 DLL_PUBLIC Expr vc_bvLtExpr(VC vc, Expr left, Expr right);
730 DLL_PUBLIC Expr vc_bvLeExpr(VC vc, Expr left, Expr right);
[all …]
/dports/misc/tvm/incubator-tvm-0.6.1/include/tvm/
H A Dexpr_operator.h179 TVM_DLL Expr operator+(Expr a, Expr b);
189 TVM_DLL Expr operator-(Expr a, Expr b);
208 TVM_DLL Expr operator*(Expr a, Expr b);
218 TVM_DLL Expr operator/(Expr a, Expr b);
248 TVM_DLL Expr operator>(Expr a, Expr b);
268 TVM_DLL Expr operator<(Expr a, Expr b);
338 TVM_DLL Expr div(Expr a, Expr b);
350 TVM_DLL Expr truncdiv(Expr a, Expr b);
421 TVM_DLL Expr max(Expr a, Expr b);
431 TVM_DLL Expr min(Expr a, Expr b);
[all …]
/dports/misc/py-tvm/incubator-tvm-0.6.1/include/tvm/
H A Dexpr_operator.h179 TVM_DLL Expr operator+(Expr a, Expr b);
189 TVM_DLL Expr operator-(Expr a, Expr b);
208 TVM_DLL Expr operator*(Expr a, Expr b);
218 TVM_DLL Expr operator/(Expr a, Expr b);
248 TVM_DLL Expr operator>(Expr a, Expr b);
268 TVM_DLL Expr operator<(Expr a, Expr b);
338 TVM_DLL Expr div(Expr a, Expr b);
350 TVM_DLL Expr truncdiv(Expr a, Expr b);
421 TVM_DLL Expr max(Expr a, Expr b);
431 TVM_DLL Expr min(Expr a, Expr b);
[all …]
/dports/devel/cc65/cc65-2.19/src/cc65/
H A Dexprdesc.h134 # define ED_GetLoc(Expr) ((Expr)->Flags & E_MASK_LOC) argument
144 # define ED_IsLocAbs(Expr) (((Expr)->Flags & E_MASK_LOC) == E_LOC_ABS) argument
164 # define ED_IsLocStack(Expr) (((Expr)->Flags & E_MASK_LOC) == E_LOC_STACK) argument
184 # define ED_IsLocExpr(Expr) (((Expr)->Flags & E_MASK_LOC) == E_LOC_EXPR) argument
204 # define ED_IsLocConst(Expr) (((Expr)->Flags & E_LOC_CONST) != 0) argument
234 # define ED_MakeLVal(Expr) do { (Expr)->Flags |= E_RTYPE_LVAL; } while (0) argument
254 # define ED_IsBitField(Expr) (((Expr)->Flags & E_BITFIELD) != 0) argument
267 # define ED_MarkForTest(Expr) do { (Expr)->Flags |= E_NEED_TEST; } while (0) argument
277 # define ED_NeedsTest(Expr) (((Expr)->Flags & E_NEED_TEST) != 0) argument
284 Expr->Flags = (Expr->Flags & ~E_NEED_TEST) | E_CC_SET; in ED_TestDone()
[all …]
/dports/math/cvc3/cvc3-2.4.1/src/theory_bitvector/
H A Dbitvector_theorem_producer.h46 Expr d_bvZero;
48 Expr d_bvOne;
65 const Expr& var,
74 std::vector<Expr> & result);
84 Expr chopConcat(int bv_size, Rational c, std::vector<Expr>& concatKids);
85 bool okToSplit(const Expr& e);
122 Theorem bitBlastEqnRule(const Expr& e, const Expr& f);
171 Theorem zeroLeq(const Expr& e);
253 const Expr& bvPlusTerm,
359 Expr pad(int rat, const Expr& e);
[all …]
/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Darith_theorem_producer_old.h41 Expr create_t(const Expr& eqn);
43 Expr create_t2(const Expr& lhs, const Expr& rhs, const Expr& t);
45 Expr create_t3(const Expr& lhs, const Expr& rhs, const Expr& t);
53 Expr monomialModM(const Expr& e,
57 Expr monomialMulF(const Expr& e,
61 Expr substitute(const Expr& term, ExprMap<Expr>& eMap);
74 Expr darkShadow(const Expr& lhs, const Expr& rhs) { in darkShadow()
80 Expr grayShadow(const Expr& v, const Expr& e, in grayShadow()
127 virtual Expr canonMultConstMult(const Expr & c, const Expr & e);
129 virtual Expr canonMultPowPow(const Expr & e1, const Expr & e2);
[all …]
H A Darith_theorem_producer.h42 Expr create_t(const Expr& eqn);
44 Expr create_t2(const Expr& lhs, const Expr& rhs, const Expr& t);
46 Expr create_t3(const Expr& lhs, const Expr& rhs, const Expr& t);
54 Expr monomialModM(const Expr& e,
58 Expr monomialMulF(const Expr& e,
62 Expr substitute(const Expr& term, ExprMap<Expr>& eMap);
75 Expr darkShadow(const Expr& lhs, const Expr& rhs) { in darkShadow()
81 Expr grayShadow(const Expr& v, const Expr& e, in grayShadow()
128 virtual Expr canonMultConstMult(const Expr & c, const Expr & e);
130 virtual Expr canonMultPowPow(const Expr & e1, const Expr & e2);
[all …]
H A Darith_theorem_producer3.h42 Expr create_t(const Expr& eqn);
44 Expr create_t2(const Expr& lhs, const Expr& rhs, const Expr& t);
46 Expr create_t3(const Expr& lhs, const Expr& rhs, const Expr& t);
54 Expr monomialModM(const Expr& e,
58 Expr monomialMulF(const Expr& e,
62 Expr substitute(const Expr& term, ExprMap<Expr>& eMap);
74 Expr darkShadow(const Expr& lhs, const Expr& rhs) { in darkShadow()
80 Expr grayShadow(const Expr& v, const Expr& e, in grayShadow()
127 virtual Expr canonMultConstMult(const Expr & c, const Expr & e);
129 virtual Expr canonMultPowPow(const Expr & e1, const Expr & e2);
[all …]
/dports/www/grafana8/grafana-8.3.6/vendor/github.com/ohler55/ojg/jp/
H A Dbuild.go61 func (x Expr) A() Expr {
66 func (x Expr) At() Expr {
71 func (x Expr) B() Expr {
86 func (x Expr) D() Expr {
91 func (x Expr) Descent() Expr {
106 func (x Expr) N(n int) Expr {
111 func (x Expr) Nth(n int) Expr {
116 func (x Expr) R() Expr {
121 func (x Expr) Root() Expr {
146 func (x Expr) W() Expr {
[all …]
/dports/games/frogatto/frogatto-1.3.1/MacOSJet/boost/include/boost/proto/
H A Dgenerate.hpp112 Expr
114 Expr const &
173 Extends<Expr> operator ()(Expr const &e) const in operator ()()
219 Extends<Expr> operator ()(Expr const &e) const in operator ()()
388 typedef Expr type;
394 typedef Expr type;
400 typedef Expr type;
406 typedef Expr type;
413 typedef Expr type;
419 typedef Expr type;
[all …]
/dports/finance/prestashop/prestashop/vendor/doctrine/orm/lib/Doctrine/ORM/Query/
H A DExpr.php33 class Expr class
48 * @return Expr\Andx
68 * @return Expr\Orx
116 return new Expr\Comparison($x, Expr\Comparison::EQ, $y);
135 return new Expr\Comparison($x, Expr\Comparison::NEQ, $y);
154 return new Expr\Comparison($x, Expr\Comparison::LT, $y);
173 return new Expr\Comparison($x, Expr\Comparison::LTE, $y);
192 return new Expr\Comparison($x, Expr\Comparison::GT, $y);
211 return new Expr\Comparison($x, Expr\Comparison::GTE, $y);
219 * @return Expr\Func
[all …]
/dports/mail/phplist/phplist-3.6.6/public_html/lists/base/vendor/doctrine/orm/lib/Doctrine/ORM/Query/
H A DExpr.php33 class Expr class
49 * @return Expr\Andx
68 * @return Expr\Orx
116 return new Expr\Comparison($x, Expr\Comparison::EQ, $y);
135 return new Expr\Comparison($x, Expr\Comparison::NEQ, $y);
154 return new Expr\Comparison($x, Expr\Comparison::LT, $y);
173 return new Expr\Comparison($x, Expr\Comparison::LTE, $y);
192 return new Expr\Comparison($x, Expr\Comparison::GT, $y);
211 return new Expr\Comparison($x, Expr\Comparison::GTE, $y);
219 * @return Expr\Func
[all …]
/dports/math/cgal/CGAL-5.3/include/CGAL/CORE/
H A DExpr.h159 Expr& operator+=(const Expr& e) {
164 Expr& operator-=(const Expr& e) {
169 Expr& operator*=(const Expr& e) {
365 inline Expr operator+(const Expr& e1, const Expr& e2) {
369 inline Expr operator-(const Expr& e1, const Expr& e2) {
373 inline Expr operator*(const Expr& e1, const Expr& e2) {
377 inline Expr operator/(const Expr& e1, const Expr& e2) {
387 inline Expr operator%(const Expr& e1, const Expr& e2) {
437 inline Expr abs(const Expr& x) { in abs()
492 inline Expr gcd(const Expr& /*a*/, const Expr& /*b*/) { in gcd() argument
[all …]

12345678910>>...305