Class InstanciateNode

java.lang.Object
  extended by Cluster
      extended by 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.


Field Summary
 
Fields inherited from class Cluster
id, instAry, modeAry, offset, varAry, width
 
Constructor Summary
InstanciateNode(int i)
           
 
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 Cluster
computeWidth, getId, getInstAry, getModeAry, getOffset, getVarAry, getWidth, setInstAry, setModeAry, setOffset
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

InstanciateNode

public InstanciateNode(int i)
Parameters:
i - ID of the instanciation node.
Method Detail

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