|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| AbstractCardinalityDataStructure | |
| AbstractDataStructureFactory<L extends ILits> | |
| CardinalityDataStructure | |
| ClausalDataStructureCB | |
| ClausalDataStructureCBHT | Uses Counter Based data strudture for the original clausal in the database and uses Head Tail Data structure for learned clauses. |
| ClausalDataStructureHT | Uses Head Tail data structure for both original clauses and learned clauses. |
| MixedDataStructureDaniel | Uses specific data strcuture for cardinality constraints. |
| MixedDataStructureDanielCBHT | |
| MixedDataStructureWithBinary | |
| MixedDataStructureWithBinaryAndTernary | |
Implementations of various constraints for MiniSAT. One just needs to swap the DataStructureFactory in Solver to change the internal representation of the constraints.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||