Defines the validator constraint "language".
- Ben Bornstein
This file provides C/C++ macros that make it possible to easily define validation rules for SBML. These are called "validation constraints" in SBML (not to be confused with the Constraint object in SBML). The validator works by applying such constraints to a Model object in memory. A constraint can have preconditions, invariants, and log failures. Failures are retrievable as SBMLError objects in the SBMLErrorLog attached to the SBMLDocument containing the model.
Users can define their own additional validation constraints using the facilities in this file and the Validator class. Please consult the code from existing validation constraints for examples about how to use this.