org.kahina.logic.sat.insertionmus

Class MUCStep

java.lang.Object

org.kahina.core.data.KahinaObject

org.kahina.core.KahinaStep

org.kahina.logic.sat.insertionmus.MUCStep

All Implemented Interfaces:

java.io.Serializable

public class MUCStep
extends KahinaStep

See Also:

Serialized Form

Field Summary

Fields inherited from class org.kahina.core.data.KahinaObject

needsUpdate

Constructor Summary

Constructors

Constructor and Description
MUCStep(AlgorithmData data)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
AlgorithmData	getData()
int	getID()
int	getSize()
int	getStepType()
java.lang.Integer[]	getUc()
int	hashCode()
void	reset()
void	setHeuristic(ISortingHeuristic heuristic) Computes the relation of a given block of meta variables to the current UC.
void	setID(int id)

Methods inherited from class org.kahina.core.data.KahinaObject

needsUpdate, requireUpdate

Methods inherited from class java.lang.Object

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

Constructor Detail

MUCStep

public MUCStep(AlgorithmData data)

Method Detail

getSize

public int getSize()

getStepType

public int getStepType()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getUc

public java.lang.Integer[] getUc()

setID

public void setID(int id)

getID

public int getID()

getData

public AlgorithmData getData()

reset

public void reset()

setHeuristic

public void setHeuristic(ISortingHeuristic heuristic)

Computes the relation of a given block of meta variables to the current UC.

Parameters:

block - a list of meta variables (typically negative literals)