Home
last modified time | relevance | path

Searched defs:CanProve (Results 1 – 4 of 4) sorted by relevance

/dports/misc/tvm/incubator-tvm-0.6.1/src/arithmetic/
H A Danalyzer.cc89 bool Analyzer::CanProve(const Expr& expr) { in CanProve() function in tvm::arith::Analyzer
/dports/misc/py-tvm/incubator-tvm-0.6.1/src/arithmetic/
H A Danalyzer.cc89 bool Analyzer::CanProve(const Expr& expr) { in CanProve() function in tvm::arith::Analyzer
/dports/lang/halide/Halide-release_2019_08_27-2654-g664dc4993/src/
H A DIRMatch.h2045 struct CanProve { struct
2046 struct pattern_tag {};
2047 A a;
2071 HALIDE_ALWAYS_INLINE auto can_prove(A a, Prover *p) noexcept -> CanProve<decltype(pattern_arg(a)), … argument
/dports/misc/mxnet/incubator-mxnet-1.9.0/3rdparty/tvm/src/arith/
H A Danalyzer.cc103 bool Analyzer::CanProve(const PrimExpr& expr) { in CanProve() function in tvm::arith::Analyzer