org.ginsim.service.export.cadp

Class CADPExportConfig

java.lang.Object

org.ginsim.service.export.cadp.CADPExportConfig

public class CADPExportConfig
extends Object

Class containing all the information required for the specification of the composition to be provided via LTS abstraction and minimisation using CADP

Author:

Nuno D. Mendes

Constructor Summary

Constructors

Constructor and Description
CADPExportConfig(RegulatoryGraph graph)

Method Summary

Modifier and Type	Method and Description
void	addInitialState(byte[] initialState)
void	addInitialState(int index, byte[] initialState)
void	addVisible(RegulatoryNode node)
String	getBCGIntegrationFilename(RegulatoryNode node, int moduleId)
String	getBCGModelFilename(int moduleId)
List<List<byte[]>>	getCompatibleReducedStableStates()
List<List<byte[]>>	getCompatibleStableStates()
String	getExpFilename()
RegulatoryGraph	getGraph()
List<byte[]>	getInitialStates()
List<RegulatoryNode>	getListVisible()
String	getLNTIntegrationFilename()
String	getLNTModelFilename()
IntegrationFunctionMapping	getMapping()
String	getMCLPropertyFileName(List<byte[]> globalReducedStableState)
String	getModelName()
String	getSvlFilename()
Topology	getTopology()
void	setCompatibleStableStates(List<List<byte[]>> compatibleStableStates)
void	setInitialStates(List<byte[]> initialStates)
void	setListVisible(List<RegulatoryNode> listVisible)
void	setMapping(IntegrationFunctionMapping mapping)
void	setModelName(String modelName)
void	setReducedCompatibleStableStates(List<List<byte[]>> compatibleReducedStableStates)
void	setTopology(Topology topology)

Methods inherited from class java.lang.Object

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

Constructor Detail

CADPExportConfig

public CADPExportConfig(RegulatoryGraph graph)

Method Detail

getModelName

public String getModelName()

setModelName

public void setModelName(String modelName)

getTopology

public Topology getTopology()

setTopology

public void setTopology(Topology topology)

getMapping

public IntegrationFunctionMapping getMapping()

setMapping

public void setMapping(IntegrationFunctionMapping mapping)

getListVisible

public List<RegulatoryNode> getListVisible()

setListVisible

public void setListVisible(List<RegulatoryNode> listVisible)

addVisible

public void addVisible(RegulatoryNode node)

getInitialStates

public List<byte[]> getInitialStates()

setInitialStates

public void setInitialStates(List<byte[]> initialStates)

addInitialState

public void addInitialState(int index,
                            byte[] initialState)

addInitialState

public void addInitialState(byte[] initialState)

getGraph

public RegulatoryGraph getGraph()

getLNTModelFilename

public String getLNTModelFilename()

getBCGModelFilename

public String getBCGModelFilename(int moduleId)

getLNTIntegrationFilename

public String getLNTIntegrationFilename()

getBCGIntegrationFilename

public String getBCGIntegrationFilename(RegulatoryNode node,
                                        int moduleId)

getExpFilename

public String getExpFilename()

getSvlFilename

public String getSvlFilename()

getMCLPropertyFileName

public String getMCLPropertyFileName(List<byte[]> globalReducedStableState)

setCompatibleStableStates

public void setCompatibleStableStates(List<List<byte[]>> compatibleStableStates)

getCompatibleStableStates

public List<List<byte[]>> getCompatibleStableStates()

setReducedCompatibleStableStates

public void setReducedCompatibleStableStates(List<List<byte[]>> compatibleReducedStableStates)

getCompatibleReducedStableStates

public List<List<byte[]>> getCompatibleReducedStableStates()