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