Class InstanciateNode
java.lang.Object
Cluster
InstanciateNode
public class InstanciateNode
- extends Cluster
An instanciation node, a special node which is newly introduced in
the BN2Prism translator. An instanciation node corresponds to an
instanciation of a variable, and the ID of a instanciation node
is the ID of the instanciated variable.
Method Summary |
java.lang.String |
toPrismString()
Returns a string representation of the corresponding
"instanciate " literal. |
java.lang.String |
toPrismString2()
The same as toPrismString() . |
java.lang.String |
toString()
Returns an _internal_ string representation. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
InstanciateNode
public InstanciateNode(int i)
- Parameters:
i
- ID of the instanciation node.
toString
public java.lang.String toString()
- Returns an _internal_ string representation.
- Specified by:
toString
in class Cluster
toPrismString
public java.lang.String toPrismString()
- Returns a string representation of the corresponding
"
instanciate
" literal.
- Specified by:
toPrismString
in class Cluster
toPrismString2
public java.lang.String toPrismString2()
- The same as
toPrismString()
.
- Specified by:
toPrismString2
in class Cluster