org.colomoto.biolqm.modifier.booleanize

Class BooleanizeModifier

java.lang.Object

java.lang.Thread

org.colomoto.common.task.AbstractTask<LogicalModel>

org.colomoto.biolqm.modifier.BaseModifier

org.colomoto.biolqm.modifier.booleanize.BooleanizeModifier

All Implemented Interfaces:

Runnable, Callable<LogicalModel>, ModelModifier, ModelTask, Task<LogicalModel>

public class BooleanizeModifier
extends BaseModifier

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

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Thread

Thread.State, Thread.UncaughtExceptionHandler

Field Summary

Fields inherited from class org.colomoto.common.task.AbstractTask

canceled

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor and Description
BooleanizeModifier(LogicalModel model)

Method Summary

Modifier and Type	Method and Description
LogicalModel	performTask() Placeholder for the actual implementation.
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 org.colomoto.common.task.AbstractTask

background, call, cancel, getResult, getStatus, run

Methods inherited from class java.lang.Thread

activeCount, checkAccess, clone, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.colomoto.common.task.Task

background, cancel, getResult, getStatus, setParameter, setParameters, setParameters

Methods inherited from interface java.util.concurrent.Callable

call

Constructor Detail

BooleanizeModifier

public BooleanizeModifier(LogicalModel model)

Method Detail

performTask

public LogicalModel performTask()

Description copied from class: AbstractTask

Placeholder for the actual implementation.

Specified by:

performTask in class AbstractTask<LogicalModel>

Returns:

the result of the computation

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