org.kahina.logic.sat.muc.data

Class BlocklessBlockHandler

java.lang.Object

org.kahina.core.data.KahinaObject

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

org.kahina.logic.sat.muc.data.BlocklessBlockHandler

All Implemented Interfaces:

java.io.Serializable

public class BlocklessBlockHandler
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
BlocklessBlockHandler(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)
void	ensureRepresentability(java.util.TreeSet<java.lang.Integer> block)
java.util.TreeSet<java.lang.Integer>	getBlock(int blockID)
java.util.Collection<java.util.TreeSet<java.lang.Integer>>	getBlocks()

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

BlocklessBlockHandler

public BlocklessBlockHandler(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

ensureRepresentability

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

Specified by:

ensureRepresentability in class LiteralBlockHandler

getBlock

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

Specified by:

getBlock in class LiteralBlockHandler

getBlocks

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

Specified by:

getBlocks in class LiteralBlockHandler