org.colomoto.biolqm.modifier.booleanize

Class Booleanizer

java.lang.Object

org.colomoto.biolqm.modifier.booleanize.Booleanizer

public class Booleanizer
extends Object

Construct a Boolean version of a multi-valued model. If the model has no multi-valued component, it will be preserved. Otherwise, each multivalued component will be replaced by multiple Boolean components. It implements the Van Ham Boolean mapping to ensure the construction of a compatible model. The extension to non-admissible states ensures that they are gardens of Eden.

Author:

Aurelien Naldi

Constructor Summary

Constructors

Constructor and Description
Booleanizer(LogicalModel ori)

Method Summary

Modifier and Type	Method and Description
static LogicalModel	booleanize(LogicalModel ori)
LogicalModel	getModel()
static void	preventForbiddenStates(org.colomoto.mddlib.MDDManager newDDM, List<NodeInfo> components, int[] functions) Ensure that a booleanized model has no transition leading to forbidden states.
int	transform(int f, int v) Take a Boolean function and transfer it into the new MDDManager, replacing the multi-valued regulators if any.

Methods inherited from class java.lang.Object

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

Constructor Detail

Booleanizer

public Booleanizer(LogicalModel ori)

Method Detail

booleanize

public static LogicalModel booleanize(LogicalModel ori)

preventForbiddenStates

public static void preventForbiddenStates(org.colomoto.mddlib.MDDManager newDDM,
                                          List<NodeInfo> components,
                                          int[] functions)

Ensure that a booleanized model has no transition leading to forbidden states. The functions will be modified in place.

Parameters:

newDDM - the MDD manager for the booleanized model

components - the list of components of the model

functions - the functions associated to these components

transform

public int transform(int f,
                     int v)

Take a Boolean function and transfer it into the new MDDManager, replacing the multi-valued regulators if any.

Parameters:

f - MDD in the original MDDManager

v - the value of the component for which we construct the boolean version

Returns:

a new MDD in the Boolean MDDManager

getModel

public LogicalModel getModel()