refine
Refines the current signal given the argument's update data by setting the signal value in the time interval: [u.getStart(), u.getEnd()).
An IllegalArgumentException is thrown whenever the value value is not in the current intervals in the time interval [from,to).
Requires: !segments.isEmpty()
Return
the list of updated segments.
Parameters
u
update data, containing the time instants at which the update starts and ends, and the new value.
See also
Performs an update of the internal representation of the signal, given the data available in the update.
Return
true if the refinement actually updates the signal. false otherwise
Parameters
updates
the new data available from new knowledge
Throws
when not allowed by implementors