Что означает «Предикаты не должны изменять свое состояние из-за вызова функции»?

Я читал в Интернете о C ++ и столкнулся с этим утверждением:

Предикаты не должны изменять свое состояние из-за вызова функции.

Я не понял, что здесь означает «государство». Может кто-нибудь уточнить пример?