public class BooleanizeModifier extends BaseModifier
Thread.State, Thread.UncaughtExceptionHandlercanceledMAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY| Constructor and Description |
|---|
BooleanizeModifier(LogicalModel model) |
| 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.
|
background, call, cancel, getResult, getStatus, runactiveCount, 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, yieldequals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitbackground, cancel, getResult, getStatus, setParameter, setParameters, setParameterspublic BooleanizeModifier(LogicalModel model)
public LogicalModel performTask()
AbstractTaskperformTask in class AbstractTask<LogicalModel>public static void preventForbiddenStates(org.colomoto.mddlib.MDDManager newDDM,
List<NodeInfo> components,
int[] functions)
newDDM - the MDD manager for the booleanized modelcomponents - the list of components of the modelfunctions - the functions associated to these componentspublic int transform(int f,
int v)
f - MDD in the original MDDManagerv - the value of the component for which we construct the boolean versionCopyright © 2012–2020. All rights reserved.