Replaced "constraints" method inside the "discrete_step" function of OCT and DBM sstate with "add_space_dimensions_and_embed"; the latter is more efficient regarding time cost.
Updated the Makefile.am file.
Added a FORTS model for critical instants of single processor FP scheduling with 3 tasks.
Modified test cases to work with PPL::NNC_Polyhedron instead of PPL::C_Polyhedron.
Corrected a bug : the invariant cvx for initial OCT and DBM sstate was not constructed; added test cases.
Now the invariant cvx in a (origin, oct and dbm) sstate is constructed when entering a new sstate by constructor or discrete_step(), and is destroyed in the end of continuous_step().
Re-Organized the "models" directory.
Added several more models on uniprocessor scheduling. Seperated declaration and definition of class "Signature" into an individual file. Merged "edge_factory" in "parallel" branch into "refactoring" branch.
In this version, there is no check for sstates in "Space" and "current" to see if they are contained in some just generated sstate.
Added macro FORTS_PPL_PATCH to call our more efficient time-elapse function for Octogan and DBM.
Removed redundant files.