org.kahina.logic.sat.muc

Class MUCReductionManager

java.lang.Object

org.kahina.core.task.KahinaTaskManager

org.kahina.logic.sat.muc.MUCReductionManager

public class MUCReductionManager
extends KahinaTaskManager

Field Summary

Fields inherited from class org.kahina.core.task.KahinaTaskManager

currentTask, VERBOSE

Constructor Summary

Constructors

Constructor and Description
MUCReductionManager(MUCInstance kahina, MiniSATFiles files)

Method Summary

Methods

Modifier and Type	Method and Description
void	taskFinished(KahinaTask task)

Methods inherited from class org.kahina.core.task.KahinaTaskManager

addTask, cancelTasks, taskStarted

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MUCReductionManager

public MUCReductionManager(MUCInstance kahina,
                   MiniSATFiles files)

Method Detail

taskFinished

public void taskFinished(KahinaTask task)

Overrides:

taskFinished in class KahinaTaskManager