Checkers¶

Для обнаружения рассогласования базы требований применяется механизм чекеров. Чекером называется объект проверяющий соответствие узлов базы требованиям целостности.