org.kahina.logic.sat.muc.data

Class LiteralBlockHandler

java.lang.Object

org.kahina.core.data.KahinaObject

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

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

BlocklessBlockHandler, PartitionBlockHandler, RecursiveBlockHandler

public abstract class LiteralBlockHandler
extends KahinaObject

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected CnfSatInstance	satInstance

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

needsUpdate

Constructor Summary

Constructors

Constructor and Description
LiteralBlockHandler(CnfSatInstance satInstance)

Method Summary

Methods

Modifier and Type	Method and Description
abstract java.util.List<java.lang.Integer>	buildRepresentation(java.util.TreeSet<java.lang.Integer> clause)
abstract void	ensureRepresentability(java.util.TreeSet<java.lang.Integer> block)
abstract java.util.TreeSet<java.lang.Integer>	getBlock(int blockID)
abstract 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

Field Detail

satInstance

protected CnfSatInstance satInstance

Constructor Detail

LiteralBlockHandler

public LiteralBlockHandler(CnfSatInstance satInstance)

Method Detail

buildRepresentation

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

ensureRepresentability

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

getBlocks

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

getBlock

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