|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use VecInt | |
|---|---|
| org.sat4j.core | Implementation of the data structures available in org.sat4j.specs. |
| Uses of VecInt in org.sat4j.core |
|---|
| Methods in org.sat4j.core that return VecInt | |
|---|---|
VecInt[] |
ReadOnlyVecInt.subset(int cardinal)
|
| 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. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||