SPARK | Definitions of numerical constants, math functions, and the various types used to describe a SPARK problem |
SPARK::AtomicClass | Definition of the atomic class API library used to manage the private data from the callbacks asociated with each SPARK::TObject and SPARK::TInverse instances |
SPARK::Requests | Declarations of classes and functions needed to send/dispatch/process the SPARK requests |
SPARK::Variable | Definition of classes and free functions used to implement the SPARK::TVariable class and the various interfaces to a SPARK::TVariable object |