파이썬과 같은 사양의 목록을 줄입니다

Question

a reduce() 일반적인 감소 기능에 사용할 수있는 사양의 목록 방법? 나는 다음과 같은 것을 생각하고 있습니다.

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

어디 reduce() Python과 같은 작품 :

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

Answer 1

Specman 6.1 문서는 의사 메드 감소가 표시되지 않습니다. 당신을 위해 특정한 예를 들어, 원하는 것을 달성 할 수 있습니다.

bitmap = pack(packing.low, x)

문서에서 "목록 의사-방법"을 검색하여 Specman 버전에서 "감소"Psuedo-method를 찾을 수 있습니다.

"수학 및 논리 pseudo-methods"섹션은 메소드 (), 평균 (), or_all (), 곱 () 및 sum ()을 보여줍니다. 나는 이것이 메타 솔루션이 아니라 치아의 차기보다 낫다는 것을 알고 있습니다.