org.kahina.logic.sat.muc

Class MUCStep

java.lang.Object

org.kahina.core.data.KahinaObject

org.kahina.core.KahinaStep

org.kahina.logic.sat.muc.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()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
java.lang.Integer	getIcStatus(int index)
java.lang.Integer	getRemovalLink(int index)
int	getStepType()
java.util.List<java.lang.Integer>	getUc()
int	hashCode()
boolean	isSatisfiable()
int	numUnknownClauses()
int	relationToBlock(java.util.TreeSet<java.lang.Integer> block) Computes the relation of a given block of meta variables to the current UC.
void	setRemovalLink(int index, int link)
void	setSatisfiable(boolean satisfiable)

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()

Method Detail

getUc

public java.util.List<java.lang.Integer> getUc()

getStepType

public int getStepType()

getIcStatus

public java.lang.Integer getIcStatus(int index)

getRemovalLink

public java.lang.Integer getRemovalLink(int index)

setRemovalLink

public void setRemovalLink(int index,
                  int link)

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

numUnknownClauses

public int numUnknownClauses()

isSatisfiable

public boolean isSatisfiable()

setSatisfiable

public void setSatisfiable(boolean satisfiable)

relationToBlock

public int relationToBlock(java.util.TreeSet<java.lang.Integer> block)

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

Parameters:

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

Returns:

1 if block is guaranteed to be in MUC (all red -> red, selectable), 2 if block was successfully removed from UC (all green -> green, selectable), 3 if no element of the block was contained in UC (-> grey), 4 if a part of the block is guaranteed to be in MUC (some red -> light red, selectable), 5 if a part of the block is guaranteed fall away (some green -> light green, selectable), 0 otherwise (-> block, selectable)