public class NodeProfile
extends java.lang.Object
Constructor and Description |
---|
NodeProfile(java.lang.String name,
boolean exactMatchRequired) |
public NodeProfile(java.lang.String name, boolean exactMatchRequired)
public void addReq(Req req)
public void removeReq(Req req)
public Req[] getReqs()
public java.lang.String getName()
public boolean getExactMatchRequired()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
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.