org.colomoto.biolqm.io.implicanttables

Class ImplicantTableExport

java.lang.Object

java.lang.Thread

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

org.colomoto.biolqm.io.BaseExporter

org.colomoto.biolqm.io.implicanttables.ImplicantTableExport

All Implemented Interfaces:

Runnable, Callable<Boolean>, ModelExporter, Task<Boolean>

public class ImplicantTableExport
extends BaseExporter

Export logical model into lists of implicant tables.

Author:

Hannes Klarner, 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.biolqm.io.BaseExporter

model, streams

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

Method Summary

Modifier and Type	Method and Description
void	expand(boolean expand)
void	export()

Methods inherited from class org.colomoto.biolqm.io.BaseExporter

performTask, setDestination

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.biolqm.io.ModelExporter

setDestination, setDestination

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

ImplicantTableExport

public ImplicantTableExport(LogicalModel model)

Method Detail

expand

public void expand(boolean expand)

export

public void export()
            throws IOException

Specified by:

export in class BaseExporter

Throws:

IOException