/home/runner/work/slang/slang/include/slang/ast/Constraints.h file

Constraint creation and analysis.

Namespaces

namespace slang

Root namespace.

namespace slang::ast

The SystemVerilog AST.

Classes

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.