我想限制我的列表項目在特定條件下等於某些值。 對於我已經設計了 define <num_prob_constraints'struct_member> "CHECK_and_SET_CONSTRAINTS <lst'exp>" as computed {
//var cur : list of uint = <lst'exp>.as_a(list of uint);
var
我想使用反射功能來確定列表是否具有默認大小。 可以說,我宣佈這些名單: a : list of int;
b[3] : list of int;
然後我想創建一個功能is_default_sized()並獲得: is_default_sized(a)將返回false,並且is_default_sized(b)將返回true。 注:我沒有rf_field