Я знаю использование предикатов в сплаве, но я был немного удивлен приведенным ниже описанием:
pred locationConstraint(loc: Int -> Int){
loc in (Int[0] + Int[1] + Int[2] + Int[3] + Int[4] + Int[5] + Int[6]) -> (Int[2] + Int[3])
+ (Int[2] + Int[3]) -> (Int[0] + Int[1] + Int[2] + Int[3] + Int[4] + Int[5])
}
Может кто-нибудь объяснить мне вышеизложенное.