Counting quantifiers - how

Question

바둑판을 모델화해야하고 "A"수직선에서 적어도 5 개의 사각형이 비어 있다고 말하고 싶습니다. 어떻게하면 알로이에서 할 수 있을까요? 0 또는 1과 다른 숫자를 가진 다른 예는 좋을 것입니다. 즉, "일부"가 충분히 정확하지 않을 때 나는 무엇을해야합니까? 감사합니다.

Answer 1

당신은

#r >= 5 

는 관계 r 적어도 5 튜플이 있어야 말한다 관계에서 튜플의 수, 예를 들어,에 대한 주장을 확인하기 위해 카디널리티 연산자 (#)를 사용할 수 있습니다.

또한, 예를 들어, 임의의 식

#board.cells >= 5 

또는

#{c: Cell | c in board.cells and ...} >= 5 

을 카디널리티 연산자를 사용하여