file
Constraints.hConstraint creation and analysis.
Contents
- Reference
Namespaces
- namespace slang
- Root namespace.
Classes
- class slang::ConstraintList
- Represents a list of constraints.
- class slang::ExpressionConstraint
- Represents a constraint defined by a logical expression.
- class slang::ImplicationConstraint
- Represents a constraint defined by an implication.
- class slang::ConditionalConstraint
- Represents a constraint defined by an if-else condition.
- class slang::UniquenessConstraint
- Represents a constraint that enforces uniqueness of variables.
- class slang::DisableSoftConstraint
- Represents a constraint that disables a soft random variable.
- class slang::SolveBeforeConstraint
- Represents a constraint that enforces ordering of solving variables.
- class slang::ForeachConstraint
- Represents a constraint that iterates over the elements of an array.