Uses of Class
time_constraint.constr_eval.elhistory

Packages that use elhistory

mChaRM.mChaRMCollection
time_constraint.constr_eval

Uses of elhistory in mChaRM.mChaRMCollection

Methods in mChaRM.mChaRMCollection with parameters of type elhistory

void	validationChannel.updatehistory(elhistory el) Adds the just satisfied request el, timestamped with the current time, to the history.

Uses of elhistory in time_constraint.constr_eval

Methods in time_constraint.constr_eval with parameters of type elhistory

boolean	elhistory.equal(elhistory el) Checks if the elhistory is equal to el.
boolean	partialhistory.Contains(elhistory el) Checks if el is contained in the partialhistory.