org.colomoto.biolqm

Class LogicalModelImpl

java.lang.Object

org.colomoto.biolqm.LogicalModelImpl

All Implemented Interfaces:

LogicalModel

public class LogicalModelImpl
extends Object
implements LogicalModel

Implementation of the LogicalModel interface.

Author:

Aurelien Naldi

Constructor Summary

Constructors

Constructor and Description
LogicalModelImpl(List<NodeInfo> nodeOrder, org.colomoto.mddlib.MDDManager ddmanager, int[] functions)
LogicalModelImpl(org.colomoto.mddlib.MDDManager ddmanager, List<NodeInfo> coreNodes, int[] coreFunctions, List<NodeInfo> extraNodes, int[] extraFunctions)

Method Summary

Modifier and Type	Method and Description
LogicalModel	clone() Make a copy of this model.
LogicalModel	clone(boolean keepExtra)
void	fillExtraValues(byte[] state, byte[] extra) Compute the value of all extra components for a given state.
Map<String,NodeInfo[]>	getBooleanizedMap() Get the Boolean - multi-valued mapping information for booleanized models.
NodeInfo	getComponent(String id) Retrieve a component by name.
int	getComponentIndex(String id) Retrieve a component by name.
List<NodeInfo>	getComponents() Get the list of core nodes in this model.
List<NodeInfo>	getExtraComponents() Get the list of extra components in this model.
int[]	getExtraLogicalFunctions() Get the logical function of extra components in this model.
byte	getExtraValue(int nodeIdx, byte[] state) Compute the value of an extra component for a given state.
ModelLayout	getLayout() Retrieve the associated layout information.
int[]	getLogicalFunctions() Get the logical function of core components in this model.
org.colomoto.mddlib.MDDManager	getMDDManager() Get the MDD factory holding logical functions for this model.
byte	getTargetValue(int nodeIdx, byte[] state) Compute the target value of a core component for a given state.
LogicalModel	getView(List<NodeInfo> neworder) Get a logical model with the same nodes but a different order for the core components.
boolean	hasExtraComponents() Check if the model has extra component(s).
boolean	hasLayout() Check if this model has associated layout information.
boolean	isBoolean() Check if this model is Boolean.

Methods inherited from class java.lang.Object

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

Constructor Detail

LogicalModelImpl

public LogicalModelImpl(org.colomoto.mddlib.MDDManager ddmanager,
                        List<NodeInfo> coreNodes,
                        int[] coreFunctions,
                        List<NodeInfo> extraNodes,
                        int[] extraFunctions)

LogicalModelImpl

public LogicalModelImpl(List<NodeInfo> nodeOrder,
                        org.colomoto.mddlib.MDDManager ddmanager,
                        int[] functions)

Method Detail

getMDDManager

public org.colomoto.mddlib.MDDManager getMDDManager()

Description copied from interface: LogicalModel

Get the MDD factory holding logical functions for this model.

Specified by:

getMDDManager in interface LogicalModel

Returns:

the MDD factory in which logical function are stored.

getComponents

public List<NodeInfo> getComponents()

Description copied from interface: LogicalModel

Get the list of core nodes in this model. Logical functions for these nodes (in the same order) can be obtained with the getLogicalFunctions() method.

Specified by:

getComponents in interface LogicalModel

Returns:

the list of nodeInfo objects for core components.

getLogicalFunctions

public int[] getLogicalFunctions()

Description copied from interface: LogicalModel

Get the logical function of core components in this model. The order used is the same as for getNodeOrder(). These functions are just identifiers, actual functions are stored in the MDD factory provided by getMDDManager.

Specified by:

getLogicalFunctions in interface LogicalModel

Returns:

the list of logical function identifiers for core components

getExtraComponents

public List<NodeInfo> getExtraComponents()

Description copied from interface: LogicalModel

Get the list of extra components in this model. Extra components have logical functions, but do not regulate any component, they are thus NOT considered as variables in the MDDManager. Logical functions for these nodes (in the same order) can be obtained with the getExtraLogicalFunctions() method.

Specified by:

getExtraComponents in interface LogicalModel

Returns:

the list of nodeInfo objects for extra components.

hasExtraComponents

public boolean hasExtraComponents()

Description copied from interface: LogicalModel

Check if the model has extra component(s). If this returns true, then the getExtraComponents() and getExtraLogicalFunctions() methods should not return null.

Specified by:

hasExtraComponents in interface LogicalModel

Returns:

true is there is at least one extra component

getExtraLogicalFunctions

public int[] getExtraLogicalFunctions()

Description copied from interface: LogicalModel

Get the logical function of extra components in this model. The order used is the same as for getExtraNodes(). These functions are just identifiers, actual functions are stored in the MDD factory provided by getMDDManager().

Specified by:

getExtraLogicalFunctions in interface LogicalModel

Returns:

the list of logical function identifiers for extra components

clone

public LogicalModel clone()

Description copied from interface: LogicalModel

Make a copy of this model. This will duplicate logical functions pointers, but not the actual MDD Factory.

Specified by:

clone in interface LogicalModel

Overrides:

clone in class Object

Returns:

a copy of this model.

clone

public LogicalModel clone(boolean keepExtra)

Specified by:

clone in interface LogicalModel

getTargetValue

public byte getTargetValue(int nodeIdx,
                           byte[] state)

Description copied from interface: LogicalModel

Compute the target value of a core component for a given state.

Specified by:

getTargetValue in interface LogicalModel

Parameters:

nodeIdx - index of the component in the core node order

state - value of components

Returns:

the target value reached for this state

getExtraValue

public byte getExtraValue(int nodeIdx,
                          byte[] state)

Description copied from interface: LogicalModel

Compute the value of an extra component for a given state.

Specified by:

getExtraValue in interface LogicalModel

Parameters:

nodeIdx - index of the component in the extra node order

state - value of components

Returns:

the computed value for this state

fillExtraValues

public void fillExtraValues(byte[] state,
                            byte[] extra)

Description copied from interface: LogicalModel

Compute the value of all extra components for a given state.

Specified by:

fillExtraValues in interface LogicalModel

Parameters:

state - value of components

extra - an array of the right size to fill

getView

public LogicalModel getView(List<NodeInfo> neworder)

Description copied from interface: LogicalModel

Get a logical model with the same nodes but a different order for the core components.

Specified by:

getView in interface LogicalModel

Parameters:

neworder - the desired ordered list of components

Returns:

a re-ordered view of the same model

isBoolean

public boolean isBoolean()

Description copied from interface: LogicalModel

Check if this model is Boolean.

Specified by:

isBoolean in interface LogicalModel

Returns:

true if the model has no multivalued components, false otherwise.

getComponent

public NodeInfo getComponent(String id)

Description copied from interface: LogicalModel

Retrieve a component by name.

Specified by:

getComponent in interface LogicalModel

Parameters:

id - the name of the component

Returns:

the component or null if not found

getComponentIndex

public int getComponentIndex(String id)

Description copied from interface: LogicalModel

Retrieve a component by name.

Specified by:

getComponentIndex in interface LogicalModel

Parameters:

id - the name of the component

Returns:

the component or null if not found

getBooleanizedMap

public Map<String,NodeInfo[]> getBooleanizedMap()

Description copied from interface: LogicalModel

Get the Boolean - multi-valued mapping information for booleanized models.

Specified by:

getBooleanizedMap in interface LogicalModel

Returns:

a list of booleanized groups

hasLayout

public boolean hasLayout()

Description copied from interface: LogicalModel

Check if this model has associated layout information.

Specified by:

hasLayout in interface LogicalModel

Returns:

true if some layout information is available

getLayout

public ModelLayout getLayout()

Description copied from interface: LogicalModel

Retrieve the associated layout information.

Specified by:

getLayout in interface LogicalModel

Returns:

the existing layout information. Create it if it does not exist.