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