org.colomoto.biolqm.tool.fixpoints

Class FixpointTask

java.lang.Object

java.lang.Thread

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

org.colomoto.biolqm.tool.AbstractToolTask<FixpointList>

org.colomoto.biolqm.tool.fixpoints.FixpointTask

All Implemented Interfaces:

Runnable, Callable<FixpointList>, ToolTask<FixpointList>, Task<FixpointList>

public class FixpointTask
extends AbstractToolTask<FixpointList>

Nested Class Summary

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

Thread.State, Thread.UncaughtExceptionHandler

Field Summary

Fields

Modifier and Type	Field and Description
boolean	extra
FixpointMethod	method
boolean	pattern

Fields inherited from class org.colomoto.biolqm.tool.AbstractToolTask

model

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
FixpointTask(LogicalModel model)

Method Summary

Modifier and Type	Method and Description
void	cli()
FixpointList	getMDD(LogicalModel model)
FixpointList	getMDD(LogicalModel model, boolean pattern)
protected FixpointList	performTask() Placeholder for the actual implementation.
void	setParameters(String[] parameters)
void	useASP()
void	useMDD()

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

Methods inherited from interface java.util.concurrent.Callable

call

Field Detail

method

public FixpointMethod method

pattern

public boolean pattern

extra

public boolean extra

Constructor Detail

FixpointTask

public FixpointTask(LogicalModel model)

Method Detail

setParameters

public void setParameters(String[] parameters)

performTask

protected FixpointList performTask()
                            throws Exception

Description copied from class: AbstractTask

Placeholder for the actual implementation.

Specified by:

performTask in class AbstractTask<FixpointList>

Returns:

the result of the computation

Throws:

Exception - forwarded from the call() method

useASP

public void useASP()

useMDD

public void useMDD()

getMDD

public FixpointList getMDD(LogicalModel model)

getMDD

public FixpointList getMDD(LogicalModel model,
                           boolean pattern)

cli

public void cli()