Package org.sat4j.minisat.constraints.cnf

Implementations of clausal constraints.

See: Description

Class Summary

Class	Description
BinaryClause	Data structure for binary clause.
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
OriginalBinaryClause
OriginalHTClause
OriginalWLClause
UnitClause
UnitClauses
WLClause	Lazy data structure for clause using Watched Literals.

Package org.sat4j.minisat.constraints.cnf Description

Implementations of clausal constraints. 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.