\( \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.11 - Kinetic Framework
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages
Kinetic::InstantaneousKernel Concept Reference

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

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

This must be a ring or field type.

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.