Searched defs:CanProve (Results 1 – 4 of 4) sorted by relevance
89 bool Analyzer::CanProve(const Expr& expr) { in CanProve() function in tvm::arith::Analyzer
2045 struct CanProve { struct2046 struct pattern_tag {};2047 A a;2071 HALIDE_ALWAYS_INLINE auto can_prove(A a, Prover *p) noexcept -> CanProve<decltype(pattern_arg(a)), … argument
103 bool Analyzer::CanProve(const PrimExpr& expr) { in CanProve() function in tvm::arith::Analyzer