CGAL 4.7 - Kinetic Framework: Kinetic::CertificateGenerator Concept Reference

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

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

## Definition

This functor allows you to create certificate objects of some type. The models of this "concept" take some set of arguments which depend on the certificate being computed (for example three points for a two dimensional orientation) followed by either one or two instances of the `Kinetic::Simulator::Time` concept. The functions either return a `Certificate` or the corresponding value at the current time (if only a time value rather than an interval is passed).

Has Models:
  All over the place.

See Also
  `Kinetic::KineticKernel`

Example

Here you see how to use both functions on an orientation predicate.

KineticKernel::Point_2 a,b,c;
Simulator::Handle sh;
KineticKernek kk;
KineticKernel::Orientation_2 o2= kk.orientation_2_object();
KineticKernel::Certificate c= o2(a,b,c, sh->current_time(), sh->end_time());
if (c.will_fail()) {
std::cout << "Certificate will fail" << std::endl;
}
// Compute the sign immediately following the current time
CGAL::Sign sn= o2(a,c,b, sh->current_time());
CGAL_postcondition(sn==CGAL::NEGATIVE);

## Operations

Certificate | operator() (Args, Time begin, Time end)
| Return a `Certifate` object for the corresponding certificate.
CGAL::Sign | operator() (Args, Time t)
| Compute the sign of the function at \( \lim_{\delta\rightarrow0} t+\delta\). More...

## Member Function Documentation

CGAL::Sign Kinetic::CertificateGenerator::operator() | ( | Args | ,
|  | Time | t
| ) |  |

Compute the sign of the function at \( \lim_{\delta\rightarrow0} t+\delta\).

This can be used to evaluate predicates at the current moment.