public class NodeProfiles extends Object
Constructor and Description |
---|
NodeProfiles() |
Modifier and Type | Method and Description |
---|---|
void |
addProfile(NodeProfile p) |
NodeProfile |
getLastProfile() |
NodeProfile |
getProfile(String name) |
NodeProfile[] |
getProfiles() |
void |
removeProfile(NodeProfile p) |
String |
toString() |
public void addProfile(NodeProfile p)
public void removeProfile(NodeProfile p)
public NodeProfile getProfile(String name)
public NodeProfile[] getProfiles()
public NodeProfile getLastProfile()
Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.