Spatial-Layout-Planning/rectangle_helpers.pl at main · Lujine/Spatial-Layout-Planning · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
:-use_module(library(clpfd)).

create_rect(FloorWidth, FloorHeight, Rect, Coord):-

	Width in 1..FloorWidth,
	Height in 1..FloorHeight,

	X #>= 0,
	Y #>= 0,
	X + Width #=< FloorWidth,
	Y + Height #=< FloorHeight,

	Rect = r(X, Width, Y, Height),
	Coord = [X, Width, Y, Height].

create_rect_min_area(FloorWidth, FloorHeight, MinRoomSize, Rect, Coord):-

	Rect = r(_, Width, _, Height),
	Width * Height #>= MinRoomSize,
	create_rect(FloorWidth, FloorHeight, Rect, Coord).

adjacent(r(X1, W1, Y1, H1), r(X2, W2, Y2, H2), Adj):- % <==== added "Adj" to have a refiable expression
	R1TopY #= Y1,
	R1LefX #= X1,
	R1BotY #= Y1 + H1,
	R1RigX #= X1 + W1,

	R2TopY #= Y2,
	R2LefX #= X2,
	R2BotY #= Y2 + H2,
	R2RigX #= X2 + W2,

	% r2 on top or at the bottom of r1
	R1TopY #= R2BotY #<==> OnTop,
	R1BotY #= R2TopY #<==> OnBot,
	((OnTop #\/ OnBot) #/\ ((R2RigX #>= R1LefX #/\ R2RigX #=< R1RigX)
							#\/ (R2LefX #>= R1LefX #/\ R2LefX #=< R1RigX)
							#\/ (R1RigX #>= R2LefX #/\ R1RigX #=< R2RigX)
							#\/ (R1LefX #>= R2LefX #/\ R1LefX #=< R2RigX)
							)
		) #<==> VertMidX,

	TopBot #= OnTop + OnBot + VertMidX,
	TopBot in 0..2,

	%r2 is to the left or right of
	R1LefX #= R2RigX #<==> OnLef,
	R1RigX #= R2LefX #<==> OnRig,
	((OnLef #\/ OnRig) #/\ ((R2TopY #>= R1TopY #/\ R2TopY #=< R1BotY)
							#\/ (R2BotY #>= R1TopY #/\ R2BotY #=< R1BotY)
							#\/ (R1TopY #>= R2TopY #/\ R1TopY #=< R2BotY)
							#\/ (R1BotY #>= R2TopY #/\ R1BotY #=< R2BotY)
						)

	) #<==> VertMidY,

	LefRig #= OnLef + OnRig + VertMidY,
	LefRig in 0..2,

	Side #= OnTop + OnBot + OnLef + OnRig,
	%Side #= 1,

	((TopBot #= 2 #\/ LefRig #= 2) #/\ Side #= 1) #<==> Adj.


/****************************checkAdjacency*********************************
makes sure rect i is adjacent to rect i+1
***********************************************************************/
% checkAdjacency([]).
checkAdjacency([_]).
checkAdjacency([H1 ,H2 | T]):-
	adjacent(H1, H2, Adj),
	Adj #= 1,
    checkAdjacency([H2 | T]).


% Test cases for adjacent
%R1 = r(0,  5, 0,  5), R2 = r(5,  5, 0,  5), R3 = r(10, 5, 0,  5), R4 = r(0,  5, 5,  5), R5 = r(5,  5, 5,  5), R6 = r(10, 5, 5,  5), R7 = r(0,  5, 10, 5), R8 = r(5,  5, 10, 5), R9 = r(10, 5, 10, 5), adjacent(R8,R9,Adj).
%R1 = r(0,  10, 0,  5), R2 = r(0,  6, 5,  17), R3 = r(6, 4, 5, 2), R4 = r(6, 4, 7, 15), adjacent(R1,R2,Adj).
%R1 = r(0, 5, 0, 15), R2 = r(5, 5, 0, 5), R3 = r(5, 5, 5, 5), R4 = r(5, 5, 10, 5), adjacent(R1,R2,Adj).