org.kahina.logic.sat.muc.data

Class PartitionBlockHandler

java.lang.Object

org.kahina.core.data.KahinaObject

org.kahina.logic.sat.muc.data.LiteralBlockHandler

org.kahina.logic.sat.muc.data.PartitionBlockHandler

All Implemented Interfaces:

java.io.Serializable

public class PartitionBlockHandler
extends LiteralBlockHandler

See Also:

Serialized Form

Field Summary

Fields inherited from class org.kahina.logic.sat.muc.data.LiteralBlockHandler

satInstance

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

needsUpdate

Constructor Summary

Constructors

Constructor and Description
PartitionBlockHandler(CnfSatInstance satInstance)

Method Summary

Methods

Modifier and Type	Method and Description
java.util.List<java.lang.Integer>	buildRepresentation(java.util.TreeSet<java.lang.Integer> clause)
boolean	checkRepresentability(java.util.TreeSet<java.lang.Integer> block)
int	defineNewBlock(java.util.TreeSet<java.lang.Integer> block)
void	ensureRepresentability(java.util.TreeSet<java.lang.Integer> block)
int	findHighestOverlapBlock(java.util.TreeSet<java.lang.Integer> block)
java.util.TreeSet<java.lang.Integer>	getBlock(int blockID)
java.util.TreeSet<java.lang.Integer>	getBlockByVar(int blockVar)
java.util.Collection<java.util.TreeSet<java.lang.Integer>>	getBlocks()
java.util.List<java.util.TreeSet<java.lang.Integer>>	retrieveBlocks()

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

needsUpdate, requireUpdate

Methods inherited from class java.lang.Object

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

Constructor Detail

PartitionBlockHandler

public PartitionBlockHandler(CnfSatInstance satInstance)

Method Detail

buildRepresentation

public java.util.List<java.lang.Integer> buildRepresentation(java.util.TreeSet<java.lang.Integer> clause)

Specified by:

buildRepresentation in class LiteralBlockHandler

checkRepresentability

public boolean checkRepresentability(java.util.TreeSet<java.lang.Integer> block)

ensureRepresentability

public void ensureRepresentability(java.util.TreeSet<java.lang.Integer> block)

Specified by:

ensureRepresentability in class LiteralBlockHandler

defineNewBlock

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

findHighestOverlapBlock

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

getBlocks

public java.util.Collection<java.util.TreeSet<java.lang.Integer>> getBlocks()

Specified by:

getBlocks in class LiteralBlockHandler

retrieveBlocks

public java.util.List<java.util.TreeSet<java.lang.Integer>> retrieveBlocks()

getBlock

public java.util.TreeSet<java.lang.Integer> getBlock(int blockID)

Specified by:

getBlock in class LiteralBlockHandler

getBlockByVar

public java.util.TreeSet<java.lang.Integer> getBlockByVar(int blockVar)