org.colomoto.biolqm

Class StatefulLogicalModelImpl

java.lang.Object

org.colomoto.biolqm.LogicalModelImpl

org.colomoto.biolqm.StatefulLogicalModelImpl

All Implemented Interfaces:

LogicalModel, StatefulLogicalModel

public class StatefulLogicalModelImpl
extends LogicalModelImpl
implements StatefulLogicalModel

Extension of a logical model with the possibility to maintain a set of initial states and oracles.
Implements the StatefulLogicalModel interface.

Author:

Rui Henriques

Field Summary

Fields

Modifier and Type	Field and Description
protected List<byte[]>	initialStates
protected String	name
protected List<List<byte[]>>	oracles

Constructor Summary

Constructors

Constructor and Description
StatefulLogicalModelImpl(List<NodeInfo> nodeOrder, org.colomoto.mddlib.MDDManager ddmanager, int[] functions, List<byte[]> states, String _name) Creates a stateful logical model based on a MDD
StatefulLogicalModelImpl(LogicalModel model, List<byte[]> states) Creates a stateful logical model based on an existing logical model
StatefulLogicalModelImpl(org.colomoto.mddlib.MDDManager ddmanager, List<NodeInfo> coreNodes, int[] coreFunctions, List<NodeInfo> extraNodes, int[] extraFunctions, List<byte[]> states, String _name) Creates a stateful logical model based on a MDD

Method Summary

Modifier and Type	Method and Description
List<byte[]>	getInitialStates() Gets the set of initial states defining a portion of the state-space
String	getName() Returns the model's name (by default the associated filename)
List<List<byte[]>>	getOracles() Gets the stored oracles
void	setInitialStates(List<byte[]> states) Changes the set of initial states
void	setOracles(List<List<byte[]>> oracle) Stores a set of oracles within the model
String	toString()

Methods inherited from class org.colomoto.biolqm.LogicalModelImpl

clone, getBooleanizedMap, getComponent, getComponents, getExtraComponents, getExtraLogicalFunctions, getExtraValue, getLogicalFunctions, getMDDManager, getNodeOrder, getTargetValue, getView, isBoolean

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.colomoto.biolqm.LogicalModel

clone, getBooleanizedMap, getComponent, getComponents, getExtraComponents, getExtraLogicalFunctions, getExtraValue, getLogicalFunctions, getMDDManager, getNodeOrder, getTargetValue, getView, isBoolean

Field Detail

initialStates

protected List<byte[]> initialStates

oracles

protected List<List<byte[]>> oracles

name

protected String name

Constructor Detail

StatefulLogicalModelImpl

public StatefulLogicalModelImpl(org.colomoto.mddlib.MDDManager ddmanager,
                                List<NodeInfo> coreNodes,
                                int[] coreFunctions,
                                List<NodeInfo> extraNodes,
                                int[] extraFunctions,
                                List<byte[]> states,
                                String _name)

Creates a stateful logical model based on a MDD

Parameters:

ddmanager - the MDD manager

coreNodes - the MDD core components

coreFunctions - the MDD core nodes

extraNodes - the MDD extra components

extraFunctions - the MDD extra nodes

states - the set of initial states

_name - the name of the logical model

StatefulLogicalModelImpl

public StatefulLogicalModelImpl(List<NodeInfo> nodeOrder,
                                org.colomoto.mddlib.MDDManager ddmanager,
                                int[] functions,
                                List<byte[]> states,
                                String _name)

Creates a stateful logical model based on a MDD

Parameters:

nodeOrder - the MDD components

ddmanager - the MDD manager

functions - the MDD nodes

states - the set of initial states

_name - the name of the logical model

StatefulLogicalModelImpl

public StatefulLogicalModelImpl(LogicalModel model,
                                List<byte[]> states)

Creates a stateful logical model based on an existing logical model

Parameters:

model - the logical model to clone

states - the set of initial states to be added

Method Detail

getName

public String getName()

Description copied from interface: StatefulLogicalModel

Returns the model's name (by default the associated filename)

Specified by:

getName in interface StatefulLogicalModel

Returns:

the name of the model

getInitialStates

public List<byte[]> getInitialStates()

Description copied from interface: StatefulLogicalModel

Gets the set of initial states defining a portion of the state-space

Specified by:

getInitialStates in interface StatefulLogicalModel

Returns:

list of initial states

getOracles

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

Description copied from interface: StatefulLogicalModel

Gets the stored oracles

Specified by:

getOracles in interface StatefulLogicalModel

Returns:

list of oracles where each oracle is defined as a set of state-patterns (null if not available)

setInitialStates

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

Description copied from interface: StatefulLogicalModel

Changes the set of initial states

Specified by:

setInitialStates in interface StatefulLogicalModel

Parameters:

states - list of initial states

setOracles

public void setOracles(List<List<byte[]>> oracle)

Description copied from interface: StatefulLogicalModel

Stores a set of oracles within the model

Specified by:

setOracles in interface StatefulLogicalModel

Parameters:

oracle - list of oracles, where each oracle is defined as a set of state-patterns

toString

public String toString()

Overrides:

toString in class Object