full-state constraint