ecrc_solvers/chr/time-pc.pl

152 	coca(try_double(Q, path(M, B, C, N, E - F, O), J, path(A, B, C, D, E - F, G), path(R, S, T, U, V - W, X), path(Y, S, T, Z, V - W, A1), augmentation, ((intersection(U, Z, B1, V - W), length(B1, C1), D1 is min(X, A1)), 'CHRkeep_heads_checking'(path(R, S, T, U, V - W, X), E1, path(Y, S, T, Z, V - W, A1), F1, path(C1, S, T, B1, V - W, D1), G1)), 'CHRhead_not_kept'(G1) -> path(C1, S, T, B1, V - W, D1) ; true, intersect_xy_xy)),
180 	coca(try_double(Q, path(M, B, C, N, E - F, O), J, path(A, B, C, D, E - F, G), path(R, S, T, U, V - W, X), path(Y, S, T, Z, V - W, A1), augmentation, ((intersection(Z, U, B1, V - W), length(B1, C1), D1 is min(A1, X)), 'CHRkeep_heads_checking'(path(Y, S, T, Z, V - W, A1), E1, path(R, S, T, U, V - W, X), F1, path(C1, S, T, B1, V - W, D1), G1)), 'CHRhead_not_kept'(G1) -> path(C1, S, T, B1, V - W, D1) ; true, intersect_xy_xy)),
208 	coca(try_double(Q, path(M, C, B, N, F - E, O), J, path(A, B, C, D, E - F, G), path(R, S, T, U, V - W, X), path(Y, T, S, Z, W - V, A1), augmentation, ((equality([B1], W - W), transl(Z, C1, [B1], W - V - W), intersection(U, C1, D1, V - W), length(D1, E1), F1 is min(X, A1)), 'CHRkeep_heads_checking'(path(R, S, T, U, V - W, X), G1, path(Y, T, S, Z, W - V, A1), H1, path(E1, S, T, D1, V - W, F1), I1)), 'CHRhead_not_kept'(I1) -> path(E1, S, T, D1, V - W, F1) ; true, intersect_yx_xy)),
236 	coca(try_double(Q, path(M, C, B, N, F - E, O), J, path(A, B, C, D, E - F, G), path(R, S, T, U, V - W, X), path(Y, T, S, Z, W - V, A1), augmentation, ((equality([B1], V - V), transl(U, C1, [B1], V - W - V), intersection(Z, C1, D1, W - V), length(D1, E1), F1 is min(A1, X)), 'CHRkeep_heads_checking'(path(Y, T, S, Z, W - V, A1), G1, path(R, S, T, U, V - W, X), H1, path(E1, T, S, D1, W - V, F1), I1)), 'CHRhead_not_kept'(I1) -> path(E1, T, S, D1, W - V, F1) ; true, intersect_yx_xy)),
264 	coca(try_double(S, path(M, N, B, O, P - E, Q), J, path(A, B, C, D, E - F, G), path(T, U, V, W, X - Y, Z), path(A1, V, B1, C1, Y - D1, E1), augmentation, (nonground(V), E1 = 1, (Z = 1 -> U @< B1 ; true), transl(W, C1, F1, X - Y - D1), length(F1, G1), H1 is Z + E1), path(G1, U, B1, F1, X - D1, H1), propagate_xy_yz)),
286 	coca(try_double(S, path(M, C, N, O, F - P, Q), J, path(A, B, C, D, E - F, G), path(T, U, V, W, X - Y, Z), path(A1, B1, U, C1, D1 - X, E1), augmentation, (nonground(U), Z = 1, (E1 = 1 -> B1 @< V ; true), transl(C1, W, F1, D1 - X - Y), length(F1, G1), H1 is E1 + Z), path(G1, B1, V, F1, D1 - Y, H1), propagate_xy_yz)),
308 	coca(try_double(S, path(M, B, N, O, E - P, Q), J, path(A, B, C, D, E - F, G), path(T, U, V, W, X - Y, Z), path(A1, U, B1, C1, X - D1, E1), augmentation, (nonground(U), min(Z, E1, 1), V @< B1, transl(W, F1, C1, X - Y - D1), length(F1, G1), H1 is Z + E1), path(G1, V, B1, F1, Y - D1, H1), propagate_xy_xz)),
330 	coca(try_double(S, path(M, B, N, O, E - P, Q), J, path(A, B, C, D, E - F, G), path(T, U, V, W, X - Y, Z), path(A1, U, B1, C1, X - D1, E1), augmentation, (nonground(U), min(E1, Z, 1), B1 @< V, transl(C1, F1, W, X - D1 - Y), length(F1, G1), H1 is E1 + Z), path(G1, B1, V, F1, D1 - Y, H1), propagate_xy_xz)),
352 	coca(try_double(S, path(M, N, C, O, P - F, Q), J, path(A, B, C, D, E - F, G), path(T, U, V, W, X - Y, Z), path(A1, B1, V, C1, D1 - Y, E1), augmentation, (nonground(V), min(Z, E1, 1), U @< B1, transl(F1, C1, W, X - D1 - Y), length(F1, G1), H1 is Z + E1), path(G1, U, B1, F1, X - D1, H1), propagate_xy_zy)),
374 	coca(try_double(S, path(M, N, C, O, P - F, Q), J, path(A, B, C, D, E - F, G), path(T, U, V, W, X - Y, Z), path(A1, B1, V, C1, D1 - Y, E1), augmentation, (nonground(V), min(E1, Z, 1), B1 @< U, transl(F1, W, C1, D1 - X - Y), length(F1, G1), H1 is E1 + Z), path(G1, B1, U, F1, D1 - X, H1), propagate_xy_zy)),