/dports/lang/halide/Halide-release_2019_08_27-2654-g664dc4993/src/ |
H A D | IROperator.h | 351 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 D | vcl.h | 224 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 D | vc.h | 324 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 D | c_interface.h | 246 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 D | theory_bitvector.h | 312 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 D | theory_quant.h | 137 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 D | theory_arith.h | 159 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 D | expr.h | 291 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 D | LFSCObject.h | 35 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 D | b4-c2.cpp | 53 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 D | b4-c.cpp | 38 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 D | ExprBuilder.h | 32 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 D | c_interface.h | 260 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 D | expr_operator.h | 179 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 D | expr_operator.h | 179 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 D | exprdesc.h | 134 # 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 D | bitvector_theorem_producer.h | 46 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 D | arith_theorem_producer_old.h | 41 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 D | arith_theorem_producer.h | 42 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 D | arith_theorem_producer3.h | 42 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 D | build.go | 61 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 D | generate.hpp | 112 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 D | Expr.php | 33 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 D | Expr.php | 33 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 D | Expr.h | 159 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 …]
|