Lines Matching refs:capacity
1668 \item whose capacity constraints are:
1671 \item red has capacity 3
1672 \item blue has capacity 1
1673 \item green has capacity 4
1694 \item and certain bin types have capacity constraint for certain
1789 capacity(Col, Capacity),
1809 {\bf capacity(Color, Capacity)} should instantiate the capacity
1811 if the capacity is known to be greater than
1817 capacity(Color, Capacity) :-
1826 Concretely, if the capacity is greater than 1, the colour cannot
1831 capacity(Color, Capacity) :-
1841 suspend(capacity(Color, Capacity), 3, (Color, Capacity)->inst)
1844 suspend(capacity(Color, Capacity), 3, [Color->inst, Capacity->min])
1846 capacity(blue, 1).
1847 capacity(green, 4).
1848 capacity(red, 3).
1852 or for minimum of the capacity to be updated (except that 3 is one less
1853 than the maximum capacity and thus waiting for its instantiation