|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use VecInt | |
|---|---|
| org.sat4j.core | Implementation of the data structures available in org.sat4j.specs. |
| org.sat4j.minisat.constraints.pb | Implementations of pseudo boolean contraints. |
| Uses of VecInt in org.sat4j.core |
|---|
| Methods in org.sat4j.core with parameters of type VecInt | |
|---|---|
boolean |
VecInt.isSubsetOf(VecInt vec)
to detect that the vector is a subset of another one. |
| Uses of VecInt in org.sat4j.minisat.constraints.pb |
|---|
| Fields in org.sat4j.minisat.constraints.pb declared as VecInt | |
|---|---|
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. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||