Constraints.h file

Constraint creation and analysis.

Namespaces

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.