RecursiveBlockHandler

Field Summary
- Fields inherited from class org.kahina.logic.sat.muc.data.LiteralBlockHandler
  satInstance
- Fields inherited from class org.kahina.core.data.KahinaObject
  needsUpdate

Constructors
Constructor and Description
`RecursiveBlockHandler(CnfSatInstance satInstance, int instanceSize)`

Methods
Modifier and Type	Method and Description
`void`	`announceChange()`
`java.util.List<java.lang.Integer>`	`buildRepresentation(java.util.TreeSet<java.lang.Integer> clause)`
`int`	`defineNewBlock(java.util.TreeSet<java.lang.Integer> block)`
`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()`
`java.util.List<java.lang.Integer>`	`getSubblocks(int blockID)`
`boolean`	`needsUpdate()` States whether a view of this object needs to be updated.
`KahinaTree`	`retrieveBlockTree()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public RecursiveBlockHandler(CnfSatInstance satInstance,
                     int instanceSize)

public java.util.List<java.lang.Integer> getSubblocks(int blockID)

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

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

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

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

Class RecursiveBlockHandler