Uses of Class
org.sat4j.core.VecInt

Packages that use VecInt

Package	Description
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

Modifier and Type	Method and Description
VecInt[]	ReadOnlyVecInt.subset(int cardinal)

Methods in org.sat4j.core with parameters of type VecInt

Modifier and Type	Method and Description
boolean	VecInt.isSubsetOf(VecInt vec) to detect that the vector is a subset of another one.