substitutable_expr

class BinaryOpeKind

An enumeration.

---

class ConditionOperatorKind

An enumeration.

---

class ConstraintKind

An enumeration.

---

class DecisionVarKind

An enumeration.

---

class MultipleOpeKind

An enumeration.

---

class OtherConstraintKind

An enumeration.

---

class ReductionOpeKind

An enumeration.

---

class UnaryOpeKind

An enumeration.