Это битовые строки.
Понимания битовых строк аналогичны спискам. Они используются для эффективной и краткой генерации битовых строк.
Понимания битовых строк записываются со следующим синтаксисом:
<< BitString || Qualifier1,...,QualifierN >>
BitString является выражением битовой строки, и каждый классификатор является либо генератором, генератором битовой строки, либо фильтром.
• Генератор записывается как:
Pattern <- ListExpr.
ListExpr должен быть выражением, которое оценивает список терминов.
• Генератор битовых строк записывается как:
BitstringPattern <= BitStringExpr.
BitStringExpr
должно быть выражением, которое оценивается как цепочка битов.
• Фильтр - это выражение, которое оценивается как true или false.
Переменные в генераторе образуют теневые переменные в предложении функции, окружающем понимание битовой строки.
Понимание битовой строки возвращает битовую строку, которая создается путем объединения результатов оценки BitString
для каждой комбинации элементов генератора битовой строки, для которых все фильтры верны.
Пример:
1> << << (X*2) >> ||
<<X>> <= << 1,2,3 >> >>.
<<2,4,6>>