CGAL 4.7 - Kinetic Framework

## Concepts

conceptKinetic::CertificateGenerator
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). More...

conceptKinetic::EventQueue
The concept for priority queues used by the Simulator. The concept basically defines a priority queue which supports deletions and changes of items in the queue (but not their priorities). Items in the queue must implement the Event concept. More...

conceptKinetic::FunctionKernel::Function
The concept Function represents a function. More...

conceptKinetic::FunctionKernel::ConstructFunction
The concept ConstructFunction is used to construct functions. More...

conceptKinetic::Key
The concept Key is a unique identifier for something in some sort of table. In general, they can be only created by the table and are returned when a appropriate new_foo() method is called on the table. There are two classes of values for a Key, valid and invalid. The latter cannot refer to something in a table. Use the method is_valid() to differentiate. More...

conceptKinetic::Certificate
The concept Kinetic::Certificate represents certificate. Its main purpose is to provide a way of creating Time objects corresponding to when the certificate fails and to cache any useful work done in find the Time for later. More...

conceptKinetic::RootStack
The concept Kinetic::RootStack enumerates through roots of a function contained in a half open interval [lb $$\dots$$ ub). More...

conceptKinetic::Simulator::Time
The concept Time represents time in the simulator. More...

conceptKinetic::Simulator::Event
The concept Event represents a single event. Models of Event should be passed to the Kinetic::Simulator when scheduling events which will in turn pass them to the EventQueue. More...