Symbolic Analysis

Collaboration diagram for Symbolic Analysis:

Modules
	ODE Construction: SBML reactions -> SBML rate rules
	This module contains all functions to condense the reaction network of an input models to an output model only consisting of SBML rate rules, representing an ODE system f(x,p,t) = dx/dt.
	ODE Model: f(x,p,t) = dx/dt
	This module contains all functions to create and interface the internal ODE Model it's Jacobian matrix and other derivatives.
	Formula Processing: f(x), df/dx
	This module contains all functions for evaluation of and symbolic operations on formulae represented as libSBML Abstract Syntax Trees (AST).

---