org.ginsim.service.export.cadp

Class CADPWriter.InitialStateWriter

java.lang.Object

org.ginsim.service.export.cadp.CADPWriter.InitialStateWriter

Enclosing class:

CADPWriter

public class CADPWriter.InitialStateWriter
extends Object

Constructor Summary

Constructors

Constructor and Description
InitialStateWriter(List<byte[]> initialStates, List<Map.Entry<RegulatoryNode,Integer>> listExternal, boolean dummy)
InitialStateWriter(List<byte[]> initialStates, List<RegulatoryNode> listNodes)

Method Summary

Modifier and Type	Method and Description
String	typedMixedList()
String	typedSimpleList(int moduleId)
String	typedStateConcat(int moduleId)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InitialStateWriter

public InitialStateWriter(List<byte[]> initialStates,
                          List<RegulatoryNode> listNodes)

InitialStateWriter

public InitialStateWriter(List<byte[]> initialStates,
                          List<Map.Entry<RegulatoryNode,Integer>> listExternal,
                          boolean dummy)

Method Detail

typedSimpleList

public String typedSimpleList(int moduleId)

typedStateConcat

public String typedStateConcat(int moduleId)

typedMixedList

public String typedMixedList()