Freeze operator added to formulae. Predicates not yet changed.
Freeze operator addition loading and storage tested.
Merge branch 'master' into stlstar
Got rid of signals. Should still compute robustness correctly (but all linear predicates use only 1 as a variable multiplier).
Reading and writing of predicates with frozen time done. The disregard the frozen time values so far.
Star number of a formula introduced.
Corrected some test errors introduced by foreign class interface change.
Serialization issues corrected.
Monitors (and predicate) changed so they work as before.
Predicates now able to work with frozen times.
Structures for verifiying STL*.
Predicate STL* monitor.
Star number and stars are now moved to predicates -- the will be propageted in a separate formula.
Structure to compute unfrozen variables in a STL* formula.
Created abstract STL* monitor.
Adder pointwise operators.
Removed duplicate constructor parameters.
Freeze operator.
AbstractStarMonitor refactored.
AbstractStarMonitor now truncates too long coordinates.