Implementation of the SPARK Driver Function

This section provides information on how to implement the SPARK driver function. The code snippets are inspired from the default driver function implemented in the file sparksolver.cpp that comes with the SPARK distribution (See examples section). The default driver solves a single SPARK problem with the preference settings specified in the preference file (*.prf), and for the run control parameters specified in the run controls file (*.run).

See Description of the SPARK Build Process for more details on how to build a SPARK simulator.

• Header files to include in the C++ file implementing the driver function
• Start the simulation session
• Load a SPARK problem at runtime
• Load a statically-built SPARK problem
• Set up the runtime controls
• Set up the preference settings
• Solve the SPARK problem
• Re-solve the SPARK problem with different runtime controls
• End the simulation session
• Catch the runtime exceptions

---