org.ginsim.service.export.nusmv

Class NuSMVConfig

java.lang.Object

org.ginsim.service.export.nusmv.NuSMVConfig

All Implemented Interfaces:

NamedStateStore, UpdaterDefinitionStore

public class NuSMVConfig
extends Object
implements NamedStateStore, UpdaterDefinitionStore

Field Summary

Fields

Modifier and Type	Field and Description
static int	CFG_ASYNC
static int	CFG_COMPLETE
static int	CFG_PCLASS
static int	CFG_SYNC

Constructor Summary

Constructors

Constructor and Description
NuSMVConfig(org.colomoto.biolqm.LogicalModel model)

Method Summary

Modifier and Type	Method and Description
Map<NamedState,Object>	getInitialState()
Map<NamedState,Object>	getInputState()
org.colomoto.biolqm.LogicalModel	getModel()
int	getUpdatePolicy()
UpdaterDefinition	getUpdatingMode() Retrieve the stored definition
boolean	isFixedInputs()
void	setFixedInputs(boolean isFixed)
void	setUpdatePolicy()
void	setUpdatePolicy(int policy)
void	setUpdatingMode(UpdaterDefinition pcdef) Store a priority definition
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

Field Detail

CFG_SYNC

public static final int CFG_SYNC

See Also:

Constant Field Values

CFG_ASYNC

public static final int CFG_ASYNC

See Also:

Constant Field Values

CFG_PCLASS

public static final int CFG_PCLASS

See Also:

Constant Field Values

CFG_COMPLETE

public static final int CFG_COMPLETE

See Also:

Constant Field Values

Constructor Detail

NuSMVConfig

public NuSMVConfig(org.colomoto.biolqm.LogicalModel model)

Parameters:

model -

Method Detail

setUpdatePolicy

public void setUpdatePolicy()

updateModel

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

setUpdatePolicy

public void setUpdatePolicy(int policy)

getUpdatePolicy

public int getUpdatePolicy()

getInitialState

public Map<NamedState,Object> getInitialState()

Specified by:

getInitialState in interface NamedStateStore

getInputState

public Map<NamedState,Object> getInputState()

Specified by:

getInputState in interface NamedStateStore

getModel

public org.colomoto.biolqm.LogicalModel getModel()

setFixedInputs

public void setFixedInputs(boolean isFixed)

isFixedInputs

public boolean isFixedInputs()

getUpdatingMode

public UpdaterDefinition getUpdatingMode()

Description copied from interface: UpdaterDefinitionStore

Retrieve the stored definition

Specified by:

getUpdatingMode in interface UpdaterDefinitionStore

Returns:

the stored class

setUpdatingMode

public void setUpdatingMode(UpdaterDefinition pcdef)

Description copied from interface: UpdaterDefinitionStore

Store a priority definition

Specified by:

setUpdatingMode in interface UpdaterDefinitionStore