Apply a lifted function to a temporal continuous sequence and a base value.
- Parameters
-
[in] | seq | Temporal value |
[in] | value | Base value |
[in] | lfinfo | Information about the lifted function |
- Precondition
- The lifted function is discontinuous
- Note
- All ever/always functions currently available, that is, comparisons (=, <, ...) and spatial relationship (contains, intersects, ...), are discontinuous. When this would be no longer the case, additional functions must be added to take account of the remaining cases