\( \newcommand{\E}{\mathrm{E}} \) \( \newcommand{\A}{\mathrm{A}} \) \( \newcommand{\R}{\mathrm{R}} \) \( \newcommand{\N}{\mathrm{N}} \) \( \newcommand{\Q}{\mathrm{Q}} \) \( \newcommand{\Z}{\mathrm{Z}} \) \( \def\ccSum #1#2#3{ \sum_{#1}^{#2}{#3} } \def\ccProd #1#2#3{ \sum_{#1}^{#2}{#3} }\)

CGAL 4.8 - Kinetic Framework

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages
List of all members
Kinetic::InstantaneousKernel Concept Reference
Main Concepts

## Definition

The concept `Kinetic::InstantaneousKernel` covers models that act as adaptors allowing CGAL static data structures to act on snapshots of kinetic data. Different methods for evaluating predicates are used depending on whether time is set using an `NT` or a `Time` object. Evaluating predicates when time is the former is much cheaper.

Has Models:
  `CGAL::Kinetic::Default_instantaneous_kernel`

## Types
typedef unspecified_type | NT
| A number type which can be used to represent the current time. More...
typedef unspecified_type | Time
| The type used to represent the current time. More...

## Operations
Time | time ()
| Return the current time.
NT | time_as_nt ()
| Return the current time as an `NT`. More...
bool | time_is_nt ()
| Return true if the last time time was set, it was using an object of type `NT`.
void | set_time (Time)
| Set the current time to have a certain value. More...
void | set_time (NT)
| The the current time to be an instance of `NT`. More...
Static_object | static_object (Key)
| Return a static object corresponding to the kinetic object at this instant in time. More...

## Member Typedef Documentation

typedef unspecified_type Kinetic::InstantaneousKernel::NT

A number type which can be used to represent the current time.

This must be a ring or field type.

typedef unspecified_type Kinetic::InstantaneousKernel::Time

The type used to represent the current time.

This type must be comparable.

## Member Function Documentation

void Kinetic::InstantaneousKernel::set_time | ( | Time | ) |  |

Set the current time to have a certain value.

All existing predicates are updated automatically.

void Kinetic::InstantaneousKernel::set_time | ( | NT | ) |  |

The the current time to be an instance of `NT`.

With this more efficient techniques can be used. `time_is_nt()` must be true.

Static_object Kinetic::InstantaneousKernel::static_object | ( | Key | ) |  |

Return a static object corresponding to the kinetic object at this instant in time.

`time_is_nt()` must be true.

NT Kinetic::InstantaneousKernel::time_as_nt | ( | ) |  |

Return the current time as an `NT`.

As a precondition, `time_is_nt` must be true.