Class ConstraintObj#
Defined in File constraint.h
Inheritance Relationships#
Base Type#
public ffi::Object
Derived Types#
public tvm::sym::BindingConstraintObj(Class BindingConstraintObj)public tvm::sym::PredicateConstraintObj(Class PredicateConstraintObj)public tvm::sym::RangeConstraintObj(Class RangeConstraintObj)
Class Documentation#
-
class ConstraintObj : public ffi::Object#
Base node for a symbolic premise; it owns no analyzer state.
Subclassed by tvm::sym::BindingConstraintObj, tvm::sym::PredicateConstraintObj, tvm::sym::RangeConstraintObj