Uses of Class

Packages that use elhistory

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.