Constraints.h file

Constraint creation and analysis.

Namespaces

class slang::ast::Constraint: The base class for all constraints in SystemVerilog.
class slang::ast::InvalidConstraint: Represents an invalid constraint.
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.