slang::ast::SolveBeforeConstraint class

#include <slang/ast/Constraints.h>

Represents a constraint that enforces ordering of solving variables.

Base classes

class Constraint

The base class for all constraints in SystemVerilog.

Public variables

std::span<const Expression*const > solve

The list of expressions for variables that should be solved before variables in the after list.

std::span<const Expression*const > after

The list of expressions for variables that should be solved after the variables in the solve list.