Package | Description |
---|---|
org.sat4j.core |
Implementation of the data structures available in org.sat4j.specs.
|
org.sat4j.pb.constraints.pb |
Implementations of pseudo boolean constraints.
|
Modifier and Type | Method and Description |
---|---|
VecInt[] |
ReadOnlyVecInt.subset(int cardinal) |
Modifier and Type | Method and Description |
---|---|
boolean |
VecInt.isSubsetOf(VecInt vec)
to detect that the vector is a subset of another one.
|
Modifier and Type | Field and Description |
---|---|
protected VecInt[] |
ConflictMap.byLevel
allows to access directly to all variables belonging to a particular
level At index 0, unassigned literals are stored (usually level -1); so
there is always a step between index and levels.
|
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.