slang/binding/Constraints.h file

Constraint creation and analysis.

Contents

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.