|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectorg.jcsp.net.settings.Spec
org.jcsp.net.settings.Memory
public class Memory
Used internally within the JCSP network infrastructure to represent a memory value.
| Field Summary |
|---|
| Method Summary | |
|---|---|
boolean |
equals(java.lang.Object o)
|
java.lang.String |
getStringValue()
|
int |
getValue()
|
int |
hashCode()
|
| Methods inherited from class org.jcsp.net.settings.Spec |
|---|
getName, toString |
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Method Detail |
|---|
public java.lang.String getStringValue()
getStringValue in class Specpublic boolean equals(java.lang.Object o)
equals in class Specpublic int hashCode()
hashCode in class Specpublic int getValue()
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||