تقليل قائمة في Specman مثل الثعبان

Question

هل هناك reduce() طريقة قائمة في Specman التي يمكن استخدامها من أجل الحد من العام الوظائف ؟ أنا أفكر في شيء ما مثل:

var x: list of bit = some_function_that_returns_list_of_bit;
var bitmap: uint = x.reduce(foo());

حيث reduce() يعمل في بايثون:

foo(last: uint, val: bit) is: uint {
    return (last << 1 ) | bit;
};

Answer 1

Specman 6.1 مستندات لا تظهر تقليل الزائفة الأسلوب.الخاص بك محددة سبيل المثال ، يمكنك أن تحقق ما تريد:

bitmap = pack(packing.low, x)

قد تجد "الحد" الزائف الأسلوب في الإصدار الخاص بك من Specman عن طريق البحث عن "قائمة الزائفة أساليب" في المستندات الخاصة بك.

قسم "الرياضيات والمنطق الزائفة أساليب" يدل على أساليب and_all () متوسط(), or_all () ، () ، المجموع().أعرف أن هذا ليس الفوقية الحل, لكن هذا أفضل من ركلة في الأسنان.