Class VectorsForServerRequest

java.lang.Object

NetStrategies.TransitionUtilities.VectorsForServerRequest

public class VectorsForServerRequest
extends Object

Vectors describing a request submitted to a server.

Constructor Summary

Constructors

Constructor	Description
VectorsForServerRequest(TransitionVector enabling, TransitionVector resource, int numberOfRequestsToNodes)

Method Summary

Modifier and Type	Method	Description
TransitionVector	getEnabling()
int	getRequestsToNodes()
TransitionVector	getResource()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

VectorsForServerRequest

public VectorsForServerRequest(TransitionVector enabling,
 TransitionVector resource,
 int numberOfRequestsToNodes)

Method Details

getEnabling

public TransitionVector getEnabling()

getResource

public TransitionVector getResource()

getRequestsToNodes

public int getRequestsToNodes()