Надо выбрать более нейтральное название этого предиката и обобщить также на ординальные числа и возможно даже на булевские значения. Что-то типа LesserByPreorder, или Precedes (в смысле дистрибутивных решёток).
Это полезно для усиления метода Verify: можно будет проверять не только равенство гипотез, но и оптимизации автоматов на эффективность, а также предикаты на сравнительную силу.
Надо выбрать более нейтральное название этого предиката и обобщить также на ординальные числа и возможно даже на булевские значения. Что-то типа
LesserByPreorder
, илиPrecedes
(в смысле дистрибутивных решёток).Это полезно для усиления метода
Verify
: можно будет проверять не только равенство гипотез, но и оптимизации автоматов на эффективность, а также предикаты на сравнительную силу.