Package org.sat4j.minisat.constraints.cnf

Implementations of clausal contraints.

See:
          Description

Class Summary
BinaryClauses  
CBClause  
DefaultWLClause  
LearntWLClause  
Lits  
Lits2  
Lits23  
MarkableLits  
MixableCBClause Counter Based clauses that can be mixed with WLCLauses
OriginalWLClause  
TernaryClauses  
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 © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.