org.kahina.logic.sat.muc.task

Class ReductionAgent

java.lang.Object

org.kahina.core.task.KahinaTaskManager

org.kahina.logic.sat.muc.task.ReductionAgent

public class ReductionAgent
extends KahinaTaskManager

Field Summary

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

currentTask, VERBOSE

Constructor Summary

Constructors

Constructor and Description
ReductionAgent(MUCState state, int startID, MiniSATFiles files)

Method Summary

Methods

Modifier and Type	Method and Description
void	cancelTasks()
void	continueTasks()
MiniSATFiles	getFiles()
ReductionHeuristic	getHeuristics()
UCReducerPanel	getPanel()
ColoredPath	getPath()
java.awt.Color	getSignalColor()
void	hide()
void	pauseTasks()
void	setAutarkyReduction(boolean autarkyReduction)
void	setClauseSetRefinement(boolean clauseSetRefinement)
void	setHeuristics(ReductionHeuristic heuristics)
void	setModelRotation(boolean modelRotation)
void	setPanel(UCReducerPanel panel)
void	setSignalColor(java.awt.Color signalColor)
void	show()
void	start()
void	taskFinished(KahinaTask task)

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

addTask, taskStarted

Methods inherited from class java.lang.Object

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

Constructor Detail

ReductionAgent

public ReductionAgent(MUCState state,
              int startID,
              MiniSATFiles files)

Method Detail

setClauseSetRefinement

public void setClauseSetRefinement(boolean clauseSetRefinement)

setModelRotation

public void setModelRotation(boolean modelRotation)

setAutarkyReduction

public void setAutarkyReduction(boolean autarkyReduction)

start

public void start()

taskFinished

public void taskFinished(KahinaTask task)

Overrides:

taskFinished in class KahinaTaskManager

getFiles

public MiniSATFiles getFiles()

getHeuristics

public ReductionHeuristic getHeuristics()

setPanel

public void setPanel(UCReducerPanel panel)

setHeuristics

public void setHeuristics(ReductionHeuristic heuristics)

setSignalColor

public void setSignalColor(java.awt.Color signalColor)

getSignalColor

public java.awt.Color getSignalColor()

getPath

public ColoredPath getPath()

cancelTasks

public void cancelTasks()

Overrides:

cancelTasks in class KahinaTaskManager

pauseTasks

public void pauseTasks()

continueTasks

public void continueTasks()

hide

public void hide()

show

public void show()

getPanel

public UCReducerPanel getPanel()