Namespace tvm::sym

namespace of symbolic analysis.

Classes

• Class AllowUIntAsIndex

• Class Analyzer

• Class AnalyzerObj

• Class BindingConstraint

• Class BindingConstraintObj

• Class CanonicalSimplifier

• Class ConstIntBound

• Class ConstIntBoundAnalyzer

• Class ConstIntBoundObj

• Class Constraint

• Class ConstraintContext

• Class ConstraintContextObj

• Class ConstraintObj

• Class IntSet

• Class IntSetAnalyzer

• Class IntSetObj

• Class IterMapExpr

• Class IterMapExprObj

• Class IterMapResult

• Class IterMapResultObj

• Class IterMark

• Class IterMarkObj

• Class IterSplitExpr

• Class IterSplitExprObj

• Class IterSumExpr

• Class IterSumExprObj

• Class ModularSet

• Class ModularSetAnalyzer

• Class ModularSetObj

• Class PredicateConstraint

• Class PredicateConstraintObj

• Class RangeConstraint

• Class RangeConstraintObj

• Class RewriteSimplifier

• Class Z3Prover

Enums

• Enum CompareResult

• Enum DivMode

• Enum IterMapLevel

• Enum ProofStrength

• Enum SignType

Functions

• Function tvm::sym::AsIntSet

• Function tvm::sym::DeduceBound

• Function tvm::sym::DetectIterMap

• Function tvm::sym::EstimateRegionLowerBound

• Function tvm::sym::EstimateRegionStrictBound

• Function tvm::sym::EstimateRegionUpperBound

• Function tvm::sym::EvalSet(PrimExpr, const ffi::Map<Var, IntSet>&)

• Function tvm::sym::EvalSet(IntSet, const ffi::Map<Var, IntSet>&)

• Function tvm::sym::EvalSet(Range, const ffi::Map<Var, IntSet>&)

• Function tvm::sym::EvalSet(const ffi::Array<Range>&, const ffi::Map<Var, IntSet>&)

• Function tvm::sym::EvalSetForEachSubExpr

• Function tvm::sym::Intersect(const ffi::Array<IntSet>&)

• Function tvm::sym::Intersect(const IntSet&, const IntSet&, const Analyzer&)

• Function tvm::sym::InverseAffineIterMap

• Function tvm::sym::IterMapSimplify

• Function tvm::sym::NormalizeIterMapToExpr

• Function tvm::sym::NormalizeToIterSum

• Function tvm::sym::operator&

• Function tvm::sym::operator|

• Function tvm::sym::SubspaceDivide

• Function tvm::sym::Union

• Function tvm::sym::UnionLowerBound

• Function tvm::sym::UnionRegion

• Function tvm::sym::UnionRegionLowerBound

Typedefs

• Typedef tvm::sym::ExprIntSetMap