Сomparison-line Голосов: 1 Адрес блога: http://comparison-line.ru Добавлен: 2010-11-26 13:42:23 блограйдером kottx

Операторы фильтра

2013-02-01 02:47:35 (читать в оригинале)

Операторы фильтра. Операторы фильтра используются в решателе крайне редко, и общее число их едва ли насчитывает сейчас полтора десятка Одна из веских причин прибегнуть к оператору фильтра — появление чрезмерно большой дизъюнкции, перечисляющей подслучай, в которых применение приема допустимо Помимо того, что эта дизъюнкция может не поместиться в окне описания приема, успешная компиляция ее также [...]