Package org.sat4j.minisat.constraints.cnf

Implementations of clausal contraints.

See:
          Description

Class Summary
BinaryClause Data structure for binary clause.
CBClause  
Clauses  
HTClause Lazy data structure for clause using the Head Tail data structure from SATO, The original scheme is improved by avoiding moving pointers to literals but moving the literals themselves.
LearntBinaryClause  
LearntHTClause  
LearntWLClause  
Lits  
MixableCBClause Counter Based clauses that can be mixed with WLCLauses
OriginalBinaryClause  
OriginalHTClause  
OriginalWLClause  
UnitClause  
UnitClauses  
WLClause Lazy data structure for clause using Watched Literals.
 

Package org.sat4j.minisat.constraints.cnf Description

Implementations of clausal contraints. Implementation for both counter based and watched literals is provided. Specific implementation for binary and ternary clauses proposed by Lawrence Ryan are available as well.



Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.