org.colomoto.biolqm

Interface StatefulLogicalModel

All Superinterfaces:

org.colomoto.biolqm.LogicalModel

All Known Implementing Classes:

StatefulLogicalModelImpl

public interface StatefulLogicalModel
extends org.colomoto.biolqm.LogicalModel

Extension of a logical model with the possibility to store initial states and oracles

Version:

1.0

Author:

Rui Henriques, Pedro Monteiro

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[]>> o) Stores a set of oracles within the model

Methods inherited from interface org.colomoto.biolqm.LogicalModel

clone, clone, fillExtraValues, getBooleanizedMap, getComponent, getComponentIndex, getComponents, getExtraComponents, getExtraLogicalFunctions, getExtraValue, getLayout, getLogicalFunctions, getMDDManager, getTargetValue, getView, hasExtraComponents, hasLayout, isBoolean

Method Detail

getInitialStates

List<byte[]> getInitialStates()

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

Returns:

list of initial states

getOracles

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

Gets the stored oracles

Returns:

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

setOracles

void setOracles(List<List<byte[]>> o)

Stores a set of oracles within the model

Parameters:

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

setInitialStates

void setInitialStates(List<byte[]> states)

Changes the set of initial states

Parameters:

states - list of initial states

getName

String getName()

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

Returns:

the name of the model