各種拘束条件のクラスを提供する。