org.colomoto.biolqm.tool.fixpoints

Class FixpointSearcher

java.lang.Object

java.lang.Thread

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

org.colomoto.biolqm.tool.fixpoints.FixpointSearcher

All Implemented Interfaces:

Runnable, Callable<Integer>, Task<Integer>

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

Method Summary

Modifier and Type	Method and Description
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.
protected Integer	performTask() Placeholder for the actual implementation.

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

setParameter, setParameters, setParameters

Constructor Detail

FixpointSearcher

public FixpointSearcher(LogicalModel model)

Create a new stable state searcher. The provided model will be used directly for stable state search: model modifications (perturbations, reduction, ...) must be applied before.

Parameters:

model - the model for which we search stable states.

Method Detail

performTask

protected Integer performTask()

Description copied from class: AbstractTask

Placeholder for the actual implementation.

Specified by:

performTask 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