org.colomoto.biolqm.tool.stablestate

Class StableStateSearcher

java.lang.Object

java.lang.Thread

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

org.colomoto.biolqm.tool.stablestate.StableStateSearcher

All Implemented Interfaces:

Runnable, Callable<Integer>, Task<Integer>

public class StableStateSearcher
extends AbstractTask<Integer>

Perform a stable state search for a given model. This Runnable will take all logical functions in a logical model and combine the using StableOperation.

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
StableStateSearcher(LogicalModel model) Create a new stable state searcher.

Method Summary

Modifier and Type	Method and Description
protected Integer	doGetResult() Placeholder for the actual implementation.
org.colomoto.mddlib.MDDManager	getMDDManager() Convenience method to retrieve the MDDManager in which the result is stored.
org.colomoto.mddlib.PathSearcher	getPaths() Get the path (variable assignment) corresponding to stable states.

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

Constructor Detail

StableStateSearcher

public StableStateSearcher(LogicalModel model)

Create a new stable state searcher. Not that the provided model will be used directly for stable state search: simplifications, perturbations, restrictions... must be applied before.

Parameters:

model - the model for which we search stable states.

Method Detail

doGetResult

protected Integer doGetResult()

Description copied from class: AbstractTask

Placeholder for the actual implementation.

Specified by:

doGetResult in class AbstractTask<Integer>

Returns:

the result of the computation

getMDDManager

public org.colomoto.mddlib.MDDManager getMDDManager()

Convenience method to retrieve the MDDManager in which the result is stored.

Returns:

the MDDManager

getPaths

public org.colomoto.mddlib.PathSearcher getPaths()

Get the path (variable assignment) corresponding to stable states. This will run the computation if it was not done before, otherwise it will just return a new PathSearcher using the cached result.

Returns:

a path iterator for the found stable states