Uses of Class
org.sat4j.core.VecInt

Packages that use VecInt

Package	Description
org.sat4j.core
org.sat4j.pb.constraints.pb

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.

Uses of VecInt in org.sat4j.pb.constraints.pb

Fields in org.sat4j.pb.constraints.pb declared as VecInt

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.