public class EnvId extends java.lang.Object implements IId, java.io.Serializable
Constructor and Description |
---|
EnvId(java.lang.String i) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getLocalName() |
boolean |
isAgent() |
boolean |
isEnv() |
boolean |
isTC() |
java.lang.String |
toString() |
alice.tuprolog.Term |
toTerm() |
public EnvId(java.lang.String i)
i
- the struct representing this environment identifierpublic java.lang.String getLocalName()
public boolean isAgent()
public boolean isEnv()
public boolean isTC()
public java.lang.String toString()
toString
in class java.lang.Object
public alice.tuprolog.Term toTerm()