time_constraint.constr_eval
Class elhistory

java.lang.Object
  |
  +--time_constraint.constr_eval.request
        |
        +--time_constraint.constr_eval.elhistory
All Implemented Interfaces:
java.io.Serializable

public class elhistory
extends request
implements java.io.Serializable

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.

Since:
Version 1.2
Version:
1.0
Author:
Daniela Olivieri
See Also:
Serialized Form

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
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

time

public int time
Represents the time at which the request was made.
Since:
Version 1.0
Constructor Detail

elhistory

public elhistory(request r,
                 int time)
Creates a new elhistory and initializes request and time.
Parameters:
r - is an accepted request.
time - the time at which the request was made
Since:
Version 1.0
Method Detail

equal

public boolean equal(elhistory el)
Checks if the elhistory is equal to el. Returns TRUE if it is, FALSE otherwise.
Parameters:
el - is an elhistory.
Since:
Version 1.0

print_el

public void print_el()
Write an elhistory to standard output.
Since:
Version 1.0