The functiondeftimereturns the set

Chức năngdeftimetrở lại các thiết lập của khoảng thời gian khi nhiệt độ di chuyển là deØned. Cácnhấtvị ngữ[3, 4, 6]Disjointkiểm tra cho dù chuyển động nhiệt độ và một khu vực di chuyển đang disjoint cho giai đoạn một số. Cácchức năngkhoảng cáchtính khoảng cách giữa hai điểm di chuyển và là một giá trị thực chức năng của thời gian, bị bắtở đây trong một kiểu dữ liệumrealchodi chuyển tập số thực. Predicate nhấtBên trongthử nghiệm cho dù nhiệt độ di chuyểnnằm bên trong một khu vực di chuyển trong một số thời gian. Hoạt độnggiao lộtrả về một phần của một điểm di chuyểnbất cứ khi nào, đô thị này nằm bên trong một khu vực di chuyển, mà là một điểm di chuyển một lần nữa. Predicate tô pôđáp ứngkiểm tracho dù một đối tượng điểm nằm trên ranh giới của một đối tượng vùng. Chức năngMinmang lại giá trị tối thiểugiả định theo thời gian bằng cách di chuyển một thực sự.

The function
deftime
returns the set of time intervals when a moving point is deØned. The
spatio-temporal
predicate
[3, 4, 6]
Disjoint
checks whether a moving point and a moving region are disjoint for some period. The
function
distance
computes the distance between two moving points and is a real-valued function of time, captured
here in a data type
mreal
for
moving reals
. The spatio-temporal predicate
Inside
tests whether a moving point
is located inside a moving region for some period. The operation
intersection
returns the part of a moving point
whenever it lies inside a moving region, which is a moving point again. The topological predicate
meet
checks
whether a point object is located on the boundary of a region object. The function
min
yields the minimal value
assumed over time by a moving real.