在逻辑中constraint是什么意思