Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members | File Members | Related Pages | Examples

exitcode.h File Reference

Definition of the exit codes returned by the SPARK solver. More...

This graph shows which files directly or indirectly include this file:

Included by dependency graph

Go to the source code of this file.

Namespaces

namespace  SPARK

Detailed Description

Definition of the exit codes returned by the SPARK solver.

This header file defines the SPARK::ExitCodes enum that the is returned by the SPARK solver in case of abnormal execution. The main() driver function returns the value SPARK::ExitCode_OK if the simulation is successful.

Author:
Dimitri Curtil (LBNL/SRG)
Date:
June 28, 2002
Attention:
PORTIONS COPYRIGHT (C) 2003 AYRES SOWELL ASSOCIATES, INC.
PORTIONS COPYRIGHT (C) 2003 THE REGENTS OF THE UNIVERSITY OF CALIFORNIA . PENDING APPROVAL BY THE US DEPARTMENT OF ENERGY. ALL RIGHTS RESERVED.

Generated on 5 Nov 2003 for VisualSPARK 2.01