# =========================================================================== # RENAMING TABLE AND WEAKENING (used for test purpose) # --------------------------------------------------------------------------- # genuine A13 curalg := genuine13: defalg(genuine13, {b, d, o, s, f, m, e}, e, {e}, # Neighborhood structure [Noekel 88] {[b,m],[m,o],[o,s],[o,i(f)],[i(f),e],[s,e],[i(f),i(d)],[s,d]}, # Table de transitivite' [Allen 83] table([ (e,e) = {e}, # compulsory for the programme termination (e,b) = {b}, (e,m) = {m}, (e,o) = {o}, (e,f) = {f}, (e,s) = {s}, (e,d) = {d}, (b,e) = {b}, (b,b) = {b}, (b,d) = {b,o,m,d,s}, (b,f) = {b,o,m,d,s}, (b,i(b)) = {b,d,o,s,f,m,e,i(m),i(f),i(s),i(o),i(d),i(b)}, (b,i(d)) = {b}, (b,i(f)) = {b}, (b,i(m)) = {b,o,m,d,s}, (b,i(o)) = {b,o,m,d,s}, (b,i(s)) = {b}, (b,m) = {b}, (b,o) = {b}, (b,s) = {b}, (d,e) = {d}, (d,b) = {b}, (d,d) = {d}, (d,f) = {d}, (d,i(d)) = {b,d,o,s,f,m,e,i(m),i(f),i(s),i(o),i(d),i(b)}, (d,i(f)) = {b,o,m,d,s}, (d,i(s)) = {d,f,i(o),i(m),i(b)}, (d,i(o)) = {d,f,i(o),i(m),i(b)}, (d,i(m)) = {i(b)}, (d,i(b)) = {i(b)}, (d,m) = {b}, (d,o) = {b,o,m,d,s}, (d,s) = {d}, (f,e) = {f}, (f,b) = {b}, (f,d) = {d}, (f,f) = {f}, (f,i(f)) = {f,i(f),e}, (f,m) = {m}, (f,o) = {o,d,s}, (f,s) = {d}, (f,i(m)) = {i(b)}, (f,i(b)) = {i(b)}, (f,i(s)) = {i(o),i(m),i(b)}, (f,i(o)) = {i(o),i(m),i(b)}, (f,i(d)) = {i(o),i(m),i(b),i(s),i(d)}, (m,e) = {m}, (m,b) = {b}, (m,d) = {o,d,s}, (m,f) = {o,d,s}, (m,i(b)) = {i(o),i(s),i(d),i(m),i(b)}, (m,i(d)) = {b}, (m,i(f)) = {b}, (m,i(m)) = {f,i(f),e}, (m,i(o)) = {o,d,s}, (m,i(s)) = {m}, (m,m) = {b}, (m,o) = {b}, (m,s) = {m}, (o,e) = {o}, (o,b) = {b}, (o,d) = {o,d,s}, (o,f) = {o,d,s}, (o,i(b)) = {i(o),i(s),i(b),i(m),i(d)}, (o,i(m)) = {i(o),i(d),i(s)}, (o,i(s)) = {o,i(d),i(f)}, (o,i(d)) = {b,o,m,i(d),i(f)}, (o,i(f)) = {b,o,m}, (o,i(o)) = {o,i(o),d,i(d),s,i(s),f,i(f),e}, (o,m) = {b}, (o,o) = {b,o,m}, (o,s) = {o}, (s,e) = {s}, (s,b) = {b}, (s,d) = {d}, (s,f) = {d}, (s,i(d)) = {b,o,m,i(d),i(f)}, (s,i(f)) = {b,o,m}, (s,i(o)) = {i(o),d,f}, (s,i(s)) = {s,e,i(s)}, (s,i(m)) = {i(m)}, (s,i(b)) = {i(b)}, (s,m) = {b}, (s,o) = {b,o,m}, (s,s) = {s}, (i(b),b) = {b,d,o,s,f,m,e,i(m),i(f),i(s),i(o),i(d),i(b)}, (i(b),m) = {d,f,i(o),i(m),i(b)}, (i(b),o) = {d,f,i(o),i(m),i(b)}, (i(b),s) = {d,f,i(o),i(m),i(b)}, (i(b),d) = {d,f,i(o),i(m),i(b)}, (i(b),f) = {i(b)}, (i(d),b) = {b,o,m,i(d),i(f)}, (i(d),d) = {o,i(o),d,i(d),s,i(s),f,i(f),e}, (i(d),m) = {o,i(f),i(d)}, (i(d),o) = {o,i(f),i(d)}, (i(d),s) = {o,i(f),i(d)}, (i(d),f) = {i(o),i(s),i(d)}, (i(f),b) = {b}, (i(f),d) = {o,d,s}, (i(f),f) = {f,i(f),e}, (i(f),m) = {m}, (i(f),o) = {o}, (i(f),s) = {o}, (i(m),b) = {b,o,m,i(d),i(f)}, (i(m),d) = {i(o),d,f}, (i(m),m) = {s,e,i(s)}, (i(m),o) = {i(o),d,f}, (i(m),s) = {i(o),d,f}, (i(m),f) = {i(m)}, (i(o),b) = {b,o,m,i(d),i(f)}, (i(o),d) = {i(o),d,f}, (i(o),o) = {o,i(o),d,i(d),s,i(s),f,i(f),e}, (i(o),s) = {i(o),d,f}, (i(o),f) = {i(o)}, (i(o),m) = {o,i(f),i(d)}, (i(s),b) = {b,o,m,i(d),i(f)}, (i(s),d) = {i(o),d,f}, (i(s),m) = {o,i(f),i(d)}, (i(s),o) = {o,i(f),i(d)}, (i(s),f) = {i(o)}, (i(s),s) = {s,e,i(s)} ]), # upward/downward operator [Euzenat 93] table([ (e) = {e}, (b) = {b,m}, (m) = {m}, (o) = {o,i(f),s,m,e}, (d) = {d,f,s,e}, (s) = {s,e}, (f) = {f,e} ]), table([ (e) = {o,i(f),i(d),s,e,i(s),d,f,i(o)}, (b) = {b}, (m) = {b,m,o}, (o) = {o}, (d) = {d}, (s) = {o,s,d}, (f) = {d,f,(o)} ]) ): # Table for transforming the interval notation into a symbolic notation intervaltablefp13 := table([ [anterior,anterior,anterior,anterior] = b, [anterior,anterior,equals,anterior] = m, [anterior,anterior,uncomparable,anterior] = k, [anterior,anterior,uncomparable,uncomparable] = h, [anterior,anterior,i(anterior),anterior] = o, [anterior,anterior,i(anterior),equals] = i(f), [anterior,anterior,i(anterior),uncomparable] = p, [anterior,anterior,i(anterior),i(anterior)] = i(d), [equals,anterior,i(anterior),anterior] = s, [equals,anterior,i(anterior),equals] = e, [equals,anterior,i(anterior),uncomparable] = y, [equals,anterior,i(anterior),i(anterior)] = i(s), [uncomparable,anterior,uncomparable,anterior] = j, [uncomparable,anterior,uncomparable,uncomparable] = z, [uncomparable,anterior,i(anterior),anterior] = q, [uncomparable,anterior,i(anterior),equals] = g, [uncomparable,anterior,i(anterior),uncomparable] = x, [uncomparable,anterior,i(anterior),i(anterior)] = i(q), [uncomparable,uncomparable,uncomparable,uncomparable] = ii, [uncomparable,uncomparable,i(anterior),uncomparable] = i(z), [uncomparable,uncomparable,i(anterior),i(anterior)] = i(j), [i(anterior),anterior,i(anterior),anterior] = d, [i(anterior),anterior,i(anterior),equals] = f, [i(anterior),anterior,i(anterior),uncomparable] = i(p), [i(anterior),anterior,i(anterior),i(anterior)] = i(o), [i(anterior),equals,i(anterior),i(anterior)] = i(m), [i(anterior),uncomparable,i(anterior),uncomparable] = i(h), [i(anterior),uncomparable,i(anterior),i(anterior)] = i(k), [i(anterior),i(anterior),i(anterior),i(anterior)] = i(b) ]):