|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--time_constraint.constr_eval.request | +--time_constraint.constr_eval.elhistory
The elhistory
class implements an element of the history.
The history consists of elhistory. An elhistory consists of a
request thet has been satisfied and the time at which it was made.
Field Summary | |
int |
time
Represents the time at which the request was made. |
Fields inherited from class time_constraint.constr_eval.request |
m, o1, o2, p |
Constructor Summary | |
elhistory(request r,
int time)
Creates a new elhistory and initializes request and time. |
Method Summary | |
boolean |
equal(elhistory el)
Checks if the elhistory is equal to el . |
void |
print_el()
Write an elhistory to standard output. |
Methods inherited from class java.lang.Object |
|
Field Detail |
public int time
Constructor Detail |
public elhistory(request r, int time)
elhistory
and initializes request and time.r
- is an accepted request.time
- the time at which the request was madeMethod Detail |
public boolean equal(elhistory el)
el
.
Returns TRUE if it is, FALSE otherwise.el
- is an elhistory.public void print_el()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |