org.ginsim.service.export.prism

Class PRISMConfig

java.lang.Object

org.ginsim.service.export.prism.PRISMConfig

All Implemented Interfaces:

NamedStateStore

public class PRISMConfig
extends Object
implements NamedStateStore

Constructor Summary

Constructors

Constructor and Description
PRISMConfig(RegulatoryGraph graph)

Method Summary

Modifier and Type	Method and Description
RegulatoryGraph	getGraph()
Map<NamedState,Object>	getInitialState()
Map<NamedState,Object>	getInputState()
org.colomoto.biolqm.LogicalModel	getModel()
void	updateModel(org.colomoto.biolqm.LogicalModel model)

Methods inherited from class java.lang.Object

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

Constructor Detail

PRISMConfig

public PRISMConfig(RegulatoryGraph graph)

Parameters:

graph -

Method Detail

updateModel

public void updateModel(org.colomoto.biolqm.LogicalModel model)

getInitialState

public Map<NamedState,Object> getInitialState()

Specified by:

getInitialState in interface NamedStateStore

getInputState

public Map<NamedState,Object> getInputState()

Specified by:

getInputState in interface NamedStateStore

getGraph

public RegulatoryGraph getGraph()

getModel

public org.colomoto.biolqm.LogicalModel getModel()