\( \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.3 - Kinetic Framework

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

## Definition

The concept `Kinetic::Kernel` acts as the kinetic analog of a CGAL kernel. It provides some set of primitives and predicats acting on them. The predicates are instances of `Kinetic::CertificateGenerator` and can be used to either create `Certificate`s or to evaluate instantaneous predicates.

Has Models:
  `CGAL::Kinetic::Cartesian<FunctionKernel>`

## Types
typedef unspecified_type | Motion_function
| The type which is used to represent coordinates of moving primitives. More...
typedef unspecified_type | Certificate
| The type representing the results of predicates. More...
typedef unspecified_type | Function_kernel
| The type of the function kernel used. More...

## Operations
Function_kernel | function_kernel_object () const
| Gets a copy of the function kernel.

## Member Typedef Documentation

typedef unspecified_type Kinetic::Kernel::Certificate

The type representing the results of predicates.

See `Kinetic::Certificate`.

typedef unspecified_type Kinetic::Kernel::Function_kernel

The type of the function kernel used.

See `Kinetic::FunctionKernel`.

typedef unspecified_type Kinetic::Kernel::Motion_function

The type which is used to represent coordinates of moving primitives.

It is a model of the concept `FunctionKernel::Function`. This is the analog of the CGAL kernel `RT`.