Uses of Class
org.sat4j.core.VecInt

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.
 



Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.